Semantics of plan revision in intelligent agents

DOI10.1016/J.TCS.2005.09.070zbMATH Open1086.68084OpenAlexW2154116563MaRDI QIDQ820137FDOQ820137

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

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

zbMATH Keywords

denotational semanticsstructural operational semanticsagent programming language

Mathematics Subject Classification ID

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

Cites Work

• ConGolog, a concurrent programming language based on the situation calculus
• Title not available (Why is that?)
• Intention is choice with commitment
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantics of plan revision in intelligent agents

Cited In (6)

• Dynamic Logic for Plan Revision in Agent Programming
• Semantics of plan revision in intelligent agents
• 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

Uses Software

• ConGolog
• AgentSpeak
• 3APL

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)