Login / Signup

Somewhere2 - A Robust Package for Collaborative Decentralized Consequence-Finding.

Philippe ChatalicAndré de Amorim Fonseca
Published in: IDC (2013)
Keyphrases
  • consequence finding
  • artificial intelligence
  • peer to peer
  • multi agent
  • knowledge representation
  • logic programs
  • fixed point
  • theorem proving