Answer set programming for representing and reasoning about virtual institutions

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

Volumn 4371 LNAI, Issue , 2007, Pages 60-79

  Cliffe, Owen ^a   De Vos, Marina ^a   Padget, Julian ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CASE BASED REASONING; INTERACTIVE COMPUTER SYSTEMS; KNOWLEDGE REPRESENTATION; MODEL CHECKING; MULTI AGENT SYSTEMS;

AGENT INTERACTIONS; ANSWER SET PROGRAMMING; SAFETY-CRITICAL SCENARIOS; VIRTUAL INSTITUTIONS;

VIRTUAL REALITY;

EID: 38149045811     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69619-3_4     Document Type: Conference Paper

References (42)

1. A. Artikis. Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Department of Electrical & Electronic Engineering, Imperial College London, Sept. 2003.
2. A. Artikis, M. Sergot, and J. Pitt. An executable specification of an argumentation protocol. In Proceedings of conference on artificial intelligence and law (icail), pages 1-11. ACM Press, 2003.
3. A. Artikis, M. Sergot, and J. Pitt. Specifying electronic societies with the Causal Calculator. In F. Giunchiglia, J. Odell, and G. Weiss, editors, Proceedings of Workshop on Agent-Oriented Software Engineering UI(AOSE), LNCS 2585. Springer, 2003.
4. C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, 2003.
5. C. Baral and M. Gelfond. Reasoning agents in dynamic domains. In Logic-based artificial intelligence, pages 257-279. Kluwer Academic Publishers, 2000.
6. M. Brain, T. Crick, M. De Vos, and J. Fitch. Toast: Applying answer set programming to superoptimisation. In International Conference on Logic Programming, LNCS. Springer, Aug. 2006.
7. F. Buccafurri and G. Caminiti. A social semantics for multi-agent systems. In C. Baral, G. Greco, N. Leone, and G. Terracina, editors, LPNMR, volume 3662 of Lecture Notes in Computer Science, pages 317-329. Springer, 2005.
8. F. Buccafurri and G. Gottlob. Multiagent compromises, joint fixpoints, and stable models. In A. C. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, volume 2407 of Lecture Notes in Computer Science, pages 561-585. Springer, 2002.
9. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1981.
10. O. Cliffe, M. De Vos, and J. Padget. Specifying and analysing agent-based social institutions using answer set programming. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Sichman, and J. Vazquez-Salceda, editors, Selected revised papers from the workshops on Agent, Norms and Institutions for Regulated Multi-Agent Systems (ANIREM) and Organizations and Organization Oriented Programming (OOOP) at AAMAS'05, volume 3913 of LNCS, pages 99-113. Springer Verlag, 2006. ISBN: 3-540-35173-6.
11. O. Cliffe and J. Padget. Towards a framework for checking agent interraction within institutions. In Model Checking and Artificial Intelligence Workshop (MoChArt 02), Lyon, France, 2002.
12. M. Colombetti, N. Fornara, and M. Verdicchio. The role of institutions in multiagent systems. In Proceedings of the Workshop on Knowledge based and reasoning agents, VIII Convegno AI*IA 2002, Siena, Italy, 2002.
13. M. Colombetti and M. Verdicchio. An analysis of agent speech acts as institutional actions. In The First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '02), pages 1157-1164, New York, NY, USA, 2002. ACM Press.
14. M. De Vos and D. Vermeir. Choice Logic Programs and Nash Equilibria in Strategic Games. In J. Flum and M. Rodríguez-Artalejo, editors, Computer Science Logic (CSL'99), volume 1683 of Lecture Notes in Computer Science, pages 266-276, Madrid, Spain, 1999. Springer Verslag.
15. M. De Vos and D. Vermeir. Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artifical Intelligence, 42(1-3):103-139, Sept. 2004. Special Issue on Computational Logic in Multi-Agent Systems.
16. V. Dignum. A Model for Organizational Interaction Based on Agents, Founded in Logic. PhD thesis, Utrecht University, 2004.
17. V. Dignum, J.-J. Meyer, F. Dignum, and H. Weigand. Formal Specification of Interaction in Agent Societies. In Formal Approaches to Agent-Based Systems (FAABS-02), volume 2699 of Lecture Notes in Computer Science, pages 37-52, Oct. 2003.
18. Douglass C. North. Institutions, Institutional Change and Economic Performance. Cambridge University Press, 1991.
19. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. The diagnosis frontend of the dlv system. AI Communications, 12(1-2):99-111, 1999.
20. k planning system. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, European Conference, JELIA 2002, volume 2424 of Lecture Notes in Artificial Intelligence, pages 541-544, Cosenza, Italy, September 2002. Springer Verlag.
21. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR system dlv: Progress report, comparisons and benchmarks. In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 406-417. Morgan Kaufmann, San Francisco, California, 1998.
22. M. Esteva, J. Padget, and C. Sierra. Formalizing a language for institutions and norms. In M. Tambe and J.-J. Meyer, editors, Intelligent Agents VIII, Lecture Notes in Artificial Intelligence. Springer Verlag, 2001.
23. N. Fornara and M. Colombetti. Operational specification of a commitment-based agent communication language. In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pages 536-542, New York, NY, USA, 2002. ACM Press.
24. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, pages 1070-1080, Seattle, Washington, August 1988. The MIT Press.
25. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, Vol. 153, pp. 49-104, 2004.
26. E. Giunchiglia, Y. Lierler, and M. Maratea. SAT-Based Answer Set Programming. In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI-04), pages 61-66, 2004.
27. J. Gressmann, T. Janhunen, R. Mercer, T. Schaub, S. Thiele, and R. Tichy. Platypus: A Platform for Distributed Answer Set Solving. In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '05), pages 227-239, 2005.
28. John R. Searle. The Construction of Social Reality. Allen Lane, The Penguin Press, 1995.
29. Julian Padget. Modelling simple market structures in process algebras with locations. Artificial Intelligence and Simulation of Behaviour Journal, 1(1):87-108, 2001. ISSN 1476-3036.
30. L. Kamara, A. Artikis, B. Neville, and J. Pitt. Simulating computational societies. In P. Petta, R. Tolksdorf, and F. Zambonelli, editors, Proceedings of workshop on engineering societies in the agents world (esaw), LNCS 2577, pages 53-67. Springer, 2003.
31. R. Kowalski and M. Sergot. A logic-based calculus of events. New Gen. Comput., 4(1):61-95, 1986.
32. R. A. Kowalski and F. Sadri. Reconciling the event calculus with the situation calculus. Journal of Logic Programming, 31(1-3):39-58, Apr.-June 1997.
33. V. Lifschitz. Answer set programming and plan generation. Journal of Artificial Intelligence, 138(1-2):39-54, 2002.
34. I. Niemelä and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning, volume 1265 of LNAI, pages 420-429, Berlin, July 28-31 1997. Springer.
35. P. Noriega. Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona, 1997.
36. J.-A. Rodríguez, P. Noriega, C. Sierra, and J. Padget. FM96.5 A Java-based Electronic Auction House. In Proceedings of 2nd Conference on Practical Applications of Intelligent Agents and MultiAgent Technology (PAAM'97), pages 207-224, London, UK, Apr. 1997. ISBN 0-9525554-6-8.
37. J. A. Rodriguez-Aguilar. On the Design and Construction of Agent-mediated Institutions. PhD thesis, Universitat Autonoma de Barcelona, 2001.
38. J.V. Salceda. The role of Norms and Electronic Institutions in Multi-Agent Systems applied to complex domains. PhD thesis, Technical University of Catalonia, 2003.
39. M. P. Singh. A social semantics for agent communication languages. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, pages 31-45. Springer-Verlag: Heidelberg, Germany, 2000.
40. T. Soininen and I. Niemelä. Developing a declarative rule language for applications in product configuration. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL '99), LNCS, San Antonio, Texas, 1999. Springer.
41. M. Verdicchio and M. Colombetti. A logical model of social commitment for agent communication. In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pages 528-535, New York, NY, USA, 2003. ACM Press.
42. P. Yolum and M. P. Singh. Flexible protocol specification and execution: applying event calculus planning using commitments. In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pages 527-534. ACM Press, 2002.