Cumulativity Tailored for Nonmonotonic Reasoning
From MaRDI portal
Publication:5172609
DOI10.1007/978-3-319-14726-0_7zbMath1432.68442MaRDI QIDQ5172609
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
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
68T30: Knowledge representation
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item