Situation calculus for controller synthesis in manufacturing systems with first-order state representation

, , , &
Artificial Intelligence 302 (C):103598 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103598

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

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

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.
The model evolution calculus as a first-order DPLL method.Peter Baumgartner & Cesare Tinelli - 2008 - Artificial Intelligence 172 (4-5):591-632.
An order-sorted logic for knowledge representation systems.C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt & J. Siekmann - 1992 - Artificial Intelligence 55 (2-3):149-191.
Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.
Property persistence in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2010 - Artificial Intelligence 174 (12-13):865-888.
Situation Calculus の非標準モデルについて.Hiratsuka Satoshi Fusaoka Akira - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:557-564.
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.
Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
Hybrid artificial intelligence system in constraint based scheduling of integrated manufacturing ERP systems.Izabela Rojek & Mieczysław Jagodziński - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 229--240.
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.

Analytics

Added to PP
2021-09-23

Downloads
22 (#960,280)

6 months
3 (#1,464,642)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Non-Markovian control in the Situation Calculus.Alfredo Gabaldon - 2011 - Artificial Intelligence 175 (1):25-48.

View all 7 references / Add more references