Decidable reasoning in a modified situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 1891-1897

  Gu, Yilan ^a   Soutchanski, Mikhail ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b RYERSON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT DEPENDENT; COUNTING QUANTIFIERS; FIRST ORDER LOGIC; INCOMPLETE KNOWLEDGE; KNOWLEDGE BASE; LOCAL EFFECTS; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE; KNOWLEDGE BASED SYSTEMS; REGRESSION ANALYSIS;

CALCULATIONS;

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

References (16)

1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. Franz Baader, Carsten Lutz, Maja Miliĉić, Ulrike Sattler, and Frank Wolter. Integrating description logics and action formalisms: First results. In Proc. of AAAI-05, pages 572-577, Pittsburgh, USA, July 2005. An extended version: LTCS-Report-05-02 from http://lat.inf.tu-dresden.de/research/ reports.html.
3. Alexander Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82(1-2):353-367, 1996.
4. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati. A theory and implementation of cognitive mobile robots. J. of Logic and Computation, 9(5):759-785, 1999.
5. Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Posati. On the update of description logic ontologies at the instance level. In Proc. of AAAI-06, pages 1271-1276, Boston, MA, USA, July 2006. AAAI Press.
6. Yilan Gu and Mikhail Soutchanski. A logic for decidable reasoning about services. In Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing, Boston, MA, USA, 2006. http://www.cs.toronto.edu/ ~yilan/publications/papers/aaai06.pdf.
7. F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92:131-167, 1997. (Pubitemid 127414142)
8. Yongmei Liu and Hector J. Levesque. Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In Proc. of IJCAI-05, pages 522-527, Edinburgh, Scotland, UK, August 2005.
9. H. Liu, C. Lutz, M. Milicic, and F. Wolter. Updating description logic ABoxes. In Proc. of KR2006, pages 46-56, Lake District, UK, June, 2-5 2006.
10. Sheila McIlraith and Tran Son. Adapting Golog for composition of semantic web services. In Proc. of KR2002, pages 482-493, Toulouse, 2002.
11. Leszek Pacholski, Wiesław Szwast, and Lidia Tendera. Complexity of two-variable logic with counting. In Proc. of LICS-97, pages 318-327, Warsaw, Poland, 1997.
12. A journal version: SIAM Journal on Computing, v 29(4), 1999, p. 1083-1117.
13. Ian Pratt-Hartmann. Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Lang. and Inf., 14(3):369-395, 2005.
14. Raymond Reiter. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. The MIT Press, 2001.
15. Afsaneh Shirazi and Eyal Amir. First-order logical filtering. In Proc. of IJCAI-05, pages 589-595, Edinburgh, Scotland, UK, 2005.
16. Marianne S. Winslett. Updating logical databases. The Academic Press, 1990.