An abductive proof procedure for reasoning about actions in modal logic programming

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

Volumn 1216, Issue , 1997, Pages 132-150

  Baldoni, Matteo ^a   Giordano, Laura ^a   Martelli, Alberto ^a   Patti, Viviana ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; SEMANTICS;

ADMISSIBILITY SEMANTICS; ARGUMENTATION FRAMEWORKS; DOMAIN DESCRIPTION; MODAL LOGIC PROGRAMMING; PROOF PROCEDURES; RAMIFICATION PROBLEMS; REASONING ABOUT ACTIONS; SPECIFIC SEMANTICS;

COMPUTER CIRCUITS;

EID: 84955562547     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023805     Document Type: Conference Paper

References (30)

1. M. Baldoni, L.Giordano, and A.Martelli. A multimodal logic to define modules in logic programming. In Proc. ILPS'93, pages 473-487, Vancouver, 1993.
2. M. Baldoni, L.Giordano, and A.Martelli. A framework for modal logic programming. to appear in Proc. JICSLP'96, 1996.
3. A. Bondarenko, F. Toni, R. A. Kowalski. An assumption based framework for non-monotonic reasoning. in Proc 2nd Int. Workshop on Logic Programming and Non-monotonic Reasoning, 1993.
4. G. Brewka and J. Hertzberg. How to do things with worlds: on formalizing action and plans. In J. Logic and Computation, vol.3, no.5, pages 517-532, 1993.
5. G. De Giacomo, M. Lenzerini. PDL-based framework for reasoning about actions. In LNAI 992, pages 103-114, 1995.
6. M. Denecker, L. Missiaen, M. Bruynooghe. Temporal Reasoning with Abductive Event Calculus. In Proc ECAI-92, pages 384-388, Vienna, 1992.
7. M. Denecker, D. De Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. In Proc ILPS'93, pages 147-163, Vancouver, 1993.
8. P. M. Dung. Negations as hypotheses: an abductive foundation for logic programming. In Proc ICLP'91, pages 3-17, 1991.
9. P. M. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming. In Proc LICA193, pages 852-857, 1993.
10. P. M. Dung. Representing Actions in Logic Programming and its Applications to Database Updates. In Proc ICLP'93, pages 222-238, Budapest, 1993.
11. K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In Proc 6th ICLP'89, pages 234-254, Lisbon, 1989.
12. L. Farifias del Cerro and A. Herzig. Interference logic = conditional logic + frame axiom. In Int. J. of Intelligent Systems, 9(1):119-130, 1994.
13. L. Giordano, A. Martelli and M.L. Sapino. An abductive proof procedure for Conditional Logic Programming. In Proc FAPR'96, LNAI 1085, pages 231-245, 1996.
14. L. Giordano and A. Martelli. Reasoning about actions in modal logic programming. Technical Report, 1996.
15. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Fifth International Conference and Symposium on Logic Programming, pages 1070-1080, Seattle, 1988.
16. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proc ICLP'90, pages 579-597, Jerusalem, 1990.
17. M. Gelfond and V. Lifschitz. Representing Action and Change by Logic Programs. In J. Logic Programming, pages 301-321, 1993.
18. D. Hazel. First order dynamic logic in Extensions of Classical Logic, Handbook of Philosophical Logic II, pp. 497-604, 1984,
19. G.N. Kartha and V. Lifschitz. Actions with Indirect Effects (Preliminary Report). In Proc KR'94, pages 341-350, 1995.
20. A.C. Kakas, P. Mancarella, P.M. Dung. The acceptability semantics for logic programs. In Proc 11th ICLP'94, Santa Margherita Ligure, pages 504-519, 1994.
21. R. Li and L.M. Pereira. Temporal Reasoning with Abductive Logic Programming. In Proc ECAI'96, pages 13-17, 1996.
22. R. Li and L.M. Pereira. Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. To appear in Annals of Mathematics and AI, Special Issue for Gelfondfest, 1996.
23. F. Lin. Embracing Causality in Specifying the Indirect Effects of Actions. In Proc IJCAI'95, pages 1985-1991, 1995.
24. N. McCain and H. Turner. A Causal Theory of Ramifications and Qualifications. In Proc IJCAI'95, pages 1978-1984, 1995.
25. L. M. Pereira, J. N. Apariicio and J. J. Alferes. Non-Monotonic Reasoning with Logic Programming, In J. of Logic Programming, 17, pages 227-263, 1993.
26. T. C. Przymusinski. Extended stable semantics for normal and disjunctive programs. in Proc ICLP90 Conference, pp. 459-477, 1990.
27. E. Sandewall. Feature and Fluents, Oxford University Press, 1994.
28. C. Schwind. A Logic Based Framework for Action Theories. In Proc TSLLC, Jean-Jacques Levy and Zurab Khasidashvil (eds.), to appear in CSLI-series Stan-ford,USA, 1996.
29. M. Thielscher. Ramification and Causality. To appear in Artificial Intelligence, 1996.
30. F. Toni and A. Kakas. Computing the acceptability semantics. In LNAI 928, pages 401-415, 1995.