Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language
Open Access
- 31 October 2002
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 70 (5) , 108-125
- https://doi.org/10.1016/s1571-0661(04)80591-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A survey of concurrent MetateM — The language and its applicationsPublished by Springer Nature ,2005
- ConGolog, a concurrent programming language based on the situation calculusArtificial Intelligence, 2000
- Building cognitively rich agents using the SIM_Agent toolkitCommunications of the ACM, 1999
- Control Structures of Rule-Based Agent LanguagesPublished by Springer Nature ,1999
- Engineering AgentSpeak(L): a formal computational modelJournal of Logic and Computation, 1998
- Decision procedures for BDI logicsJournal of Logic and Computation, 1998
- Agent-oriented programmingArtificial Intelligence, 1993