Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Davide BresolinDario Della MonicaValentin GorankoAngelo MontanariGuido SciaviccoPublished in: ECAI (2010)
Keyphrases
- description logics
- expressive power
- computational properties
- first order logic
- number restrictions
- query containment
- transitive closure
- propositional logic
- knowledge representation
- model theoretic
- decision procedures
- exptime complete
- default logic
- neighborhood structure
- modal logic
- coalition logic
- inference rules
- data complexity
- evaluation metrics
- query answering
- distance metric
- nonmonotonic logics
- classical first order logic
- knowledge base
- similarity metric
- theorem proving
- probabilistic logic
- metric learning
- linearly ordered
- query language
- answering queries
- horn clauses
- autoepistemic logic
- propositional variables
- metric space