Progression and verification of situation calculus agents with bounded beliefs

DOI10.1007/s11225-015-9626-zzbMath1397.68191OpenAlexW1763963671WikidataQ57549499 ScholiaQ57549499MaRDI QIDQ310089

Stavros Vassos, Giuseppe De Giacomo, Fabio Patrizi, Yves Lespérance

Publication date: 7 September 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9626-z

zbMATH Keywords

reasoning about actionsmu-calculussituation calculusprogressiononline executionverification of agent behaviors

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (3)

Progression and verification of situation calculus agents with bounded beliefs ⋮ Non-terminating processes in the situation calculus ⋮ Knowledge-based programs as succinct policies for partially observable domains

Uses Software

• GOLOG
• Maude
• MCMAS
• IndiGolog

Cites Work

• Bounded situation calculus action theories
• Progression and verification of situation calculus agents with bounded beliefs
• How to progress a database. III
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• A description logic based situation calculus
• Knowledge, action, and the frame problem
• Conformant plans and beyond: principles and complexity
• How to progress a database
• A computationally grounded logic of visibility, perception, and knowledge
• Reasoning about Agent Programs Using ATL-Like Logics
• Verification of Agent-Based Artifact Systems
• Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
• The Cognitive Agents Specification Language and Verification Environment
• Some contributions to the metatheory of the situation calculus
• GOLOG: A logic programming language for dynamic domains
• Modal and temporal properties of processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Progression and verification of situation calculus agents with bounded beliefs