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

DOI10.1007/978-3-642-29414-3_4zbMATH Open1356.68034DBLPconf/birthday/MancarellaT12OpenAlexW157181982WikidataQ62047994 ScholiaQ62047994MaRDI QIDQ2900469FDOQ2900469

P. Mancarella, Francesca Toni

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

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Abductive logic programs with penalization: semantics, complexity and implementation 👍 👎
• Contributions to the stable model semantics of logic programs with negation 👍 👎
• Abduction from logic programs: Semantics and complexity 👍 👎
• A fixpoint characterization of abductive logic programs 👍 👎
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules 👍 👎
• Nonground Abductive Logic Programming with Probabilistic Integrity Constraints 👍 👎
• An abductive framework for negation in disjunctive logic programming 👍 👎

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)