A semantic characterization of a useful fragment of the situation calculus with knowledge
type: Item
instance of: scholarly article
title: A semantic characterization of a useful fragment of the situation calculus with knowledge
zbMATH Open document ID: 1216.68269
author: Gerhard Lakemeyer
author: Hector J. Levesque
published in: Artificial Intelligence
publication date: 2011-06-17T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5909438
zbMATH Keywords: knowledge representation
zbMATH Keywords: reasoning about action
describes a project that uses: GOLOG
MaRDI profile type: Publication
full work available at URL: j.artint.2010.04.005
OpenAlex ID: W2025270539
cites work: Q4736477
cites work: Formalizing action and change in modal logic I: the frame problem
cites work: Belief Change: from Situation Calculus to Modal Logic
cites work: Regression in Modal Logic
cites work: Q4845472
cites work: Representing action and change by logic programs
cites work: Q4343990
cites work: A new deductive approach to planning
cites work: Q5604443
cites work: A logic-based calculus of events
cites work: Q5339289
cites work: A Semantical Account of Progression in the Presence of Defaults
cites work: All I know: A study in autoepistemic logic
cites work: The logic of knowledge bases
cites work: GOLOG: A logic programming language for dynamic domains
cites work: How to progress a database
cites work: Q5633670
cites work: Q5556395
cites work: Q4016561
cites work: Q4779807
cites work: On knowledge-based programming with sensing in the situation calculus
cites work: Q4839154
cites work: Knowledge, action, and the frame problem
cites work: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
DOI: 10.1016/J.ARTINT.2010.04.005
description: scientific article; zbMATH DE number 5909438