A formal embedding of agentspeak(L) in 3APL

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

Volumn 1502, Issue , 1998, Pages 155-166

  Hindriks, Koen V ^a   de Boer, Frank S ^a   van der Hoek, Wiebe ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; EMBEDDINGS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

AGENT BASED COMPUTING; AGENT LANGUAGES; AGENT PROGRAMMING LANGUAGES; AGENTSPEAK; EXPRESSIVE POWER; OPERATIONAL SEMANTICS; SEMANTIC FRAMEWORK;

COMPUTER SIMULATION LANGUAGES;

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

References (9)

1. M. Felleisen. On the expressive power of programming languages. In G. Goos and J. Hartmanis, editors, 3rd European Symposium on Programming (LNCS 432), pages 134-151. Springer-Verlag, 1990.
2. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. A Formal Embedding of AgentSpeak(L) in 3APL. Technical Report UU-CS-1998-07, University Utrecht, Department of Computer Science, 1998.
3. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. Control Structures of Rule-Based Agent Languages. Acceptedfor ATAL98,1998.
4. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. Formal Semantics for an Abstract Agent Programming Language. In M. P. Singh, A. Rao, and M. J. Wooldridge, editors, Intelligent Agents IV (LNAI 1365), pages 215-229,1998.
5. D. M. R. Park. Concurrency and Automata on Infinite Sequences (LNCS 104). Springer-Verlag, 1980.
6. G. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department, 1981.
7. A. S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. van der Velde and J. Perram, editors, Agents Breaking Away, pages 42-55. Springer, 1996.
8. A. S. Rao. Private communication, March 1997.
9. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.