An efficient propositional system for Abductive Logic Programming

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-interpret...

Full description

Bibliographic Details

Published in:	The Artificial intelligence review Vol. 57; no. 12; p. 334
Main Authors:	Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Netherlands 01.12.2024 Springer Springer Nature B.V
Subjects:	Artificial Intelligence Computer Science Formal method Hypotheses Interpreters Logic Logic programming Medical diagnosis Prolog Semantics Verification SCIFF Hypothetical Reasoning Abductive Logic Programming System Implementation
ISSN:	1573-7462, 0269-2821, 1573-7462
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!