Restricted default theories: expressive power and outlier detection tasks
From MaRDI portal
Publication:483301
DOI10.1016/j.tcs.2014.11.010zbMath1318.68168MaRDI QIDQ483301
Luigi Palopoli, Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli
Publication date: 16 December 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2014.11.010
Cites Work
- Outlier detection for simple default theories
- Proof complexity of propositional default logic
- Metaqueries: Semantics, complexity, and efficient algorithms
- A logic for default reasoning
- Hard problems for simple default logics
- Yet some more complexity results for default logic
- Propositional semantics for disjunctive logic programs
- Outlier detection using default reasoning
- On the Parameterized Complexity of Default Logic and Autoepistemic Logic
- The complexity of reasoning for fragments of default logic
- Complexity Results for Nonmonotonic Logics
- Computational properties of metaquerying problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item