Cumulativity Tailored for Nonmonotonic Reasoning

DOI10.1007/978-3-319-14726-0_7zbMath1432.68442OpenAlexW272150882MaRDI QIDQ5172609

Tomi Janhunen, Ilkka Niemelä

Publication date: 4 February 2015

Published in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Uses Software

• modopt

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equilibrium logic
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• Cumulative default logic: Finite characterization, algorithms, and complexity
• Extending and implementing the stable model semantics
• Nested expressions in logic programs
• Generic Tableaux for Answer Set Programming
• The well-founded semantics for general logic programs
• Strong equivalence made easy: nested expressions and weight constraints
• Tableau Calculi for Answer Set Programming
• Removing Redundancy from Answer Set Programs
• Strongly equivalent logic programs