Non-Markovian control in the Situation Calculus
type: Item
instance of: scholarly article
title: Non-Markovian control in the Situation Calculus
zbMATH Open document ID: 1216.68265
author: Alfredo Gabaldon
published in: Artificial Intelligence
publication date: 2011-06-17T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5909434
zbMATH Keywords: reasoning about actions
zbMATH Keywords: Situation Calculus
describes a project that uses: Smodels
describes a project that uses: GOLOG
MaRDI profile type: Publication
full work available at URL: j.artint.2010.04.012
OpenAlex ID: W2133249024
cites work: Q4779807
cites work: Q5633670
cites work: Q4016561
cites work: Q5714266
cites work: Using temporal logics to express search control knowledge for planning
cites work: TALplanner: A temporal logic based forward chaining planner
cites work: Q3623996
cites work: GOLOG: A logic programming language for dynamic domains
cites work: Some contributions to the metatheory of the situation calculus
cites work: Alan: An action language for modelling non-Markovian domains
cites work: Representing action and change by logic programs
DOI: 10.1016/J.ARTINT.2010.04.012
description: scientific article; zbMATH DE number 5909434