Programming Rational Agents in GOAL
- 29 May 2009
- book chapter
- Published by Springer Nature
- p. 119-157
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- 2APL: a practical agent programming languageAutonomous Agents and Multi-Agent Systems, 2008
- Programming Multi-Agent Systems in AgentSpeak usingJason2007
- A verification framework for agent programming with declarative goalsJournal of Applied Logic, 2007
- Developing Multi‐Agent Systems with JADE2007
- A Complete Axiomatization for Blocks WorldJournal of Logic and Computation, 2003
- Knowledge Representation, Reasoning and Declarative Problem Solving2003
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- An Integrated Modal Approach to Rational Agents1999
- On the complexity of blocks-world planningArtificial Intelligence, 1992
- Intention is choice with commitmentArtificial Intelligence, 1990