Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae.
Ofer ArieliPublished in: ECAI (2004)
Keyphrases
- quantified boolean formulae
- propositional logic
- quantified boolean formulas
- reasoning tasks
- symmetry breaking
- knowledge base
- logic programming
- universal quantification
- automated reasoning
- knowledge compilation
- knowledge representation
- description logics
- inference rules
- davis putnam
- expert systems
- probabilistic reasoning