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

Celý popis

Podrobná bibliografie

Vydáno v:	The Artificial intelligence review Ročník 57; číslo 12; s. 334
Hlavní autoři:	Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.12.2024 Springer Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!