Abductive logic programs with penalization: semantics, complexity and implementation

DOI10.1017/S1471068404002224MaRDI QIDQ4673542zbMATH OpenFDO

Authors Simona Perri, Francesco Scarcello, N. Leone

Publication date 29 April 2005

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068404002224

zbMATH Keywords

computational complexitypenalizationnonmonotonic reasoningabductionoptimization problemsknowledge representationstable modelslogic programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1884352
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• Abduction from logic programs: Semantics and complexity
• Complexity results for abductive logic programming
• scientific article; zbMATH DE number 512816

Cited in

(11)

• Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
• scientific article; zbMATH DE number 1884352 (Why is no real title available?)
• Integration of Abductive Reasoning and Constraint Optimization in SCIFF
• A core language for fuzzy answer set programming
• Super-Solutions
• scientific article; zbMATH DE number 1420820 (Why is no real title available?)
• Local closed world reasoning with description logics under the well-founded semantics
• Modeling variations of first-order Horn abduction in answer set programming
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• ACLP: Abductive Constraint Logic Programming

This page was built for publication: Abductive logic programs with penalization: semantics, complexity and implementation

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