@inproceedings{d510fcc75711405bb724bfda77fe5b3d,
title = "An abductive proof procedure for conditional logic programming",
abstract = "We develop an abductive extension of the hypothetical language GondLP+ within the argumentation framework. The language supports hypothetical updates together with integrity constraints, and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. We introduce a semantics for the language based on the notion of admissible solution, and we define an abductive proof procedure to compute them. The language can be used to perform several types of defeasible reasoning. We discuss how the revision policy of the language can be modified to perform different types of reasoning, llke reasoning about actions.",
author = "L. Giordano and A. Martelli and Sapino, {M. L.}",
note = "Publisher Copyright: {\textcopyright} Springer-Vedag Berlin Heidelberg 1996.; International Conference on Formal and Applied Practical Reasoning, FAPR 1996 ; Conference date: 03-06-1996 Through 07-06-1996",
year = "1996",
doi = "10.1007/3-540-61313-7_76",
language = "English",
isbn = "3540613137",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "231--245",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans Jurgen}",
booktitle = "Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings",
address = "Germany",
}