An executable specification of an argumentation protocol

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2003, Pages 1-11

  Artikis, Alexander ^a   Sergot, Marek ^a   Pitt, Jeremy ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LANGUAGE; COMPUTATIONAL FRAMEWORK; COMPUTATIONAL SYSTEM; EXECUTABLE SPECIFICATIONS; MULTI-AGENT; NORMATIVE SYSTEM; SOFTWARE ENTITIES;

COMPUTATIONAL COMPLEXITY; SOFTWARE AGENTS; SPECIFICATIONS;

MULTI AGENT SYSTEMS;

EID: 77957784766     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1047788.1047790     Document Type: Conference Paper

References (18)

1. A. Artikis, J. Pitt, and M. Sergot. Animated specifications of computational societies. In C. Castelfranchi and L. Johnson, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1053-1062. ACM, 2002.
2. A. Artikis, M. Sergot, and J: Pitt. Specifying electronic societies with the Causal Calculator. In Proceedings of Workshop on Agent-Oriented Software Engineering III (AOSE), LNCS 2585. Springer, 2003.
3. G. Brewka. Dynamic argument systems: A formal model of argumentation processes based on situation calculus. Journal of Logic and Computation, 11(2): 257-282, 2001.
4. G. Brewka and T. Eiter. Prioritizing default logic. In Festschrift 60th Anniversary of W. Bibel. Kluwer, 1998.
5. M. Esteva, J. Rodriguez-Aguilar, C. Sierra, P. Garcia, and J. Arcos. On the formal specifications of electronic institutions. In Agent Mediated Electronic Commerce, LNAI 1991. Springer, 2001.
6. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, to appear in 2003. http://www.cs.utexas.edu/users/vl/papers/nmct.ps.
7. E. Giunchiglia, J. Lee, V. Lifschitz, and H. Turner. Causal laws and multi-valued fluents. In Proceedings of the Workshop on Nonmonotonic Reasoning, Action, and Change, 2001.
8. E. Giunchiglia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In Proceedings of AAAI Conference, pages 623-630. AAAI Press/The MIT Press, 1998.
9. C. Hewitt. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence, 47:79-106, 1991.
10. A. Jones and M. Sergot. On the characterisation of law and computer systems: The normative systems perspective. In Deontic Logic in Computer Science: Normative System Specification, pages 275-307. J. Wiley and Sons, 1993.
11. A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of the IGPL, 4(3):429-445, 1996.
12. Y. Moses and M. Tennenholtz. Artificial social systems. Computers and Artificial Intelligence, 14(6):533-562, 1995.
13. H. Prakken. Formalising Robert's rules of order. Technical Report 12, GMD - German National Research Center for Information Technology, 1998.
14. R. Reiter. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical: Systems. The MIT Press, 2001.
15. N. Rescher, Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge. State University of New York Press, 1977.
16. M. Sergot. The language (C/C+)++. In J. Pitt, editor, Deliverable D6(2) of ALFEBIITE EÜ-Project (IST-1999-10298), pages 55-84, 2002.
17. R. Smith and R. Davis. Distributed problem solving: The contract-net approach. In Proceedings of Conference of Canadian Society for Computational Studies of Intelligence, pages 217-236, 1978.
18. P. Yolum and M. Singh. Flexible protocol specification and execution: Applying event calculus planning using commitments. In C. Castelfranchi and L. Johnson, editors, Proceedings of AAMAS. ACM, 2002.