An abductive framework for negation in disjunctive logic programming

DOI10.1007/3-540-61630-6_18MaRDI QIDQ5236438zbMATH OpenOpenAlexFDO

Authors Chandrabose Aravindan

Publication date 8 October 2019

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61630-6_18

zbMATH Keywords

inference rulelogic programmingminimal modelmodel elimination

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• An abductive framework for extended logic programming
• scientific article; zbMATH DE number 1222412
• Argumentation-based abduction in disjunctive logic programming
• Abductive Logic Programming
• An abductive approach to disjunctive logic programming

Cites work

• A circumscriptive theorem prover
• A tableau calculus for minimal model reasoning
• Abductive Logic Programming
• An algorithm to compute circumscription
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• An argumentation-theoretic foundation for logic programming
• Computing answers with model elimination
• Deduction in non-Horn databases
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• scientific article; zbMATH DE number 970712 (Why is no real title available?)
• Inferring negative information from disjunctive databases
• Linear resolution for consequence finding
• Model elimination without contrapositives
• On the computational cost of disjunctive logic programming: Propositional case
• On the relationship between circumscription and negation as failure
• SLDNFA: An abductive procedure for abductive logic programs
• Weak generalized closed world assumption

Cited in

(10)

• Argumentation in disjunctive logic programming
• Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
• scientific article; zbMATH DE number 1222412 (Why is no real title available?)
• Abducing through negation as failure: stable models within the independent choice logic
• Abductive logic programming and disjunctive logic programming: their relationship and transferability
• An abductive approach to disjunctive logic programming
• Argumentation-based abduction in disjunctive logic programming
• An abductive framework for extended logic programming
• Abductive Logic Programming
• scientific article; zbMATH DE number 5043325 (Why is no real title available?)

This page was built for publication: An abductive framework for negation in disjunctive logic programming

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