A layered agent calculus with concurrent, continuous processes

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

Volumn 1365, Issue , 1998, Pages 245-258

  Jung, Christoph G ^a   Fischer, Klaus ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INTELLIGENT AGENTS;

CONTINUOUS PROCESS; HYBRID ARCHITECTURES; INFERENCE PROCESS; LOGICAL APPROACHES; REACTIVE AGENT; THEORY AND PRACTICE;

CALCULATIONS;

EID: 21944451623     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0026763     Document Type: Conference Paper

References (17)

1. R. A. Brooks. Intelligence without reason. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, 1991.
2. M. Invemo, D. Kinny, M. Luck, and M. Wooldridge. A Formal Specification of dMARS. In this volume.
3. K. V. Hindricks, F. S. de Boer, W. van der Hoek and J. J. Ch. Meyer. Formal Semantics for an Abstract Agent Programming Language. In this volume.
4. C, G. Jung, K. Fischer, and A. Burt. Multi-agent Planning using an Abductive Event Calculus. Number RR-96-4 in DFKI Research Report. DFKI GmbH, Saarbrücken, Germany, 1996.
5. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3): 213-261, 1990.
6. M. N. Huhns, editor. Distributed Artificical Intelligence. Research Notes in AI. Morgan Kaufmann, 1987.
7. R. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In D. Pedreschi and C. Zaniolo, editors, Logic in Databases, volume 1154 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
8. D. M. Lyons and A. J. Hendricks. A Practical Approach to Integrating Reaction and Deliberation. In Proceedings of the 1st International Conference on Artifical Intelligence Planning Systems, 1992.
9. J. P. Müller. The Design ofIntelligent Agents: A Layered Approach, volume 1177 of Lecture Notes in Artificial Intelligence. Springer-Verlag, December 1996.
10. A. Newell. Unified theories of cognition. Harvard University Press, Cambridge, London, 1990.
11. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pages 439-449. Morgan Kaufmann, October 1992.
12. S J. Russel and P. Norvig. Artificial Intelligence, A Modem Approach. Prentice Hall, 1995.
13. M. Shanahan. Robotics and the Common Sense Informatic Situation. In W. Wahlster, editor, Proceedings of the European Conference on Artificial Intelligence (ECAI96), pages 684-688, 1996.
14. G. Smolka. The Definition of Kernel Oz. In A. Podelski, editor, Constraints: Basics and Trends. Springer Verlag, 1995.
15. M. Spivey. The Z Notation (second edition). Prentice Hall International, Hempel Hempstead, England, 1992.
16. The Object Management Group. Universal Networked Objects. OMG TC Document. Framingham, September 1994.
17. M. Wooldridge. Practical Reasoning with Procedural Knowledge: A Logic of BDI Agents with Know-How. In Proceedings of the International Conference on Formal and Applied Practical Reasoning. Springer-Verlag, 1996.