An abductive framework for extended logic programming
From MaRDI portal
Publication:5101460
DOI10.1007/3-540-59487-6_24zbMath1496.68312OpenAlexW1586012806MaRDI QIDQ5101460
Evelina Lamma, Antonio Brogi, Paola Mello, Paolo Mancarella
Publication date: 30 August 2022
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59487-6_24
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (2)
Abduction from logic programs: Semantics and complexity ⋮ A unifying view for logic programming with non-monotonic reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Three-valued nonmonotonic formalisms and semantics of logic programs
- Compositional model-theoretic semantics for logic programs
- A unifying view for logic programming with non-monotonic reasoning
- SLDNFA: An abductive procedure for abductive logic programs
- The well-founded semantics for general logic programs
- Representing Incomplete Knowledge in Abductive Logic Programming
This page was built for publication: An abductive framework for extended logic programming
