How to progress a database
Artificial Intelligence 92 (1-2):131-167 (1997)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
How to progress a database III.Stavros Vassos & Hector J. Levesque - 2013 - Artificial Intelligence 195 (C):203-221.
Knowledge discovery and system-user partnership: On a production “adversarial partnership” approach. [REVIEW]Z. Chen - 1994 - AI and Society 8 (4):341-356.
Ethics across the computer science curriculum: Privacy modules in an introductory database course.Florence Appel - 2005 - Science and Engineering Ethics 11 (4):635-644.
Let's Make the DNA Identification Database as Inclusive as Possible.Michael E. Smith - 2006 - Journal of Law, Medicine and Ethics 34 (2):385-389.
“Mr. Database”„Mr. Database“.Nils C. Hanwahr - 2017 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 25 (4):519-542.
Knowledge-based ITS for Teaching Mongo Database.Mohanad Hiles & Massoud Agha - 2017 - European Academic Research 4 (10):8783-8794.
Knowledge-based Intelligent Tutoring System for Teaching Mongo Database.Mohanad M. Hilles & Samy S. Abu Naser - 2017 - European Academic Research 4 (10).
Review: Barry E. Jacobs, Applied Database Logic I: Fundamental Database Issues. [REVIEW]Jon Barwise - 1989 - Journal of Symbolic Logic 54 (2):627-628.
“Mr. Database”: Jim Gray and the History of Database Technologies.Nils C. Hanwahr - 2017 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 25 (4):519-542.
Applied Database Logic I: Fundamental Database Issues.Barry E. Jacobs - 1989 - Journal of Symbolic Logic 54 (2):627-628.
Barry E. Jacobs, Applied database logic I: fundamental database issues, Prentice-Hall, Englewood Cliffs, N.J., 1985, xviii + 334 pp. [REVIEW]Jon Barwise - 1989 - Journal of Symbolic Logic 54 (2):627-628.
Analytics
Added to PP
2020-12-22
Downloads
2 (#1,401,720)
6 months
1 (#449,844)
2020-12-22
Downloads
2 (#1,401,720)
6 months
1 (#449,844)
Historical graph of downloads
Citations of this work
Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
ConGolog, a concurrent programming language based on the situation calculus.Giuseppe De Giacomo, Yves Lespérance & Hector J. Levesque - 2000 - Artificial Intelligence 121 (1-2):109-169.
On strongest necessary and weakest sufficient conditions☆☆An earlier version of this paper was the co-winner of the Best Paper Award at KR2000.Fangzhen Lin - 2001 - Artificial Intelligence 128 (1-2):143-159.
Robot location estimation in the situation calculus.Vaishak Belle & Hector J. Levesque - 2015 - Journal of Applied Logic 13 (4):397-413.
Property persistence in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2010 - Artificial Intelligence 174 (12-13):865-888.
References found in this work
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.
Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
Downward refinement and the efficiency of hierarchical problem solving.Fahiem Bacchus & Qiang Yang - 1994 - Artificial Intelligence 71 (1):43-100.
