Miracles in formal theories of action

&
Artificial Intelligence 38 (2):225-237 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(89)90059-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Papers published between 1996 and 2000.Vladimir Lifschitz - manuscript
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Comparing formal theories of context in AI.Luciano Serafini & Paolo Bouquet - 2004 - Artificial Intelligence 155 (1-2):41-67.
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.
Henning herrestad, formal theories of rights.Giovanni Sartor - 2000 - Artificial Intelligence and Law 8 (1):93-100.
Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
Approximation of action theories and its application to conformant planning.Phan Huy Tu, Tran Cao Son, Michael Gelfond & A. Ricardo Morales - 2011 - Artificial Intelligence 175 (1):79-119.
Characterizing causal action theories and their implementations in answer set programming.Haodi Zhang & Fangzhen Lin - 2017 - Artificial Intelligence 248 (C):1-8.
Logic, action, and information: essays on logic in philosophy and artificial intelligence.André Fuhrmann & Hans Rott (eds.) - 1996 - New York: W. de Gruyter.
The need for a formal education in artificial intelligence.Ranan B. Banerji - 1991 - In P. A. Flach (ed.), Future Directions in Artificial Intelligence. New York: Elsevier Science.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,483,069)

6 months
4 (#862,849)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abduction versus closure in causal theories.Kurt Konolige - 1992 - Artificial Intelligence 53 (2-3):255-272.
A circumscriptive calculus of events.Murray Shanahan - 1995 - Artificial Intelligence 77 (2):249-284.
Problems with persistence.Nicholas Asher - 1994 - Topoi 13 (1):37-49.

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.

Add more references