Specifying and reasoning about multiple institutions

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

Volumn 4386 LNAI, Issue , 2007, Pages 67-85

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

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; ARTIFICIAL INTELLIGENCE; INFORMATION THEORY; SPECIFICATIONS;

ACTION LANGUAGES; AGENT SYSTEMS; CORRECTNESS PROPERTIES; EUROPEAN; INTERNATIONAL WORKSHOPS; NORMATIVE SYSTEMS; OPERATIONAL SEMANTICS;

SOCIETIES AND INSTITUTIONS;

EID: 49949102488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74459-7_5     Document Type: Conference Paper

References (22)

1. Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: Proceedings of conference on artificial intelligence and law (icail), pp. 1-11. ACM Press, New York (2003)
2. Artikis, A., Sergot, M., Pitt, J.: Specifying electronic societies with the Causal Calculator. In: Giunchiglia, F., Odell, JJ., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, Springer, Heidelberg (2003)
3. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)
4. Cliffe, O., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. Computational Logic in Multi-Agent Systems (CLIMA-VII) (to appear)
5. Cliffe, O., De Vos, M., Padget, J.: Specifying and analysing agent-based social institutions using answer set programming. In: Boissier, O., Padget, J., Dignum., V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI), vol. 3913, pp. 99-113. Springer, Heidelberg (2006)
6. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49-104 (2004)
7. Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, Springer, Heidelberg (2002)
8. Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 14(2 & 3), 99-129 (2005)
9. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of fifth logic programming symposium, pp. 1070-1080. MIT Press, Cambridge (1988)
10. Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2, 193-210 (1998)
11. Grossi, D., Aldewereld, H., Dignum, F.: Ubi lex, ibi poena: Designing norm enforcement in e-institutions. LNCS, vol. 4386, pp. 110-123. Springer, Heidelberg (2007)
12. Searle, J.R.: The Construction of Social Reality. Allen Lane, The Penguin Press (1995)
13. Kamara, L., Artikis, A., Neville, B., Pitt, J.: Simulating computational societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 53-67. Springer, Heidelberg (2003)
14. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67-95 (1986)
15. Kowalski, R.A., Sadri, F.: Reconciling the event calculus with the situation calculus. Journal of Logic Programming 31(1-3), 39-58 (1997)
16. Noriega, P.: Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona (1997)
17. Padget, J., Bradford, R.: A π-calculus model of the Spanish fishmarket. In: Noriega, P., Sierra, C. (eds.) AMET 1998 and AMEC 1998. LNCS (LNAI), vol. 1571, pp. 166-188. Springer, Heidelberg (1999)
18. Rodriguez, J.-A., Noriega, P., Sierra, C., Padget, J.: FM96.5 A Java-based Electronic Auction House. In: Proceedings of 2nd Conference on Practical Applications of Intelligent Agents and MultiAgent Technology (PAAM'97), London, UK, April 1997, pp. 207-224 (1997), ISBN 0-9525554-6-8
19. Rodriguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Institutions. PhD thesis, Universitat Autonoma de Barcelona (2001)
20. Vázquez-Salceda, J.: The role of Norms and Electronic Institutions in Multi-Agent Systems applied to complex domains. PhD thesis, Technical University of Catalonia (2003)
21. Viganò, F., Colombetti, M.: Specification and verification of institutions through status functions. LNCS, vol. 4386, pp. 125-141. Springer, Heidelberg (2007)
22. Yolum, P., Singh, M.P.: 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, pp. 527-534, ACM Press, New York (2002)