Non-Markovian control in the Situation Calculus

Artificial Intelligence 175 (1):25-48 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.04.012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Non-Markovian causality in the social sciences with some theorems on transitivity.Patrick Suppes - 1986 - Synthese 68 (1):129 - 140.
Optimal Control for Networked Control Systems with Markovian Packet Losses.Xiao Han, Zhijian Ji & Qingyuan Qi - 2020 - Complexity 2020:1-11.
Formalization of strips in situation calculus.John McCarthy - manuscript
Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator.Fangzhen Lin - 1998 - Artificial Intelligence 103 (1-2):273-294.
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem.Michael Thielscher - 1999 - Artificial Intelligence 111 (1-2):277-299.
Markovian and Non-Markovian Quantum Measurements.Jennifer R. Glick & Christoph Adami - 2020 - Foundations of Physics 50 (9):1008-1055.
Belief Change: from Situation Calculus to Modal Logic.Robert Demolombe - 2003 - Journal of Applied Non-Classical Logics 13 (2):187-198.
Inferentializing consequence.Jaroslav Peregrin - unknown
The λμT-calculus.Herman Geuvers, Robbert Krebbers & James McKinna - 2013 - Annals of Pure and Applied Logic 164 (6):676-701.
H∞stochastic synchronization for master-slave semi-Markovian switching system via sliding mode control.Xinghua Liu, Guoqi Ma, Xiaofeng Jiang & Hongsheng Xi - 2016 - Complexity 21 (6):430-441.
Robust ℋ∞tracking control for uncertain Markovian jumping systems with interval time-varying delay.Jianwei Xia, Ju H. Park, Baoyong Zhang & Hao Shen - 2016 - Complexity 21 (2):355-366.
Actions and other events in situation calculus.John McCarthy - manuscript
Event-Based Time Varying Formation Control for Multiple Quadrotor UAVs with Markovian Switching Topologies.Zhen Zhou, Hongbin Wang & Zhongquan Hu - 2018 - Complexity 2018:1-15.
Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,722,101)

6 months
2 (#1,015,942)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

How to progress a database III.Stavros Vassos & Hector J. Levesque - 2013 - Artificial Intelligence 195 (C):203-221.
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.

Add more citations

References found in this work

Add more references