Abduction over 3-valued extended logic programs

DOI10.1007/3-540-59487-6_3MaRDI QIDQ5101439zbMATH OpenOpenAlexFDO

Authors Carlos Viegas Damásio, Luís Moniz Pereira

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

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Cites work

• A basis for deductive database systems
• Abductive Logic Programming
• scientific article; zbMATH DE number 517010 (Why is no real title available?)
• scientific article; zbMATH DE number 970716 (Why is no real title available?)
• Logic programming and knowledge representation
• Logic Programming with Strong Negation and Inexact Predicates
• Non-monotonic reasoning with logic programming
• Paraconsistent logic programming
• SLDNFA: An abductive procedure for abductive logic programs
• The well-founded semantics for general logic programs

Cited in

(3)

• A unifying view for logic programming with non-monotonic reasoning
• Strong and explicit negation in non-monotonic reasoning and logic programming
• Collaborative vs. Conflicting Learning, Evolution and Argumentation

This page was built for publication: Abduction over 3-valued extended logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101439)