A general first-order solution to the ramification problem with cycles

&
Journal of Applied Logic 11 (3):289-308 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2013.05.003

Other Versions

No versions found

Links

PhilArchive



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

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

Challenges for Action Theories.Michael Thielscher - 2000 - Springer Verlag.
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes).Sheila A. McIlraith - 2000 - Artificial Intelligence 116 (1-2):87-121.
A trajectory approach to causality.Victor Jauregui, Norman Foo & Maurice Pagnucco - 2001 - Studia Logica 67 (3):385-401.
Polytime, combinatory logic and positive safe induction.Cantini Andrea - 2002 - Archive for Mathematical Logic 41 (2):169-189.
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.Norman Foo & Dongmo Zhang - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 173-191.
Algebraic properties of the first-order part of a problem.Giovanni Soldà & Manlio Valenti - 2023 - Annals of Pure and Applied Logic 174 (7):103270.
Variables in Action Descriptions: Merging C+ with ADL.Vladimir Lifschitz - unknown

Analytics

Added to PP
2016-06-30

Downloads
18 (#1,100,532)

6 months
9 (#419,313)

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

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.

View all 10 references / Add more references