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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Artificial intelligence review Jg. 57; H. 12; S. 334
Hauptverfasser:	Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer Netherlands 01.12.2024 Springer Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!