Computationally grounded theories of agency

Proceedings - 4th International Conference on MultiAgent Systems, ICMAS 2000

Volumn , Issue , 2000, Pages 13-20

  Wooldridge, M ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; MULTI AGENT SYSTEMS; RECONFIGURABLE HARDWARE; SEMANTICS;

AGENT SYSTEMS; COMPUTATIONAL MODEL; EPISTEMIC LOGIC; GROUNDED THEORY;

COMPUTATION THEORY;

EID: 84962069609     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICMAS.2000.858426     Document Type: Conference Paper

References (31)

1. R. Axelrod. The Evolution of Cooperation. Basic Books, 1984.
2. K. Binmore. Fun and Games: A Text on Game Theory. D. C. Heath and Company: Lexington, MA, 1992.
3. B. Chellas. Modal Logic: An Introduction. Cambridge University Press: Cambridge, England, 1980.
4. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
5. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221-256. The MIT Press: Cambridge, MA, 1990.
6. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.
7. A. Haddadi. Communication and Cooperation in Agent Systems (LNAI Volume 1056). Springer-Verlag: Berlin, Germany, 1996.
8. J. Hintikka. Knowledge and Belief. Cornell University Press: Ithaca, NY, 1962.
9. L. P. Kaelbling and S. J. Rosenschein. Action and planning in embedded agents. In P. Maes, editor, Designing Autonomous Agents, pages 35-48. The MIT Press: Cambridge, MA, 1990.
10. S. Kraus, K. Sycara, and A. Evenchik. Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence, 104:1-69, 1998.
11. H. J. Levesque, P. R. Cohen, and J. H. T. Nunes. On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 94-99, Boston, MA, 1990.
12. J.-J. Ch. Meyer, W. van der Hoek, and B. van Linder. A logical approach to the dynamics of commitments. Artificial Intelligence, 113:1-40, 1999.
13. R. C. Moore. A formal theory of knowledge and action. In J. F. Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 480-519. Morgan Kaufmann Publishers: San Mateo, CA, 1990.
14. A. S. Rao and M. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-344, 1998.
15. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439-449, 1992.
16. J. S. Rosenschein and G. Zlotkin. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press: Cambridge, MA, 1994.
17. S. J. Rosenschein and L. P. Kaelbling. A situated view of representation and control. In P. E. Agre and S. J. Rosenschein, editors, Computational Theories of Interaction and Agency, pages 515-540. The MIT Press: Cambridge, MA, 1996.
18. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.
19. T. Sandholm. Distributed rational decision making. In G. Weiß, editor, Multiagent Systems, pages 201-258. The MIT Press: Cambridge, MA, 1999.
20. N. Seel. Intentional descriptions of reactive systems. In Y. Demazeau and J.-P. Müller, editors, Decentralized AI 2 - Proceedings of the Second European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-90), pages 15-34. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1991.
21. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51-92, 1993.
22. M. P. Singh. Towards a formal theory of communication for multi-agent systems. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 69-74, Sydney, Australia, 1991.
23. M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799). Springer-Verlag: Berlin, Germany, 1994.
24. M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992.
25. M. Wooldridge. Agent-based software engineering. IEE Proceedings on Software Engineering, 144(1):26-37, February 1997.
26. M. Wooldridge. Reasoning about Rational Agents. The MIT Press: Cambridge, MA, 2000.
27. M. Wooldridge. Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems, 3(1):9-31, 2000.
28. M. Wooldridge and M. Fisher. A first-order branching time logic of multi-agent systems. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 234-238, Vienna, Austria, 1992.
29. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115-152, 1995.
30. M. Wooldridge and N. R. Jennings. Cooperative problem solving. Journal of Logic and Computation, 9(4):563-594, 1999.
31. Michael Wooldridge and Alessio Lomuscio. Reasoning about visibility, perception and knowledge. In N.R. Jennings and Y. Lespérance, editors, Intelligent Agents VI - Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2000.