A social semantics for multi-agent systems

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

Volumn 3662 LNAI, Issue , 2005, Pages 317-329

  Buccafurri, Francesco ^a   Caminiti, Gianluca ^a  

^a UNIVERSITY MEDITERRANEA OF REGGIO CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS;

SOCIAL SEMANTICS; STABLE MODEL SEMANTICS;

SEMANTICS;

EID: 33646060411     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546207_25     Document Type: Conference Paper

References (16)

1. C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19/20:73-148, 1994.
2. M. Bratman. Intention, Plans, and Practical Reason. Harvard Univ. Press, 1987.
3. M. Bratman, D. J. Israel, and M. E. Pollack. Plans and Resource-Bounded Practical Reason. AI center technical note SRI-AI 425R, SRI International, 1988.
4. F Buccafurri and G. Caminiti. A Social-Oriented Semantics for Multi-Agent Systems. Technical Report - TR Lab. Ing. Inf. 05/01, DIMET - University of Reggio Calabria, 2005. Available from the authors.
5. F. Buccafurri and G. Gottlob. Multiagent Compromises, Joint Fixpoints, and Stable Models, volume 2407 of LNCS and LNAI. Springer, 2002.
6. P. R. Cohen and H. Levesque. Rational interaction as the basis for communication. In Intentions in Communication. MIT Press, 1990.
7. R. S. Cost, T. Finin, and Y. Labrou. Coordinating Agents Using ACL Conversations. In Coordination of Internet Agents: Models, Technologies, and Applications, pages 183-196, 2001.
8. T. Dell'Armi, W. Faber, G. Ielpa, N. Leone, and G. Pfeifer. Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In IJCAI-03, Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, pages 847-852, 2003.
9. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative problem-solving in DLV. In Logic-Based Artificial Intelligence, pages 79-103. Kluwer, 2000.
10. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In 5th Conf. on Logic Programming, pages 1070-1080. MIT Press, 1988.
11. V. Mascardi, M. Martelli, and L. Sterling. Logic-based specification languages for intelligent software agents. TPLP, 4(4):429-494, 2004.
12. J. Minker and D. Seipel. Disjunctive Logic Programming: A Survey and Assessment, volume 2407 of LNCS and LNAI. Springer, 2002.
13. R. S. Patil, R. E. Pikes, P. F. Patel-Schneider, D. McKay, T. Finin, T. Gruber, and R. Neches. The DARPA knowledge sharing effort: progress report. In Principles of KR and Reasoning: Proc. of the 3rd Int. Conf. Kaufmann, 1992.
14. W. van der Hoek and W. Wooldrige. Towards a logic of rational agency. Logic Journal of the IGPL, 11(2):135-159, 2003.
15. M. Wooldridge. Reasoning about Rational Agents. Intelligent Robots and Autonomous Agents. MIT Press, Cambridge, Massachusetts, 2000.
16. M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 2(10):115-152, 1995.