- 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
How to progress a database III
Artificial Intelligence 195 (C):203-221 (2013)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
Hector J. Levesque, "Common Sense, the Turing Test, and the Quest for Real AI.".Sheldon Richmond - 2021 - Philosophy in Review 41 (1):25-28.
Common Sense, the Turing Test, and the Quest for Real AI: by Hector J. Levesque, Cambridge, MA, MIT Press, 2017, xv + 172 pp., $16.95. [REVIEW]George J. Aulisio - 2019 - The European Legacy 25 (1):105-107.
Jim Des Rivières and Hector J. Levesque. The consistency of syntactical treatments of knowledge. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 115–130. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):665-666.
Orilia, Francesco, and Rapaport, William J. (eds.) Thought, language and ontology. Essays in memory of Hector-Neri castañeda. [REVIEW]Giuseppe Varnier - 2000 - Minds and Machines 10 (3):448-452.
Database semantics for natural language.Roland Hausser - 2001 - Artificial Intelligence 130 (1):27-74.
Disjoint pattern database heuristics.Richard E. Korf & Ariel Felner - 2002 - Artificial Intelligence 134 (1-2):9-22.
Contracting preference relations for database applications.Denis Mindolin & Jan Chomicki - 2011 - Artificial Intelligence 175 (7-8):1092-1121.
A test battery for rational database updating.Sven O. Hansson - 1996 - Artificial Intelligence 82 (1-2):341-352.
Decomposing constraint satisfaction problems using database techniques.Marc Gyssens, Peter G. Jeavons & David A. Cohen - 1994 - Artificial Intelligence 66 (1):57-89.
Analytics
Added to PP
2020-12-22
Downloads
35 (#1,484,512)
6 months
4 (#1,748,177)
2020-12-22
Downloads
35 (#1,484,512)
6 months
4 (#1,748,177)
Historical graph of downloads
Citations of this work
Belief revision and projection in the epistemic situation calculus.Christoph Schwering, Gerhard Lakemeyer & Maurice Pagnucco - 2017 - Artificial Intelligence 251 (C):62-97.
Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.
References found in this work
Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
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.
Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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