A verification framework for agent programming with declarative goals
- 30 June 2007
- journal article
- Published by Elsevier BV in Journal of Applied Logic
- Vol. 5 (2), 277-302
- https://doi.org/10.1016/j.jal.2005.12.014
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- ConGolog, a concurrent programming language based on the situation calculusArtificial Intelligence, 2000
- A logical approach to the dynamics of commitmentsArtificial Intelligence, 1999
- Agent Programming in 3APLAutonomous Agents and Multi-Agent Systems, 1999
- Agent-oriented programmingArtificial Intelligence, 1993
- The semantic foundations of concurrent constraint programmingPublished by Association for Computing Machinery (ACM) ,1991
- Intention is choice with commitmentArtificial Intelligence, 1990
- Linear logicTheoretical Computer Science, 1987
- Belief, awareness, and limited reasoningArtificial Intelligence, 1987
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975