Semantics of plan revision in intelligent agents

DOI10.1016/J.TCS.2005.09.070MaRDI QIDQ820137zbMATH OpenOpenAlexFDO

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

Publication date 6 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/18030

zbMATH Keywords

denotational semanticsstructural operational semanticsagent programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Algebraic Methodology and Software Technology
• A Compositional Semantics of Plan Revision in Intelligent Agents
• scientific article; zbMATH DE number 1759736
• Computational Logic in Multi-Agent Systems
• Dynamic Logic for Plan Revision in Agent Programming

Cites work

• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 400814 (Why is no real title available?)
• scientific article; zbMATH DE number 1120809 (Why is no real title available?)
• scientific article; zbMATH DE number 1142321 (Why is no real title available?)
• ConGolog, a concurrent programming language based on the situation calculus
• Intention is choice with commitment
• Semantics of plan revision in intelligent agents

Cited in

(6)

• Semantics of plan revision in intelligent agents
• Dynamic Logic for Plan Revision in Agent Programming
• A Compositional Semantics of Plan Revision in Intelligent Agents
• Algebraic Methodology and Software Technology
• Computational Logic in Multi-Agent Systems
• Reasoning about plan revision in BDI agent programs

Describes a project that uses

Uses Software

• 3APL
• AgentSpeak
• ConGolog

This page was built for publication: Semantics of plan revision in intelligent agents

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