An abductive framework for extended logic programming

DOI10.1007/3-540-59487-6_24MaRDI QIDQ5101460zbMATH OpenOpenAlexFDO

Authors Antonio Brogi, Evelina Lamma, Paola Mello, P. 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

Mathematics Subject Classification ID

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

Recommendations

• Abductive Logic Programming
• An abductive framework for negation in disjunctive logic programming
• A unifying view for logic programming with non-monotonic reasoning
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• On the extension of logic programming with negation through uniform proofs

Cites work

• A unifying view for logic programming with non-monotonic reasoning
• Compositional model-theoretic semantics for logic programs
• scientific article; zbMATH DE number 67821 (Why is no real title available?)
• scientific article; zbMATH DE number 1241670 (Why is no real title available?)
• scientific article; zbMATH DE number 1292289 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• Representing Incomplete Knowledge in Abductive Logic Programming
• SLDNFA: An abductive procedure for abductive logic programs
• The well-founded semantics for general logic programs
• Three-valued nonmonotonic formalisms and semantics of logic programs

Cited in

(26)

• Abduction from logic programs: Semantics and complexity
• A unifying view for logic programming with non-monotonic reasoning
• Non-monotonic extensions of logic programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers
• Computing extended abduction through transaction programs
• Scalable algorithms for abduction via enumerative syntax-guided synthesis
• Abduction in logic programming as second-order quantifier elimination
• Teleo-Reactive Abductive Logic Programs
• Unified logic programming approach to the abduction of plans and intentions in information-seeking dialogues
• Extending negation as failure by abduction: A three-valued stable model semantics
• scientific article; zbMATH DE number 140387 (Why is no real title available?)
• scientific article; zbMATH DE number 1337858 (Why is no real title available?)
• Hypothetical reasoning in logic programs
• Logical form generation as abduction: Part II. A dual-route parsimonious covering approach
• An argumentation-theoretic foundation for logic programming
• The IFF proof procedure for abductive logic programming
• 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
• scientific article; zbMATH DE number 1926609 (Why is no real title available?)
• scientific article; zbMATH DE number 1420809 (Why is no real title available?)
• scientific article; zbMATH DE number 1453062 (Why is no real title available?)
• A terminological interpretation of (abductive) logic programming
• On the extension of logic programming with negation through uniform proofs
• An abductive framework for negation in disjunctive logic programming
• Abductive Logic Programming
• Foundations of Information and Knowledge Systems

This page was built for publication: An abductive framework for extended logic programming

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