Learning programs in the event calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1297, Issue , 1997, Pages 205-212

  Moyle, Stephen ^a   Muggleton, Stephen ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957882641     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3540635149_49     Document Type: Conference Paper

References (13)

1. Abeysinghe, G. K.: Event Calculus to Support Temporal Reasoning in a Clinical Domain, Ph.D. thesis, University of Southampton (1993).
2. Bratko, I., Muggleton, S., Varsek, A.: Learning Qualitative Models of Dynamic Systems, in Inductive Logic Programming, S. Muggleton, Editor. (1992) Academic Press: London, p. 437-452.
3. De Raedt, L.: Interactive Theory Revision: An Inductive Logic Programming Approach. (1992), London: Academic Press.
4. Deneeker, M., et al.: A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification in Proceedings of JICSLP'96, the Joint International Conference and Symposium on Logic Programming. (1996) Bonn, Germany: MIT Press.
5. Kakas, A. C., Miller, R. S.: A Simple Declarative Language for Describing Narratives with Actions, Journal of Logic Programming: Special Issue on Reasoning about Action and Change (1997).
6. Kowalski, R., Sergot, M.: A Logic-based Calculus of Events. New Generation Computing 4 (1986) 67 - 95.
7. Moyle, S., Muggleton, S.: Experiments in Learning Event Calculus Programs, Oxford University Computing Laboratory PRG-TR-23-97 (1997).
8. Muggleton, S.: Inverse Entailment and Progol. New Generation Computing 13(3 and 4) (1995) 245-286.
9. Sablon, G.: Iterative Versionspaces with an application in Inductive Logic Programming, Ph.D. thesis, Katholic University of Leuven (1995).
10. Shanahan, M,: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. (1997), MIT Press.
11. Srinivasan, A., Camacho, R.: Numerical reasoning in ILP in Machine Intelligence 15. (1995), Oxford.
12. Sripada, S. M.: Efficient Implementation of the Event Calculus for Temporal Database Applications in Proceedings of the 12th International Conference on Logic Programming. (1995), Japan.
13. Stickel, M. E.: A Prolog technology theorem prover: a new exposition and implementation in Prolog. Theoretical Computer Science 104(1) (1992) 109-128.