Scaling up reasoning about actions using relational database technology

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2004, Pages 245-250

  De Giacomo, Giuseppe ^a   Mancini, Toni ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION ANALYSIS; PROBLEM SOLVING; QUERY LANGUAGES; REGRESSION ANALYSIS; SENSORS; TECHNOLOGY; THEOREM PROVING;

COGNITIVE AGENT; CRUX; LARGE ACTION THEORIES; SITUATION CALCULUS;

RELATIONAL DATABASE SYSTEMS;

EID: 9444285525     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995, Foundations of Databases. Addison Wesley Publ. Co.
2. De Giacomo, G., and Levesque, H. 1999. Projection using regression and sensors. In Proc. of IJCAI'99, 160-165.
3. De Giacomo, G., and Levesque, H. 2000. Two approaches to efficient open-world reasoning. In Logic-based artificial intelligence. Kluwer. 59-78.
4. De Giacomo, G., and Palatta, P. 2000. Exploiting a relational dbms for reasoning about actions. In Proc. of CogRob'00.
5. De Giacomo, G.; Lespérance, Y.; and Levesque, H. 2000. Con-Golog, a concurrent programming language based on the Situation Calculus. Artificial Intelligence 121(1-2):109-169.
6. Fangzhen, L., and Reiter, R. 1997. How to progress a database. Artificial Intelligence 92:131-167.
7. Levesque, H.; Reiter, R.; Lesperance, Y.; Lin, F.; and Scherl, R. 1997. GOLOG: A logic programming language for dynamic domains. J. of Logic Programming 31:59-84.
8. Liu, Y., and Levesque, H. 2003. A tractability result for reasoning with incomplete first-order knowledge bases. In Proc. of IJUCAI'03, 83-88.
9. Maier, D. 1983. The Theory of Relational Databases. Computer Science Press, Rockville, Maryland.
10. McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of aritificial intelligence. Machine Intelligence 4:463-502.
11. Reiter, R. 1991. The frame problem in the situation calculus. In Artificial Intelligence and Mathematical Theory of Computation. Academic Press. 359-380.
12. Reiter, R. 2001. Knowledge in action: Logical foundations for describing and implementing dynamical systems. MIT Press.