Modeling multiagent systems with CASL - A feature interaction resolution application

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

Volumn 1986 LNAI, Issue , 2001, Pages 244-259

  Shapiro, Steven ^a   Lespérance, Yves ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INTELLIGENT AGENTS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; COMPUTATIONAL LINGUISTICS;

COGNITIVE AGENTS; FEATURE-INTERACTION RESOLUTION; FORMAL SEMANTICS; MODEL MULTI-AGENT SYSTEMS;

MULTI AGENT SYSTEMS;

EID: 84867470156     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44631-1_17     Document Type: Conference Paper

References (20)

1. D. Bjorner and C. B. Jones. The Vienna Development Method: The Metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.
2. Ph. Du Bois. The Albert II Language - On the design and the Use of a Formal Specification language for Requirements Analysis. PhD thesis, Department of Computer Science, University of Namur, 1995.
3. F. Brazier, B. Dunin-Keplicz, N. R. Jennings, and Jan Treur. Formal specifications of multi-agents systems: A real-world case study. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), pages 25-32, San Francisco, CA, June 1995. Springer-Verlag.
4. A. Dardenne, S. Fickas, and A. van Lamsweerde. Goal-directed requirements acquisition. Science of Computer Programming, 20:3-50, 1993.
5. Joeri Engelfriet, Catholijn M. Jonker, and Jan Treur. Compositional verification of multiagent systems in temporal multi-epistemic logic. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V: Proceedings of the Fifth International Workshop on Agent Theories, Architectures and languages (ATAL'98), volume 1555 of LNAI, pages 177-194. Springer-Verlag, 1999.
6. Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. Con Golog, a concurrent programming language based on the situation calculus. To appear in Artificial Intelligence.
7. Nancy D. Griffeth and Hugo Velthuijsen. Win/win negotiation among autonomous agents. In Proceedings of the 12th International Workshop on Distributed Artificial Intelligence, pages 187-202, Hidden Valley, PA, May 1993.
8. D. Kinny, M. Georgeff, and A. S. Rao. A methodology and modelling technique for systems of BDI agents. In W. Van der Velde and J. W. Perram, editors, Agents Breaking Away, pages 56-71. LNAI 1038, Springer-Verlag, 1996.
9. Gerhard Lakemeyer and Hector J. Levesque. AOL: a logic of acting, sensing, knowing, and only knowing. In Proceedings of Knowledge Representation and Reasoning (KR-98), pages 316-327, 1998.
10. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
11. John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969.
12. S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining specification, proof checking, and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411-414, New Brunswick, NJ, July/August 1996. Springer-Verlag.
13. Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, CA, 1991.
14. Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689-695, Washington, DC, July 1993. AAAI Press/The MIT Press.
15. Steven Shapiro. PhD thesis. In preparation.
16. Steven Shapiro, Yves Lespérance, and Hector J. Levesque. Specifying communicative multiagent systems. In Wayne Wobcke, Maurice Pagnucco, and Chengqi Zhang, editors, Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, volume 1441 of LNAI, pages 1-14. Springer-Verlag, Berlin, 1998.
17. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, and Hector J. Levesque. Iterated belief change in the situation calculus. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), pages 527-538, San Francisco, CA, 2000. Morgan Kaufmann Publishers.
18. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989.
19. M. Wooldridge, N. R. Jennings, and D. Kinny. A methodology for agent-oriented analysis and design. In O. Etzioni, J. P. Müller, and J. Bradshaw, editors, Agents '99: Proceedings of the Third International Conference on Autonomous Agents, Seattle, WA, May 1999.
20. Eric S. K. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, Dept. of Computer Science, University of Toronto, 1995.