Multiagent compromises, joint fixpoints, and stable models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2407, Issue , 2002, Pages 561-585

  Buccafurri, Francesco ^a   Gottlob, Georg ^b  

^a UNIVERSITY MEDITERRANEA OF REGGIO CALABRIA   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; MULTI AGENT SYSTEMS; SEMANTICS;

COMPUTATIONAL PROPERTIES; FIX-POINT SEMANTICS; JOINT DECISIONS; JOINT MODELING; JOINT MODELS; LOGIC PROGRAMS; MULTI-AGENT SETTING; STABLE MODEL;

LOGIC PROGRAMMING;

EID: 84867647519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45628-7_21     Document Type: Article

References (26)

1. Buccafurri, F., Gottlob, G.: Multiagent Compromises, Joint Fixpoints and Stable Models. Technical Report DBAI-TR-2000-36 (2000) available from the authors
2. Buccafurri, F., Leone, N., Rullo, P.: Stable Models and their Computation for Logic Programming with Inheritance and True Negation. Journal of Logic Programming 27(1), Elsevier Science (1996) 5-43
3. Buccafurri, F., Leone, N., Rullo, P.: Semantics and Espressiveness of Disjunctive Ordered Logic. Annals of Mathematics and Artificial Intelligence Journal. J.C. Balzer AC, Science Publisher 25 (1999) 311-337
4. 2 p -Complete. Theoretical Computer Science 114(2) (1993) 231-245
5. Eiter, T., Gottlob, G.: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Annals of Mathematics and Artificial Intelligence, 15(3-4) (1995) 289-323
6. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems 22(3) (1997) 315-363
7. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Non-Monotonic Reasoning. Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '97). Lecture Notes in Computer Science, Vol. 1265. Springer-Verlag, Dagstuhl, Germany (1997) 364-375
8. Eiter, T., Gottlob, G., Cadoli, M.: Default Logic as a Query Language. Transactions on Knowledge Data Engineering 9(3) (1997) 448-463
9. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. Proceedings of the 5th International Conference on Logic Programming. MIT Press, Cambridge, (1988) 1070-1080
10. Gottlob, G., Moerkotte, G., Subrahmanian, V.S.: The PARK Semantics for Active Rules. Proceedings of the International Conference on Extending Database Technology, EDBT'96, Lecture Notes in Computer Science. Springer Verlag, (1996) 35-55
11. Gottlob, G.: Complexity Results for Nonmonotonic Logics. Journal of Logic and Computation 2(3) (1992) 397-425
12. Grosof, B.: Prioritized Conflict Handling for Logic Programs. Proceedings of the International Logic Programming Symposium, ILPS'97, MIT Press, Cambridge, (1997) 197-211.
13. Kowalski, R., and Sadri, F.: From LP Towards Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence 25(3-4) (1999) 391-419
14. Kolaitis, P.G., Papadimitriou, C.H.: Why not Negation by Fixpoint? Journal of Computer and System Sciences 43(1) (1991) 125-144
15. Martelli, M., Mascardi V., Zini, F.: Towards Multi-Agent Software Prototyping. Proceedings of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM 98), London, UK, (1998) 331-354
16. McCarthy, J.: Circumscription - a Form of Nonmonotonic Reasoning, Artificial Intelligence 13 (1980) 27-39
17. Niemelä, I., Simons, P.: Smodels - an Implementation of the Stable Model and Well-founded Semantics for Normal Logic Programs. Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR '97), Lecture Notes in Computer Science, Vol. 1265. Springer-Verlag, Dagstuhl, Germany (1997) 420-429
18. Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13 (1980) 81-132
19. Saccá, D.: The Expressive Power of Stable Models for Datalog Queries with Negation. Proceedings of the ILPS'93 Workshop on Structural Complexity and Recursion-Theoretic Methods in Logic Programming, Washington D.C., USA (1993) 150-162
20. Schlipf, J.S.: The Expressive Powers of Logic Programming Semantics, Proceedings of the ACM Symposium on Principles of Database Systems (1990) 196-204
21. Schlipf, J.S.: A Survey of Complexity and Undecidability Results in Logic Programming. Proceedings of the ILPS'93 Workshop on Structural Complexity and Recursion-Theoretic Methods in Logic Programming, Washington D.C., USA (1993) 93-102
22. Schroeder, M., De Almeida Mora, I., and Pereira L.M.: A Deliberative and Reactive Diagnosis Agent based on Logic Programming. Intelligent Agents III: Lecture Notes in Artificial Intelligence 1193, Springer-Verlag, J.P. Muller, M.J. Wooldridge and N. Jennings ed., (1997) 293-307
23. Subrahmanian V.S., Bonatti P., Dix, J., and Eiter T., Kraus S., Özcan, F., and Ross, R.: Heterogenous Active Agents. MIT-Press (2000)
24. Wooldridge, M., Jennings, N.R.: Formalizing the Cooperative Problem Solving Process. Readings in Agents, M. Huhns and M. Singh ed., Morgan Kaufmann (1997) 430-440
25. Wooldridge, M., Jennings, N.R.: Agent Theories, Architectures and Languages: A survey. Intelligent Agents, M. J. Wooldridge and N. R. Jennings ed., Lecture Notes in Artificial Intelligence, Springer-Verlag 890 (1995) 1-39.
26. Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. Knowledge Engineering Reviews 10(2) 1995