Inductive Situation Calculus

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 545-553

  Denecker, Marc ^a   Ternovska, Eugenia ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; SET THEORY;

AXIOMATI-SATION; CLASSICAL LOGIC; FLUENTS; INDUCTIVE DEFINITIONS; KNOWLEDGE REPRESENTATION FORMALISM; MODULARS; RAMIFICATION PROBLEMS; SITUATION CALCULUS; TEMPORAL REASONING; TEST CASE;

KNOWLEDGE REPRESENTATION;

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

References (15)

1. Denecker, M., and Ternovska, E. 2004. A logic for non-monotone inductive definitions and its modularity properties. In Proc. of LPNMR-04.
2. Denecker, M.; Bruynooghe, M.; and Marek, V. 2001. Logic programming revisited: Logic programs as inductive definitions. ACM Transactions on Computational Logic (TOCL) 4(2).
3. Denecker, M.; Theseider Duprè, D.; and Van Belleghem, K. 1998. An inductive definition approach to ramifications. Linköping Electronic Articles in Computer and Information Science 3(1998): nr 7. URL: http://www.ep.liu.se/ea/cis/1998/007/.
4. Denecker, M. 2000. Extending classical logic with inductive definitions. In Proc. CL'2000.
5. Fitting, M. 2003. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science. To appear.
6. Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365-385.
7. Lin, F. 1995. Embracing causality in specifying the indirect effects of actions. In Proc. of IJCAI 95, 1985-1991.
8. McCarthy, J. 1998. Elaboration tolerance. In COMMON SENSE 98, Symposium On Logical Formalizations Of Commonsense Reasoning.
9. McIlraith, S. 2000. An axiomatic solution to the ramification problem (sometimes). Artificial Intelligence 116(1-2):87-121.
10. Reiter, R. 1991. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V., ed., Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. San Diego, CA: Academic Press. 359-380.
11. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press.
12. Ternovskaia, E. 1998a. Causality via inductive definitions. In Working Notes of”Prospects for a Commonsense Theory of Causation”, AAAI Spring Symposium Series, March 23-28.
13. Ternovskaia, E. 1998b. Inductive definability and the situation calculus. In Transaction and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science. Springer-Verlag.
14. Thielscher, M. 1997. Ramification and causality. J. of Artificial Intelligence 89:317-364.
15. Van Gelder, A. 1993. An alternating fixpoint of logic programs with negation. Journal of computer and system sciences 47:185-221.