Integrating actions and state constraints: A closed-form solution to the ramification problem

Artificial Intelligence 116 (1-2):87-121 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(99)00087-9

Links

PhilArchive



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

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

Integrating interdisciplinary problem solving through process.Brian Hepburn & Henrik Thorén - unknown
Imagining the Truth: An Account of Tragic Pleasure.James Shelley - 2003 - In Matthew Kieran & Dominic McIver Lopes (eds.), Imagination, Philosophy, and the Arts. London and New York: pp. 177-185.
A general first-order solution to the ramification problem with cycles.Hannes Strass & Michael Thielscher - 2013 - Journal of Applied Logic 11 (3):289-308.
The Maximal Closed Classes of Unary Functions in p‐Valued Logic.Liu Renren & Lo Czukai - 1996 - Mathematical Logic Quarterly 42 (1):234-240.
Consensus of Switched Multiagent Systems under Relative State Constraints.Qingling Wang - 2017 - Complexity:1-7.
The Barbieri-Remiddi Solution of the Bound-State Problem in QED.Antonio Vairo - 1998 - Foundations of Physics 28 (5):829-841.
The new mysterianism and the thesis of cognitive closure.Uriah Kriegel - 2003 - Acta Analytica 18 (30-31):177-191.
Adaptive Neural Networks Control Using Barrier Lyapunov Functions for DC Motor System with Time-Varying State Constraints.Lei Ma & Dapeng Li - 2018 - Complexity 2018:1-9.
Logical paradoxes solution in semantically closed language.Vsevolod Ladov - 2017 - Epistemology and Philosophy of Science 52 (2):104-119.
On the Unification Problem for Cartesian Closed Categories.Paliath Narendran, Frank Pfenning & Richard Statman - 1997 - Journal of Symbolic Logic 62 (2):636-647.
Plantinga on Divine Foreknowledge and Free Will.عبدالرزاق حسامی فر - 2019 - Journal of Philosophical Investigations 13 (28):247-261.
On the unification problem for cartesian closed categories.Paliath Narendran, Frank Pfenning & Richard Statman - 1997 - Journal of Symbolic Logic 62 (2):636-647.
Constraints on data in worlds with closed timelike curves.Phil Dowe - 2007 - Philosophy of Science 74 (5):724–735.
The gamut of dynamic logics.Jan van Eijck - unknown
The Problem of Thick Representation.Rafe McGregor - 2018 - Contemporary Aesthetics 16 (1).

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,706,939)

6 months
2 (#1,187,206)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.
Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.

View all 7 citations / Add more citations

References found in this work

A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
Reasoning about action I.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (2):165-195.

Add more references