scientific article; zbMATH DE number 1785006
From MaRDI portal
zbMath1016.03016MaRDI QIDQ4546713
Lakhdar Saïs, Pierre Marquis, Éric Grégoire, Brigitte Bessant
Publication date: 25 July 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexitynonmonotonic logicprioritized circumscriptionabnormality propositionsiterated knowledge base revisionmodel-preference semantics
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items
A split-combination approach to merging knowledge bases in possibilistic logic, Combining multiple prioritized knowledge bases by negotiation, Using local search to find MSSes and MUSes, Weakening conflicting information for iterated revision and knowledge integration
Uses Software
