Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties

DOI10.1007/978-3-642-29414-3_4MaRDI QIDQ2900469zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Francesca Toni, P. Mancarella

Publication date 23 July 2012

Published in Logic Programs, Norms and Action (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29414-3_4

Mathematics Subject Classification ID

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

Recommendations

• Nonground abductive logic programming with probabilistic integrity constraints
• Abductive logic programs with penalization: semantics, complexity and implementation
• An abductive framework for negation in disjunctive logic programming
• Abduction from logic programs: Semantics and complexity
• Publication:5750390
• scientific article; zbMATH DE number 4033044
• scientific article; zbMATH DE number 591001
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• A fixpoint characterization of abductive logic programs
• Contributions to the stable model semantics of logic programs with negation

Cited in

(1)

• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials

This page was built for publication: Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties

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