On stratified belief base compilation
From MaRDI portal
Publication:702098
DOI10.1023/B:AMAI.0000038313.15152.5czbMath1074.68067MaRDI QIDQ702098
Pierre Marquis, Sylvie Coste-Marquis
Publication date: 17 January 2005
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
computational complexity; knowledge compilation; Reasoning under inconsistency; stratified belief base
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B53: Paraconsistent logics
Related Items
Weakening conflicting information for iterated revision and knowledge integration, Qualitative choice logic, Two alternatives for handling preferences in qualitative choice logic, Reasoning under inconsistency: a forgetting-based approach, Extending description logics with uncertainty reasoning in possibilistic logic, A Revised Qualitative Choice Logic for Handling Prioritized Preferences