Representing and reasoning about concurrent actions with abductive logic programs

Annals of Mathematics and Artificial Intelligence

Volumn 21, Issue 2-4, 1997, Pages 245-303

  Li, Renwei ^a   Pereira, Luís Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21944451950     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018921603877     Document Type: Article

References (21)

1. J.J. Alferes, C.V. Damásio and L.M. Pereira, SLX - A top-down derivation procedure for programs with explicit negation, in: International Logic Programming Symposium, ed. M. Bruynooghe (MIT Press, 1994).
2. J.J. Alferes and L.M. Pereira, Reasoning with Logic Programming, LNAI 1111 (Springer, 1996).
3. J.J. Alferes, L.M. Pereira and T.C. Przymusinski, "Classical" negation in non-monotonic reasoning and logic programming, in: Artificial Intelligence and Mathematics Workshop, eds. H. Kautz and B. Selman (Fort Lauderdale, 1996).
4. K.R. Apt and M. Bezem, Acyclic programs, in: Proc. of ICLP 90 (MIT Press, 1990) pp. 579-597
5. A.B. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5-23.
6. A.B. Baker and M.L. Ginsberg, Temporal projection and explanation, in: Proc. of the IJCAI 89 (Morgan Kaufmann, 1989) pp. 906-911.
7. C. Baral and M. Gelfond, Representing concurrent actions in extended logic programming, in: IJCAI (Morgan Kaufmann, 1993) pp. 866-871.
8. C. Baral and M. Gelfond, Reasoning about effects of concurrent actions, Manuscript, University of Texas at EI Paso (1994).
9. K. van Belleghem, M. Denecker and D. de Schreye, Combining situation calculus and event calculus, in: Proc. of ICLP 95 (MIT Press, 1995).
10. K. Clark, Negation as failure, in: Logic and Databases, eds. H. Gallaire and J. Minker (Plenum Press, 1978) pp. 293-322.
11. L. Console, D.T. Dupre and P. Torasso, On the relationship between abduction and deduction, J. of Logic and Computation 1(5) (1991) 661-690.
12. J. Crawford and D.W. Etherington, Formalizing reasoning about change: a qualitative reasoning approach, in: P roc. of AAAI 92 (1992) pp. 577-583.
13. C.V. Damásio, L.M. Pereira and N. Wolfgang, REVISE: An extended logic programming system for revising knowledge bases, in: Proc. of KR 94 (1994).
14. J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses and systems, Artificial Intelligence 56 (1992) 197-222.
15. M. Denecker and D. de Schreye, SEDNFA: an abductive procedure for normal abductive programs, in: Logic Programming: Proc. of 1992 Int. Joint Conference and Symposium, ed. Apt (MIT Press, 1992) pp. 686-700.
16. M. Denecker, Knowledge representation and reasoning in incomplete logic programming, Ph.D. thesis, Department of Computer Science, K.U. Leuven (1993).
17. M. Denecker and D. de Schreye, Representing incomplete knowledge in abductive logic programming, in: Logic Programming: Proc. of the 1993 Int. Symposium (MIT Press, 1993) pp. 147-163.
18. P.M. Dung, Representing actions in logic programming and its application in database updates, in: Proc. of ICLP 93 (MIT Press, 1993) pp. 222-238.
19. E. Eshghi and R. Kowalski, Abduction compared with negation as failure, in: Proc. of the 6th Int. Conf. on Logic Programming, eds. G. Levi and M. Martelli (MIT Press, 1989) pp. 234-254.
20. C. Evans, Negation-as-failure as an approach to the Hanks and McDermott problem, in: Proc. of the 2nd Int. Symp. on Artificial Intelligence (1989).
21. M. Gelfond, Autoepistemic logic and formalization of commonsense reasoning, in: Non-Monotonic Reasoning: Second International Workshop, Lecture Notes in Artificial Intelligence 346 (Springer, 1989) pp. 176-186.