RT Journal Article
T1 An efficient propositional system for Abductive Logic Programming
A1 Gavanelli, Marco
A1 Julián-Iranzo, Pascual
A1 Sáenz-Pérez, Fernando
AB Abductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as diagnosis, planning, and verification with formal methods. Implementations of this extension have been using Prolog meta-interpreters and Prolog programs with Constraint Handling Rules (CHR). While the latter adds a clean and efficient interface to the host system, it still suffers in performance for large programs. Here, the concern is to obtain a more performant implementation of the SCIFF system following a compiled approach. This paper, as a first step in this long term goal, sets out a propositional ALP system following SCIFF, eliminating the need for CHR and achieving better performance.
PB Artificial Intelligence Review
SN 1573-7462
YR 2024
FD 2024-10-17
LK https://hdl.handle.net/20.500.14352/113780
UL https://hdl.handle.net/20.500.14352/113780
LA eng
NO Gavanelli, M., Julián-Iranzo, P. & Sáenz-Pérez, F. An efficient propositional system for Abductive Logic Programming. Artif Intell Rev 57, 334 (2024). https://doi.org/10.1007/s10462-024-10928-7
DS Docta Complutense
RD 4 abr 2025