@inproceedings{4302fcfcdd9b49b19c31950c96437b2a,
title = "An abductive proof procedure for reasoning about actions in modal logic programming",
abstract = "In this paper we propose a modal approach for reasoning about actions in a logic programming framework. We introduce a modal language which makes use of abductive assumptions to deal with persistency, and provides a solution to the ramification problem, by allowing one-way {"}causal rules{"} to be defined among fiuents. We define the abductive semantics of the language and a goal directed abductive proof procedure to compute abductive solutions for a goal from a given domain description. Both the semantics and the procedure are defined within the argumentation framework. In particular, we focus on a specific semantics, which is essentially an extension of Dung's admissibility semantics to a modal setting. The proof procedure is proved to be sound with respect to this semantics.",
author = "Matteo Baldoni and Laura Giordano and Alberto Martelli and Viviana Patti",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1977.; 2nd International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP 1996 ; Conference date: 05-09-1996 Through 06-09-1996",
year = "1997",
doi = "10.1007/bfb0023805",
language = "English",
isbn = "9783540628439",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "132--150",
editor = "Jurgen Dix and Pereira, \{Luis Moniz\} and Przymusinski, \{Teodor C.\}",
booktitle = "Non-Monotonic Extensions of Logic Programming - 2nd International Workshop, NMELP 1996, Selected Papers",
address = "Germany",
}