TY  - JOUR
AU  - Gavanelli, Marco
AU  - Julián-Iranzo, Pascual
AU  - Sáenz-Pérez, Fernando
PY  - 2024
DO  - 10.1007/s10462-024-10928-7
SN  - 1573-7462
UR  - https://hdl.handle.net/20.500.14352/113780
T2  - Artificial Intelligence Review
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...
LA  - eng
M2  - 1
PB  - Artificial Intelligence Review
KW  - Abductive Logic Programming
KW  - SCIFF
KW  - Hypothetical Reasoning
KW  - System Implementation
TI  - An efficient propositional system for Abductive Logic Programming
TY  - journal article
VL  - 57
ER  -