Dynamic Logic for Plan Revision in Agent Programming

DOI10.1093/LOGCOM/EXI084zbMath1116.68093OpenAlexW2136281137MaRDI QIDQ3430950

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

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

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

Related Items (1)

PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS

Uses Software

• AgentSpeak
• Jadex
• 3APL

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