Computational logics and agents: A road map of current technologies and future trends

Computational Intelligence

Volumn 23, Issue 1, 2007, Pages 61-91

  Fisher, Michael ^a   Bordini, Rafael H ^b   Hirsch, Benjamin ^c   Torroni, Paolo ^d  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^d UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Agent specification; Agent verification; Autonomy; Logic; Logical implementation; Multi agent systems; Rational agents

Indexed keywords

FORMAL LOGIC; INTERNET; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; SOFTWARE ENGINEERING;

AGENT SPECIFICATION; AGENT VERIFICATION; AUTONOMY; LOGICAL IMPLEMENTATION; RATIONAL AGENTS;

AUTONOMOUS AGENTS;

EID: 34247570640     PISSN: 08247935     EISSN: 14678640     Source Type: Journal    
DOI: 10.1111/j.1467-8640.2007.00295.x     Document Type: Conference Paper

References (199)

1. Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2005a. The SCIFF abductive proof-procedure. In Advances in Artificial Intelligence (AI*IA), Vol. 3673 of Lecture Notes in Artificial Intelligence, pp. 135 147, Heidelberg, Germany. Springer-Verlag.
2. Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2005b. The SOCS computational logic approach for the specification and verification of agent societies. In Global Computing: IST/FET International Workshop, Vol. 3267 of Lecture Notes in Artificial Intelligence, pp. 324 339. Springer-Verlag, Heidelberg, Germany.
3. Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2006. Compliance verification of agent interaction: A logic-based tool. Applied Artificial Intelligence, 20 (2-4 133 157.
4. Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2007. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logic, 8.
5. Alchourron, C. E., P. Gardenfors, and D. Makinson. 1985. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50 : 510 530.
6. Alechina, N., R. H. Bordini, J. F. Hübner, M. Jago, and B. Logan. 2006a. Automating belief revision for AgentSpeak. In Declarative Agent Languages and Technologies IV (DALT),Vol. 4327 of Lecture Notes in Artificial Intelligence, pp. 61 77, Heidelberg, Germany. Springer-Verlag.
7. Alechina, N., M. Jago, and B. Logan. 2006b. Resource-bounded belief revision and contraction. In Declarative Agent Languages and Technologies III (DALT), Vol. 3904 of Lecture Notes in Artificial Intelligence, pp. 141 154, Heidelberg, Germany. Springer-Verlag.
8. Alferes, J. J., J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. 1998. Dynamic logic programming. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 98 111, San Fransisco, CA, USA. Morgan Kaufmann.
9. Alferes, J. J., L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. 2002. LUPS - a language for updating logic programs. Artificial Intelligence, 138 (1-2 87 116.
10. Alur, R., L. de Alfaro, T. A. Henzinger, S. C. Krishnan, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Taşiran. 2000. mocha user manual. Report, University of Berkeley, California, CA, USA.
11. Alur, R., T. A. Henzinger, and O. Kupferman. 1997. Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS), pp. 100 109, Washington, DC, USA. IEEE Computer Society.
12. Alur, R., T. A. Henzinger, and O. Kupferman. 2002. Alternating-time temporal logic. Journal of the ACM, 49 (5 672 713.
13. Aqvist, L. 1984. Deontic logic. In Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, Edited by D. Gabbay and F. Guenthner. pp. 605 714. D. Reidel, Dordrecht, The Netherlands.
14. Arisha, K. A., F. Ozcan, R. Ross, V. S. Subrahmanian, T. Eiter, and S. Kraus. 1999. IMPACT: A Platform for Collaborating Agents. IEEE Intelligent Systems, 14 (2 64 72.
15. Baader, F., D. Calvanese, D. L. McGuinness, D. Nardi, and P. F., Patel-Schneider. Eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications, New York, NY, USA. Cambridge University Press.
16. Baker, A. B. 1991. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49 (1-3 5 23.
17. Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, New York, NY, USA.
18. Barringer, H., M. Fisher, D. M. Gabbay, G. Gough, and R. Owens. 1995. MetateM: An introduction. Formal Aspects of Computing, 7 (5 533 549.
19. Barringer, H., M. Fisher, D. Gabbay, R. Owens, and M., Reynolds. Eds. 1996. The Imperative Future: Principles of Executable Temporal Logics. John Wiley & Sons, Inc., New York, NY, USA.
20. Bechhofer, S., F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A., Stein. Eds. 2004. OWL Web Ontology Language Reference, W3C Recommendation. World Wide Web Consortium. Latest version available at http://www.w3.org/TR/owl-ref/.
21. Benerecetti, M. and A. Cimatti. 2002. Symbolic model checking for multi-agent systems. In Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt), Lyon, France.
22. Benerecetti, M., F. Giunchiglia, and L. Serafini. 1998. Model checking multiagent systems. Journal of Logic and Computation, 8 (3 401 423.
23. Bennett, B., C. Dixon, M. Fisher, E. Franconi, I. Horrocks, and M. de Rijke. 2002. Combinations of modal logics. Artificial Intelligence Review, 17 (1 1 20.
24. Bordini, R. H., M. Dastani, J. Dix, and A. El Fallah Seghrouchni. Eds. 2005a. Multi-Agent Programming: Languages, Platforms and Applications, Vol. 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations, Heidelberg, Germany. Springer-Verlag.
25. Bordini, R. H. and J. F. Hübner. 2006. BDI agent programming in AgentSpeak using Jason (tutorial paper). In Computational Logic in Multi-Agent Systems VI (CLIMA), Vol. 3900 of Lecture Notes in Artificial Intelligence, pp. 143 164, Heidelberg, Germany. Springer-Verlag.
26. Bordini, R. H., M. Fisher, C. Pardavila, and M. Wooldridge. 2003a. Model checking AgentSpeak. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 409 416, New York, NY, USA. ACM Press.
27. Bordini, R. H., W. Visser, M. Fisher, C. Pardavila, and M. Wooldridge. 2003b. Model checking multi-agent programs with CASP. In Proceedings of the 15th International Conference on Computer-Aided Verification (CAV), Vol. 2725 of Lecture Notes in Computer Science, pp. 110 113, Heidelberg, Germany. Springer-Verlag. Tool description.
28. Bordini, R. H., M. Fisher, W. Visser, and M. Wooldridge. 2004a. Model checking rational agents. IEEE Intelligent Systems, 19 (5 46 52.
29. Bordini, R. H., M. Fisher, W. Visser, and M. Wooldridge. 2004b. State-space reduction techniques in agent verification. In Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 896 903, New York, NY, USA. ACM Press.
30. Bordini, R. H., M. Fisher, W. Visser, and M. Wooldridge. 2004c. Verifiable multi-agent programs. In Programming Multi-Agent Systems (PROMAS), Vol. 3067 of Lecture Notes in Artificial Intelligence, pp. 72 89, Heidelberg, Germany. Springer-Verlag.
31. Bordini, R. H., J. F. Hübner, and R. Vieira. 2005b. Jason and the golden fleece of agent-oriented programming. In Multi-Agent Programming: Languages, Platforms and Applications, number 15 in Multiagent Systems, Artificial Societies, and Simulated Organizations, pp. 3 37, Heidelberg, Germany. Springer-Verlag.
32. Bordini, R. H., M. Fisher, W. Visser, and M. Wooldridge. 2006. Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems, 12 (2 239 256.
33. Bracciali, A., U. Endriss, N. Demetriou, A. C. Kakas, W. Lu, and K. Stathis. 2006. Crafting the mind of PROSOCS agents. Applied Artificial Intelligence, 20 (2-4 105 131.
34. Bratman, M. E. 1999. Intentions, Plans, and Practical Reason. The David Hume Series: Philosophy and Cognitive Science Reissues. CSLI Publications, Stanford, CA, USA.
35. Broersen, J., M. Dastani, Z. Huang, J. Hulstijn, and L. van der Torre. 2001. The BOID architecture: Conficts between beliefs, obligations, intentions and desires. In Proceedings of 5th International Conference on Autonomous Agents, pp. 9 16. ACM Press, New York, NY, USA.
36. Broersen, J., M. Dastani, Z. Huang, J. Hulstijn, and L. van der Torre. 2002. Goal generation in the BOID architecture. Cognitive Science Quarterly, 2 : 428 447.
37. Chesani, F., M. Gavanelli, M. Alberti, E. Lamma, P. Mello, and P. Torroni. 2006. Specification and verification of agent interaction using abductive reasoning (tutorial paper). In Computational Logic in Multi-Agent Systems VI (CLIMA), Vol. 3900 of Lecture Notes in Artificial Intelligence, pp. 243 264, Heidelberg, Germany. Springer-Verlag.
38. Ciampolini, A., E. Lamma, P. Mello, and P. Torroni. 2002. LAILA: A language for coordinating abductive reasoning among logic agents. Computer Languages, 27 (4 137 161.
39. Ciampolini, A., E. Lamma, P. Mello, F. Toni, and P. Torroni. 2003. Co-operation and competition in ALIAS: A logic framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence, 37 (1-2 65 91.
40. Cimatti, A., E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. 2002. NuSMV2: An opensource tool for symbolic model checking. In Proceedings of the 14th International Conference on Computer Aided Verification (CAV), Vol. 2404 of Lecture Notes in Computer Science, pp. 359 364, Heidelberg, Germany. Springer-Verlag.
41. Clark, K. L., P. Robinson, and R. Hagen. 2001. Multi-threading and message communication in Qu-Prolog. Theory and Practice of Logic Programming, 1 (3 283 301.
42. Clark, K. L., P. J. Robinson, and S. Zappacosta-Amboldi. 2006. Multi-threaded communicating agents in Qu-Prolog (tutorial paper). In Computational Logic in Multi-Agent Systems VI (CLIMA), Vol. 3900 of Lecture Notes in Artificial Intelligence, pp. 186 205, Heidelberg, Germany. Springer-Verlag.
43. Clarke, E. M., O. Grumberg, and D. A. Peled. 2000. Model Checking. The MIT Press, Cambridge, MA, USA.
44. Cliffe, O. and J. Padget. 2002. A framework for checking agent transactions within institutions. In Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt), Lyon, France.
45. Costantini, S. and A. Tocchio. 2002. A logic programming language for multi-agent systems. In Logics in Artificial Intelligence, European Conference (JELIA), Vol. 2424 of Lecture Notes in Artificial Intelligence, pp. 1 13, Heidelberg, Germany. Springer-Verlag.
46. Dastani, M., F. de Boer, F. Dignum, and J.-J. Ch. Meyer. 2003. Programming agent deliberation: An approach illustrated using the 3APL language. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 97 104, New York, NY, USA. ACM Press.
47. De Giacomo, G., Y. Lespérance, and H. J. Levesque. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121 (1-2 109 169.
48. Degtyarev, A., M. Fisher, and B. Konev. 2006. Monodic temporal resolution. ACM Transactions on Computational Logic, 7 (1 108 150.
49. Dell'Acqua, P., U. Nilsson, and L. M. Pereira. 2002. A logic based asynchronous multiagent system. In Computational Logic in Multi-Agent Systems III (CLIMA), Vol. 70(5) of Electronic Notes on Theoretical Computer Science, Amsterdam, The Netherlands. Elsevier Science Publishers.
50. Dignum, F. 1999. Autonomous agents and norms. Artificial Intelligence and Law, 7 : 69 79.
51. Dimopoulos, Y. and A. C. Kakas. 1995. Logic programming without negation as failure. In Proceedings of the International Symposium on Logic Programming, pp. 369 384, Cambridge, MA, USA. The MIT Press.
52. d'Inverno, M. and M. Luck. 1998. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8 (3 233 260.
53. d'Inverno, M., D. Kinny, M. Luck, and M. Wooldridge. 1998. A formal specification of dMARS. In Intelligent Agents IV, Vol. 1365 of Lecture Notes in Artificial Intelligence, pp. 155 176, Heidelberg, Germany. Springer-Verlag.
54. Dixon, C., M. Fisher, and M. Wooldridge. 1998. Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation, 8 (3 345 372.
55. Dixon, C., M. Fisher, and A. Bolotov. 2002. Clausal resolution in a logic of rational agency. Artificial Intelligence, 139 (1 47 89.
56. Eiter, T. and V. S. Subrahmanian. 1998. Deontic action programs. In Workshop on Foundations of Models and Languages for Data and Objects (FMLDO), pp. 37 54, Ostfriesland, Germany.
57. Eiter, T. and V. S. Subrahmanian. 1999. Heterogeneous active agents, II: Algorithms and complexity. Artificial Intelligence, 108 (1-2 257 307.
58. Eiter, T., V. S. Subrahmanian, and G. Pick. 1999. Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108 (1-2 179 255.
59. Eiter, T., V. S. Subrahmanian, and T. J. Rodgers. 2000. Heterogeneous active agents, III: Polynomially implementable agents. Artificial Intelligence, 117 (1 107 167.
60. Eiter, T., V. Mascardi, and V. S. Subrahmanian. 2002. Error-tolerant agents. In Computational Logic. Logic Programming and Beyond, Vol. 2407 of Lecture Notes in Artificial Intelligence, pp. 586 625, Heidelberg, Germany. Springer-Verlag.
61. Emerson, E. A. 1990. Handbook of Theoretical Computer Science, Vol. B, chapter Temporal and Modal Logic, pp. 997 1072. Elsevier Science, Amsterdam, The Netherlands.
62. Emerson, E. A. and J. Srinivasan. 1989. Branching time temporal logic. In Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Vol. 354 of Lecture Notes in Computer Science, pp. 123 172, Heidelberg, Germany. Springer-Verlag.
63. Endriss, U., P. Mancarella, F. Sadri, G. Terreni, and F. Toni. 2004. The CIFF proof procedure for abductive logic programming with constraints. In Logics in Artificial Intelligence, European Conference (JELIA), Vol. 3229 of Lecture Notes in Artificial Intelligence, pp. 31 43, Heidelberg, Germany. Springer-Verlag.
64. Esteva, M., J. A. Rodríguez, C. Sierra, P. Garcia, and J. L. Arcos. 2001. On the formal specification of electronic institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), Vol. 1991 of Lecture Notes in Artificial Intelligence, pp. 126 147, Heidelberg, Germany. Springer-Verlag.
65. Fagin, R., J. Y. Halpern, Y. Moses, and M. Vardi. 1995. Reasoning about Knowledge. Cambridge, MA, USA. The MIT Press.
66. Fisher, M. 1994. A survey of concurrent MetateM - the language and its applications. In Proceedings of the 1st International Conference on Temporal Logic (ICTL), Vol. 827 of Lecture Notes in Artificial Intelligence, pp. 480 505, Heidelberg, Germany. Springer-Verlag.
67. Fisher, M. 1995. Representing and executing agent-based systems. In Intelligent Agents, Vol. 890 of Lecture Notes in Artificial Intelligence, pp. 307 323, Heidelberg, Germany. Springer-Verlag.
68. Fisher, M. 1996. A temporal semantics for concurrent MetateM. Journal of Symbolic Computation, 22 (5/6 627 648.
69. Fisher, M. 1997a. Implementing BDI-like systems by direct execution. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI), Vol. 1, pp. 316 321, San Fransisco, CA, USA. Morgan Kaufmann.
70. Fisher, M. 1997b. A normal form for temporal logic and its application in theorem-proving and execution. Journal of Logic and Computation, 7 (4 429 456.
71. Fisher, M. 2005a. MetateM: The story so far. In Programming Multi-Agent Systems II (PROMAS), Vol. 3862 of Lecture Notes in Artificial Intelligence, pp. 3 22, Heidelberg, Germany. Springer-Verlag.
72. Fisher, M. 2005b. Temporal development methods for agent-based systems. Journal of Autonomous Agents and Multi-Agent Systems, 10 (1 41 66.
73. Fisher, M. and C. Ghidini. 1999. Programming resource-bounded deliberative agents. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pp. 200 205, San Fransisco, CA, USA. Morgan Kaufmann.
74. Fisher, M. and C. Ghidini. 2002. The ABC of rational agent modelling. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 849 856, New York, NY, USA. ACM Press.
75. Fisher, M. and M. Wooldridge. 1997. On the formal specification and verification of multi-agent systems. International Journal of Cooperative Information Systems, 6 (1 37 65.
76. Fisher, M., C. Dixon, and M. Peim. 2001. Clausal temporal resolution. ACM Transactions on Computational Logic, 2 (1 12 56.
77. Fisher, M., C. Ghidini, and B. Hirsch. 2003. Organising logic-based agents. In Proceedings of the 2nd NASA/IEEE Goddard Workshop on Formal Approaches to Agent Based Systems (FAABS), Vol. 2699 of Lecture Notes in Artificial Intelligence, pp. 15 27, Heidelberg, Germany. Springer-Verlag.
78. Fisher, M., C. Ghidini, and B. Hirsch. 2004. Programming groups of rational agents. In Computational Logic in Multi-Agent Systems IV (CLIMA), Vol. 3259 of Lecture Notes in Artificial Intelligence, pp. 16 33, Heidelberg, Germany. Springer-Verlag.
79. Fung, T. H. and R. A. Kowalski. 1997. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33 (2 151 165.
80. Gammie, P. and R. van der Meyden. 2004. MCK: Model checking the logic of knowledge. In Proceedings of the 16th International Conference on Computer-Aided Verification (CAV), Vol. 3114 of Lecture Notes in Computer Science, pp. 479 483, Heidelberg, Germany. Springer-Verlag.
81. Gelfond, M. and V. Lifschitz. 1988. The stable model semantics for logic programming. In Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 1070 1080, Cambridge, MA, USA. The MIT Press.
82. Georgeff, M. P. and A. L. Lansky. 1987. Reactive reasoning and planning. In Proceedings of the 6th National Conference on Artificial Intelligence (AAAI), pp. 677 682, Menlo Park, CA, USA. AAAI Press.
83. Ghidini, C. and F. Giunchiglia. 2001. Local models semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence, 127 (2 221 259.
84. Giunchiglia, F. and L. Serafini. 1994. Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence, 65 (1 29 70.
85. Goldblatt, R. 1992. Logics of Time and Computation, Vol. 7 of CSLI Lecture Notes. CSLI Publications, Stanford, CA, USA, 2nd edition.
86. Goranko, V. and G. van Drimmelen. 2006. Complete axiomatisation and decidability of alternating-time temporal logic. Theoretical Computer Science, 253 (1-3 93 117.
87. Harel, D. 1984. Dynamic logic. In Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, Edited by D. Gabbay and F. Guenthner. pp. 497 604. D. Reidel, Dordrecht, The Netherlands.
88. Harel, D., D. Kozen, and J. Tiuryn. 2000. Dynamic Logic. The MIT Press, Cambridge, MA, USA.
89. Hartshorne, C. and P. Weiss., Eds. 1965. Collected Papers of Charles Sanders Peirce, 1931-1958, Vol. 2, Cambridge, MA, USA. Harvard University Press.
90. Hindriks, K., F. de Boer, W. van der Hoek, and J.-J. Meyer. 1998. Formal semantics for an abstract agent programming language. In Intelligent Agents IV, Vol. 1365 of Lecture Notes in Artificial Intelligence, pp. 215 229, Heidelberg, Germany. Springer-Verlag.
91. Hindriks, K., F. de Boer, W. van der Hoek, and J.-J. Meyer. 2001. Agent programming with declarative goals. In Intelligent Agents VII, Vol. 1986 of Lecture Notes in Artificial Intelligence, pp. 228 243, Heidelberg, Germany. Springer-Verlag.
92. Hirsch, B., M. Fisher, C. Ghidini, and P. Busetta. 2005. Organising software in active environments. In Computational Logic in Multi-Agent Systems V (CLIMA), Vol. 3487 of Lecture Notes in Artificial Intelligence, pp. 265 280, Heidelberg, Germany. Springer-Verlag.
93. Holzmann, G. J. 2003. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston, MA, USA.
94. Horrocks, I., P. F. Patel-Schneider, and F. van Harmelen. 2002. Reviewing the design of DAML+OIL: An ontology language for the semantic web. In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI), pp. 792 997, Menlo Park, CA, USA. AAAI Press.
95. Hustadt, U. and B. Konev. 2003. TRP++ 2.0: A temporal resolution prover. In Proceedings of the 19th International Conference on Automated Deduction (CADE), Vol. 2741 of Lecture Notes in Artificial Intelligence, pp. 274 278, Heidelberg, Germany. Springer-Verlag.
96. Hustadt, U., C. Dixon, R. Schmidt, and M. Fisher. 2000. Normal forms and proofs in combined modal and temporal logics. In Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS), Vol. 1794 of Lecture Notes in Artificial Intelligence, pp. 73 87, Heidelberg, Germany. Springer-Verlag.
97. Hustadt, U., C. Dixon, R. A. Schmidt, M. Fisher, J.-J. Meyer, and W. van der Hoek. 2001. Reasoning about agents in the KARO framework. In Proceedings of the 8th International Symposium on Temporal Representation and Reasoning (TIME), pp. 206 213, Washington, DC, USA. IEEE Press.
98. Hustadt, U., B. Konev, A. Riazanov, and A. Voronkov. 2004. TeMP: A temporal monodic prover. In Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR), Vol. 3097 of Lecture Notes in Artificial Intelligence, pp. 326 330, Heidelberg, Germany. Springer-Verlag.
99. Hustadt, U., C. Dixon, R. A. Schmidt, M. Fisher, J.-J. Meyer, and W. van der Hoek. 2006. In Verification within the KARO agent theory. Edited by C. Rouff, M. Hinchey, J. Rash, W. Truszkowski and D. Gordon-Spears., Agent Technology from a Formal Perspective, NASA Monographs in Systems and Software Engineering, pp. 193 226. Springer-Verlag, Heidelberg, Germany.
100. Jonker, C. M., J. Treur, and W. C. A. Wijngaards. 2001. Dynamics within an organisation: Temporal specification, simulation and evaluation. In Proceedings of the 3rd International Conference on Cognitive Science (ICCS), pp. 546 550, Beijing, China. USTC Press.
101. Kakas, A. C. and P. Moraitis. 2002. Argumentative agent deliberation, roles and context. In Computational Logic in Multi-Agent Systems III (CLIMA), Vol. 70(5) of Electronic Notes on Theoretical Computer Science, Amsterdam, The Netherlands. Elsevier Science Publishers.
102. Kakas, A. C. and P. Moraitis. 2003. Argumentation based decision making for autonomous agents. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 883 890, New York, NY, USA. ACM Press.
103. Kakas, A. C., R. A. Kowalski, and F. Toni. 1993. Abductive Logic Programming. Journal of Logic and Computation, 2 (6 719 770.
104. Kakas, A. C., P. Torroni, and N. Demetriou. 2004a. Agent planning, negotiation, and control of operation. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI) pp. 28 32, Amsterdam, The Netherlands. IOS Press.
105. Kakas, A. C., P. Mancarella, F. Sadri, K. Stathis, and F. Toni. 2004b. Reactive reasoning and planning. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), pp. 33 37, Amsterdam, The Netherlands. IOS Press.
106. Konev, B., A. Degtyarev, C. Dixon, M. Fisher, and U. Hustadt. 2005. Mechanizing first-order temporal resolution. Information and Computation, 199 (1-2 55 86.
107. Kowalski, R. A. and F. Sadri. 1999. From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence, 25 (3-4 391 419.
108. Kowalski, R. A. and M. J. Sergot. 1986. A logic-based calculus of events. New Generation Computing, 4 (1 67 95.
109. Kozen, D. 1983. Results on the propositional μ-calculus. Theoretical Computer Science, 27 : 333 354.
110. Kripke, S. 1963. Semantical considerations on modal logic. Acta Philosophica Fennica, 16 : 83 94.
111. Labrou, Y. and T. Finin. 1994. A semantics approach for KQML - a general purpose communication language for software agents. In Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM), pp. 447 455, New York, NY, USA. ACM Press.
112. Lakemeyer, G. 1999. On sensing and off-line interpreting in GOLOG. In Logical Foundations for Cognitive Agents, pp. 173 189, Heidelberg, Germany. Springer-Verlag.
113. Leite, J. A., J. J. Alferes, and L. M. Pereira. 2001. Multi-dimensional dynamic knowledge representation. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vol. 2173 of Lecture Notes in Artificial Intelligence, pp. 365 378, Heidelberg, Germany. Springer-Verlag.
114. Levesque, H., R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. 1997. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31 (1-3 59 84.
115. Levesque, H., F. Pirri, and R. Reiter. 1998a. Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence, 2 : 159 178.
116. Levesque, H., F. Pirri, and R. Reiter. 1998b. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3 (18).
117. Lin, F. 1995. Embracing causality in specifying the indirect effects of actions. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), pp. 1985 1991, San Fransisco, CA, USA. Morgan Kaufmann.
118. Lloyd, J. W. 1987. Foundations of Logic Programming. Springer-Verlag, Heidelberg, Germany, 2nd edition.
119. Lomuscio, A. and M. Sergot. 2001. Extending interpreted systems with some deontic concepts. In Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Vol. 2699, pp. 207 218, San Fransisco, CA, USA. Morgan Kaufmann.
120. Lomuscio, A. and M. Sergot. 2002. On multi-agent systems specification via deontic logic. In Intelligent Agents VIII, Vol. 2333 of Lecture Notes in Artificial Intelligence, pp. 86 99, Heidelberg, Germany. Springer-Verlag.
121. Lomuscio, A. and M. Sergot. 2003. Deontic interpreted systems. Studia Logica, 75 (1 63 92.
122. Lomuscio, A., T. Lasica, and W. Penczek. 2003. Bounded model checking for interpreted systems: Preliminary experimental results. In Proceedings of the 2nd NASA/IEEE Goddard Workshop on Formal Approaches to Agent Based Systems (FAABS), Vol. 2699 of Lecture Notes in Artificial Intelligence, pp. 115 125, Heidelberg, Germany. Springer-Verlag.
123. Mahony, B. and J. Dong. 2000. Timed communicating Object Z. IEEE Transactions on Software Engineering, 26 (2 150 177.
124. McCabe, F. G. and K. L. Clark. 1995. April - agent process interaction language. In Intelligent Agents, Vol. 890 of Lecture Notes in Artificial Intelligence, pp. 324 340, Heidelberg, Germany. Springer-Verlag.
125. McCabe, F. G. and K. L. Clark. 2004. Go! - a multi-paradigm programming language for implementing multi-threaded agents. Annals of Mathematics and Artificial Intelligence, 41 (2-4 171 206.
126. McCarthy, J. 1986. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, 28 (1 86 116.
127. McCarthy, J. and P. J. Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4 : 463 502.
128. McGuinness, D. L. and K. van Harmelen. Eds. 2004. OWL Web Ontology Language - Overview, W3C Recommendation. World Wide Web Consortium. Latest version available at http://www.w3.org/TR/owl-features/.
129. McIlraith, S. A. and T. C. Son. 2001. Adapting Golog for programming in the semantic web. In Proceedings of the 5th International Symposium on Logical Formalizations of Commonsense Reasoning, pp. 195 202.
130. McIlraith, S. A. and T. C. Son. 2002. Adapting Golog for composition of semantic web services. In Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 482 496, San Fransisco, CA, USA. Morgan Kaufmann.
131. Merz, S., J. Zappe, and M. Wirsing. 2003. A spatio-temporal logic for the specification and refinement of mobile systems. In Fundamental Approaches to Software Engineering (FASE), Vol. 2621 of Lecture Notes in Computer Science, pp. 87 101, Heidelberg, Germany. Springer-Verlag.
132. Meyer, J.-J. Ch., W. van der Hoek, and B. van Linder. 1999. A logical approach to the dynamics of commitments. Artificial Intelligence, 113 (1-2 1 40.
133. Meyer, J.-J. Ch., F. de Boer, R. van Eijk, K. Hindriks, and W. van der Hoek. 2001. On programming KARO agents. Logic Journal of the IGPL, 9 (22 261 272.
134. Milner, R., J. Parrow, and D. Walker. 1992. A calculus for mobile processes (parts I and II). Information and Computation, 100 (1 1 40 and 41 77.
135. Moore, R. C. 1984. A formal theory of knowledge and action. Technical Note 320, SRI International Artificial Intelligence Center, Menlo Park, CA, USA.
136. Moore, R. C. 1985. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25 (1 75 94.
137. Morgenstern, L. 1999. Nonmonotonic logics. In The MIT Encyclopedia of the Cognitive Sciences, Cambridge, MA, USA. The MIT Press.
138. Myers, K. L. 1993. User's Guide for the Procedural Reasoning System. SRI International Artificial Intelligence Center, Menlo Park, CA, USA.
139. Owre, S., J. M. Rushby, and N. Shankar. 1992. PVS: A prototype verification system. In Proceedings of the 11th International Conference on Automated Deduction (CADE), Vol. 607 of Lecture Notes in Artificial Intelligence, pp. 748 752, Heidelberg, Germany. Springer-Verlag.
140. Parikh, R. 1983. Propositional game logic. In Proceedings of the 24th Annual Symposium on Foundations of Computer Science (FOCS), pp. 195 200, Washington, DC, USA. IEEE Computer Society.
141. Pauly, M. 2002. A modal logic for coalitional power in games. Journal of Logic and Computation, 12 (1 149 166.
142. Pauly, M. and R. Parikh. 2003. Game logic - an overview. Studia Logica, 75 (2 165 182.
143. Penczek, W. and A. Lomuscio. 2003. Verifying epistemic properties of multi-agent systems via model checking. Fundamenta Informaticae, 55 (2 167 185.
144. Pinto, J. and R. Reiter. 1993. Temporal reasoning in logic programming: A case for the situation calculus. In Proceedings of the International Conference on Logic Programming (ICLP), pp. 203 221, Cambridge, MA, USA. The MIT Press.
145. Pirri, F. and R. Reiter. 1999. Some contributions to the metatheory of the situation calculus. Journal of the ACM, 46 (3 325 361.
146. Raimondi, F. and A. Lomuscio. 2004. Verification of multiagent systems via binary decision diagrams: An algorithm and its implementation. In Proceedings of the 3rd International Joint Conference of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 630 637, New York, NY, USA. ACM Press.
147. Rao, A. S. 1996. AgentSpeak(L): BDI agents speak out in a logical computable language. In Agents Breaking Away. Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, (MAAMAW), Vol. 1038 of Lecture Notes in Artificial Intelligence, pp. 748 752, Heidelberg, Germany. Springer-Verlag.
148. Rao, A. S. and M. P. Georgeff. 1991. Modeling rational agents within a BDI-architecture. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 473 484, San Fransisco, CA, USA. Morgan Kaufmann.
149. Rao, A. S. and M. P. Georgeff. 1995. BDI agents: From theory to practice. In Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS), pp. 312 319, Washington, DC, USA. IEEE Press.
150. Rao, A. S. and M. P. Georgeff. 1998. Decision procedures for BDI logics. Journal of Logic and Computation, 8 (3 293 343.
151. Regayeg, A., A. H. Kacem, and M. Jmaiel. 2004. Specification and verification of multi-agent applications using Temporal Z. In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pp. 260 266, Washington, DC, USA. IEEE Press.
152. Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence, 13 (1-2 81 132.
153. Ryan, M. and P.-Y. Schobbens. 2002. Agents and roles: Refinement in alternating-time temporal logic. In Intelligent Agents VIII, Vol. 2333 of Lecture Notes in Artificial Intelligence, pp. 100 114, Heidelberg, Germany. Springer-Verlag.
154. Sadri, F. 2006. Using the KGP model of agency to design applications (tutorial paper). In Computational Logic in Multi-Agent Systems VI (CLIMA), Vol. 3900 of Lecture Notes in Artificial Intelligence, pp. 165 185, Heidelberg, Germany. Springer-Verlag.
155. Sadri, F. and F. Toni. 2006. A formal analysis of KGP agents. In Logics in Artificial Intelligence, European Conference (JELIA), Vol. 4160 of Lecture Notes in Artificial Intelligence, pp. 413 425, Heidelberg, Germany. Springer-Verlag.
156. Sadri, F., F. Toni, and P. Torroni. 2001. Logic agents, dialogues and negotiation: An abductive approach. In Proceedings of the 3rd Annual AISB Convention, York, UK. The Society for the Study of Artificial Intelligence and Simulation of Behaviour.
157. Sadri, F., F. Toni, and P. Torroni. 2002. Dialogues for negotiation: Agent varieties and dialogue sequences. In Intelligent Agents VIII, Vol. 2333 of Lecture Notes in Artificial Intelligence, pp. 405 421, Heidelberg, Germany. Springer-Verlag.
158. Sadri, F., F. Toni, and P. Torroni. 2003. Minimally intrusive negotiating agents for resource sharing. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI), pp. 796 804, San Fransisco, CA, USA. Morgan Kaufmann.
159. Satoh, K. 2002. Speculative computation and abduction for an autonomous agent. In Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR), pp. 191 199.
160. Satoh, K. and K. Yamamoto. 2002. Speculative computation with multi-agent belief revision. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 897 904, New York, NY, USA. ACM Press.
161. Satoh, K., K. Inoue, K. Iwanuma, and C. Sakama. 2000. Speculative computation by abduction under incomplete communication environments. In Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS), pp. 263 270, Washington, DC, USA. IEEE Press.
162. Schild, K. 2000. On the relationship between BDI logics and standard logics of concurrency. Journal of Autonomous Agents and Multi-Agent Systems, 3 (3 259 283.
163. Shapiro, S., Y. Lespérance, and H. Levesque. 2002. The cognitive agents specification language and verification environment for multiagent systems. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 19 26, New York, NY, USA. ACM Press.
164. Shoham, Y. 1993. Agent-oriented programming. Artificial Intelligence, 60 (1 51 92.
165. Singh, M. P. 1996. Semantical considerations on some primitives for agent specification. In Intelligent Agents II, Vol. 1037 of Lecture Notes in Artificial Intelligence, pp. 49 64, Heidelberg, Germany. Springer-Verlag.
166. Singh, M. P. 1998. Agent communication languages: Rethinking the principles. IEEE Computer, 31 (12 40 47.
167. Singh, M. P., A. S. Rao, and M. P. Georgeff. 1999. Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence, chapter Formal Methods in DAI: Logic-Based Representation and Reasoning, pp. 331 376. The MIT Press, Cambridge, MA, USA.
168. Smith, G. 2000. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, The Netherlands.
169. Spivey, J. M. 1992. The Z Notation. Prentice Hall, Hemel Hempstead, UK, 2nd edition.
170. Thomas, S. R. 1995. The PLACA agent programming language. In Intelligent Agents, Vol. 890 of Lecture Notes in Artificial Intelligence, pp. 307 319, Heidelberg, Germany. Springer-Verlag.
171. Thomason, R. 2000. Desires and defaults: A framework for planning with inferred goals. In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 702 713, San Fransisco, CA, USA. Morgan Kaufmann.
172. Toni, F. 2006. Multi-agent systems in computational logic: Challenges and outcomes of the SOCS project. In Computational Logic in Multi-Agent Systems VI (CLIMA), Vol. 3900 of Lecture Notes in Artificial Intelligence, pp. 420 426, Heidelberg, Germany. Springer-Verlag.
173. van der Hoek, W. and M. Wooldridge. 2003. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica, 75 (1 125 157.
174. van der Hoek, W., B. van Linder, and J.-J. Ch. Meyer. 1997. An integrated modal approach to rational agents. Technical Report UU-CS-1997-06, Department of Computer Science, Utrecht University, Utrecht, The Netherlands.
175. van der Hoek, W., B. van Linder, and J.-J. Ch. Meyer. 1993a. A logic of capabilities. Rapport IR-330, Vrije Universiteit, Amsterdam, The Netherlands.
176. van der Hoek, W., B. van Linder, and J.-J. Ch. Meyer. 1993b. Unravelling nondeterminism: On having the ability to choose. Technical Report UU-CS-1993-03, Department of Computer Science, Utrecht University, Utrecht, The Netherlands.
177. van der Hoek, W., J.-J. Ch. Meyer, and J. van Schagen. 2000. Formalizing potential of agents: The KARO framework revisited. In Proceedings of the 7th CSLI Workshop on Logic, Language, and Computation (LLC), number 91 in CSLI Lecture, pp. 51 67, Stanford, CA, USA. CSLI Publications.
178. van der Meyden, R. 1998. Common knowledge and update in finite environments. Information and Computation, 140 (2 115 157.
179. van der Meyden, R. and K. Wong. 2003. Complete axiomatizations for reasoning about knowledge and branching time. Studia Logica, 75 (1 93 123.
180. van Harmelen, F., I. Horrocks, and P. F., Patel-Schneider. Eds. 2001. A Model-Theoretic Semantics for DAML+OIL, W3C Note. World Wide Web Consortium. Latest version available at http://www.w3.org/TR/daml+oil-model.
181. van Linder, B. 1996. Modal Logics for Rational Agents. PhD thesis, Universiteit Utrecht, Utrecht, The Netherlands.
182. van Linder, B., J.-J. Ch. Meyer, and W. van der Hoek. 1997. Formalizing motivational attitudes of agents using the KARO framework. Technical Report UU-CS-1997-03, Department of Computer Science, Utrecht University, Utrecht, The Netherlands.
183. van Linder, B., W. van der Hoek, and J.-J. C. Meyer. 1998. Formalising abilities and opportunities of agents. Fundamentae Informaticae, 34 (1-2 53 101.
184. van Otterloo, S., W. van der Hoek, and M. Wooldridge. 2004. Knowledge as strategic ability. In Logic and Communication in Multi-Agent Systems (LCMAS), Vol. 85(2) of Electronic Notes on Theoretical Computer Science, Amsterdam, The Netherlands. Elsevier Science Publishers.
185. van Riemsdijk, B., W. van der Hoek, and J.-J. Meyer. 2003. Agent programming in Dribble: From beliefs to goals with plans. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 393 400, New York, NY, USA. ACM Press.
186. van Riemsdijk, B., W. van der Hoek, and J.-J. Meyer. 2004. Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation. In Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 630 637, New York, NY, USA. ACM Press.
187. Visser, W., K. Havelund, G. Brat, and S. Park. 2000. Model checking programs. In Proceedings of the 15th International Conference on Automated Software Engineering (ASE), pp. 3 12, Washington, DC, USA. IEEE Computer Society.
188. Walther, D., C. Lutz, F. Wolter, and M. Wooldridge. 2006. Quantitative temporal logics: Pspace and below. Information and Computation, 205 (1 99 123.
189. Walton, C. 2004. Model checking multi-agent web services. In Proceedings of the AAAI Spring Symposium on Semantic Web Services, pp. 68 77, Menlo Park, CA, USA. AAAI Press.
190. Walton, C. 2005. Model checking agent dialogues. In Declarative Agent Languages and Technologies II (DALT), Vol. 3476 of Lecture Notes in Artificial Intelligence, pp. 132 147, Heidelberg, Germany. Springer-Verlag.
191. Wan, F. and M. P. Singh. 2004. Mapping Dooley graphs and commitment causality to the π-calculus. In Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 412 419, New York, NY, USA. ACM Press.
192. Wooldridge, M. 1992. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, University of Manchester Institute of Science and Technology (UMIST), Manchester, UK.
193. Wooldridge, M. 1998. Verifiable semantics for agent communication languages. In Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS), pp. 349 365, Washington, DC, USA. IEEE Press.
194. Wooldridge, M. 2000. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, USA.
195. Wooldridge, M. and N. R. Jennings. 1995. Agent theories, architectures, and languages: A survey. In Intelligent Agents, Vol. 890 of Lecture Notes in Artificial Intelligence, pp. 1 39, Heidelberg, Germany. Springer-Verlag.
196. Wooldridge, M., C. Dixon, and M. Fisher. 1998. A tableau-based proof method for temporal logics of knowledge and belief. Journal of Applied Non-Classical Logics, 8 (3 225 258.
197. Wozna, B., W. Penczek, and A. Lomuscio. 2005. Bounded model checking for deontic interpreted systems. Electronic Notes in Theoretical Computer Science, 126 : 93 1143.
198. Yolum, P. and M. P. Singh. 2002. Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 527 534, New York, NY, USA. ACM Press.
199. Yolum, P. and M. P. Singh. 2004. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence, 42 (1-3 227 253.