- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Updating action domain descriptions
Artificial Intelligence 174 (15):1172-1221 (2010)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic.Ivan Varzinczak - 2006 - Dissertation, Université Paul Sabatier
Can a single action have many different descriptions?Arthur B. Cody - 1967 - Inquiry: An Interdisciplinary Journal of Philosophy 10 (1-4):164 – 180.
Consequences and Privileged Act Descriptions.Patricia Mary Lourdes Illingworth - 1985 - Dissertation, University of California, Irvine
Action Emulation between Canonical Models.Floor Sietsma & Jan van Eijck - 2013 - Journal of Philosophical Logic 42 (6):905-925.
Incomplete Descriptions and the Underdetermination Problem.Andrei Moldovan - 2015 - Research in Language 13 (4):352–367.
Undoing the effects of action sequences.Thomas Eiter, Esra Erdem & Wolfgang Faber - 2008 - Journal of Applied Logic 6 (3):380-415.
Is there a domain-general cognitive structuring system? Evidence from structural priming across music, math, action descriptions, and language.Joris Van de Cavey & Robert J. Hartsuiker - 2016 - Cognition 146 (C):172-184.
On Action Theory Change.Ivan José Varzinczak - 2010 - Journal of Artificial Intelligence Research 37 (1):189-246.
Domain expansion for ASP-programs with external sources.Thomas Eiter, Michael Fink, Thomas Krennwallner & Christoph Redl - 2016 - Artificial Intelligence 233 (C):84-121.
Analytics
Added to PP
2020-12-22
Downloads
13 (#1,006,512)
6 months
8 (#352,434)
2020-12-22
Downloads
13 (#1,006,512)
6 months
8 (#352,434)
Historical graph of downloads
Author's Profile
Citations of this work
Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.
Foundations of explanations as model reconciliation.Sarath Sreedharan, Tathagata Chakraborti & Subbarao Kambhampati - 2021 - Artificial Intelligence 301 (C):103558.
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.
CTL update of Kripke models through protections.Miguel Carrillo & David A. Rosenblueth - 2014 - Artificial Intelligence 211:51-74.
References found in this work
On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.
On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.
Representing the Zoo World and the Traffic World in the language of the causal calculator.Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):105-140.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo