Dynamic Logic for Plan Revision in Agent Programming

DOI10.1093/LOGCOM/EXI084MaRDI QIDQ3430950zbMATH OpenOpenAlexFDO

Authors M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Meyer

Publication date 5 April 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/9f964606b7a60d8cbd3ec8c0977a5b8571280141

zbMATH Keywords

operational semanticsagent's beliefs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• Computational Logic in Multi-Agent Systems
• A Compositional Semantics of Plan Revision in Intelligent Agents
• Reasoning about plan revision in BDI agent programs
• scientific article; zbMATH DE number 1759736
• Semantics of plan revision in intelligent agents

Cited in

(9)

• Semantics of plan revision in intelligent agents
• A Compositional Semantics of Plan Revision in Intelligent Agents
• Computational Logic in Multi-Agent Systems
• Algebraic Methodology and Software Technology
• Propositional dynamic logic for reasoning about first-class agent interaction protocols
• Computational Logic in Multi-Agent Systems
• Reasoning about plan revision in BDI agent programs
• Using theorem proving to verify properties of agent programs
• ALPprolog - a new logic programming method for dynamic domains

Describes a project that uses

Uses Software

• 3APL
• Jadex
• AgentSpeak

This page was built for publication: Dynamic Logic for Plan Revision in Agent Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3430950)