Progression and verification of situation calculus agents with bounded beliefs
type: Item
instance of: scholarly article
title: Progression and verification of situation calculus agents with bounded beliefs
zbMATH Open document ID: 1397.68191
author: Giuseppe De Giacomo
author: Yves Lespérance
author: Fabio Patrizi
author: Stavros Vassos
published in: Studia Logica
publication date: 2016-09-07T00:00:00Z
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6624780
zbMATH Keywords: reasoning about actions
zbMATH Keywords: situation calculus
zbMATH Keywords: progression
zbMATH Keywords: online execution
zbMATH Keywords: verification of agent behaviors
zbMATH Keywords: mu-calculus
describes a project that uses: Maude
describes a project that uses: IndiGolog
describes a project that uses: GOLOG
describes a project that uses: MCMAS
MaRDI profile type: Publication
full work available at URL: s11225-015-9626-z
OpenAlex ID: W1763963671
Wikidata QID: Q57549499
cites work: Q3457205
cites work: Q5633670
cites work: Q5322945
cites work: Verification of agent-based artifact systems
cites work: Conformant plans and beyond: principles and complexity
cites work: GOLOG: A logic programming language for dynamic domains
cites work: Verification on infinite structures.
cites work: Q2999222
cites work: Knowledge, action, and the frame problem
cites work: How to progress a database
cites work: Bounded situation calculus action theories
cites work: Q5282994
cites work: Q4576186
cites work: Q4934644
cites work: A description logic based situation calculus
cites work: A semantic characterization of a useful fragment of the situation calculus with knowledge
cites work: Q5740449
cites work: Some contributions to the metatheory of the situation calculus
cites work: Q4779807
cites work: On the semantics of deliberation in IndiGolog -- from theory to implementation
cites work: The Cognitive Agents Specification Language and Verification Environment
cites work: Modal and temporal properties of processes
cites work: Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
cites work: How to progress a database. III
cites work: A computationally grounded logic of visibility, perception, and knowledge
cites work: Reasoning about Agent Programs Using ATL-Like Logics
DBLP publication ID: journals/sLogica/GiacomoLPV16
DOI: 10.1007/S11225-015-9626-Z
description: scientific article; zbMATH DE number 6624780