A Resolution-Based Calculus for Preferential Logics.
Cláudia NalonDirk PattinsonPublished in: IJCAR (2018)
Keyphrases
- tableau calculus
- description logics
- expressive power
- knowledge base
- high resolution
- conflict detection
- inference rules
- proof theoretic
- relational databases
- modal logic
- knowledge representation
- preference relations
- sampling rate
- computational properties
- relational calculus
- clause learning
- proof theory
- minimal models
- valued logic
- propositional dynamic logic
- neural network