Abduction over 3-valued extended logic programs
From MaRDI portal
Publication:5101439
DOI10.1007/3-540-59487-6_3zbMath1496.68327OpenAlexW1556256464MaRDI QIDQ5101439
Luís Moniz Pereira, Carlos Viegas Damásio
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_3
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (3)
Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ A unifying view for logic programming with non-monotonic reasoning ⋮ Strong and explicit negation in non-monotonic reasoning and logic programming
Cites Work
- Unnamed Item
- Unnamed Item
- Paraconsistent logic programming
- A basis for deductive database systems
- SLDNFA: An abductive procedure for abductive logic programs
- Logic Programming with Strong Negation and Inexact Predicates
- Non-monotonic reasoning with logic programming
- The well-founded semantics for general logic programs
- Logic programming and knowledge representation
- Abductive Logic Programming
This page was built for publication: Abduction over 3-valued extended logic programs