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

agent's beliefsoperational semantics

Mathematics Subject Classification ID

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

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)

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

Describes a project that uses

Uses Software

• Jadex
• AgentSpeak
• 3APL

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)