AN APPROACH OF A LOGIC RESOLVER IN A DISTRIBUTED PEER-TO-PEER SYSTEM

Nikos Papadakis, Pavlos Kefalas, Antonis Delidakis, and Kostas Papadakis

References

  1. [1] Y. Shoham and K. Leyton-Brown, Multiagent systems: Algo-rithmic, game-theoretic, and logical foundations (CambridgeUniversity Press, 2008).
  2. [2] M. Wooldridge, An introduction to multiagent systems (UnitedStates: John Wiley, 2002).
  3. [3] D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R.Rosati, Inconsistency tolerance in P2P data integration: Anepistemic logic approach. Journal of Database ProgrammingLanguages, 3774, 2005, 90–105.
  4. [4] P. Chatalic, G.H. Nguyen, and M.C. Rousset, Reasoning withinconsistencies in propositional peer-to-peer inference systems.European Conference on Artificial Intelligence, Riva del Garda,Trentino, Italy, 2006, 352–356.
  5. [5] A. Bikakis and G. Antoniou, Local and Distributed Defeasi-ble Reasoning in Multi-Context Systems, Proc. RuleML’2008LNCS 5321, Springer, Orlando, Florida, 2008, 135–149.
  6. [6] G. Antoniou and A. Bikakis, Distributed reasoning with con-flicts in a multi-context framework. First International Con-ference on Advanced Intelligence, Beijing, China, 2008.
  7. [7] F. Giunchiglia and L. Serafini, Multilanguage hierarchicallogics, or: how we can do without modal logics. Journal inArtificial Intelligence, 65(1), 1994, 29–70.
  8. [8] C. Ghidini and F. Giunchiglia, Local models semantics, or con-textual reasoning=locality+compatibility, Journal in ArtificialIntelligence 127, 2001, 221–259.
  9. [9] F. Roelofsen and L. Serafini, Minimal and absent informa-tion in contexts. International Joint Conferences on ArtificialIntelligence, Edinburgh, Scotland, UK, 2005, 558–563.
  10. [10] G. Brewka, F. Roelofsen, and L. Serafini, Contextual de-fault reasoning. International Joint Conderences on ArtificialIntelligence, Hyderabad, India, 2007, 268–273.
  11. [11] Least Recently Used (LRU) algorithm, http://en.wikipedia.org/wiki/Cache_algorithms.
  12. [12] G. Antoniou and A. Bikakis, Local and distributed defeasiblereasoning in multic-context systems, European Conference ofAmbient Inteligence, Nuremberg, Germany, 2008.

Important Links:

Go Back