Modular paracoherent answer sets

DOI10.1007/978-3-319-11558-0_32MaRDI QIDQ2938513zbMATH OpenOpenAlexFDO

Authors Giovanni Amendola, Thomas Eiter, N. Leone

Publication date 14 January 2015

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

Full work available at URL https://doi.org/10.1007/978-3-319-11558-0_32

Mathematics Subject Classification ID

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

Recommendations

• Semi-equilibrium models for paracoherent answer set programs
• Better paracoherent answer sets with less resources
• Paracoherent answer set computation
• Paracoherent answer set semantics meets argumentation frameworks
• Modularity in smodels Programs

Cites work

• A three-valued semantics for deductive databases and logic programs
• Approved Models for Normal Logic Programs
• Depth-First Search and Linear Graph Algorithms
• Equilibrium logic
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Logical Weak Completions of Paraconsistent Logics
• Magic Sets and their application to data integration
• Modular nonmonotonic logic programming revisited
• Modularity aspects of disjunctive stable models
• On the computational cost of disjunctive logic programming: Propositional case
• On the partial semantics for disjunctive deductive databases
• Paraconsistent logic programming
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Propositional semantics for disjunctive logic programs
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Reasoning with inconsistencies in hybrid MKNF knowledge bases
• The well-founded semantics for general logic programs

Cited in

(4)

• Paracoherent answer set computation
• Semi-equilibrium models for paracoherent answer set programs
• Parameterized splitting: a simple modification-based approach
• Better paracoherent answer sets with less resources

This page was built for publication: Modular paracoherent answer sets

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