On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
Davide BresolinValentin GorankoAngelo MontanariGuido SciaviccoPublished in: LFCS (2007)
Keyphrases
- expressive power
- first order logic
- linearly ordered
- computational properties
- decision procedures
- description logics
- propositional logic
- default logic
- classical first order logic
- interval valued
- inference rules
- query language
- modal logic
- database
- logic programming
- horn clauses
- propositional variables
- theorem proving
- automated reasoning
- autoepistemic logic
- knowledge representation
- interval data
- model theoretic
- nonmonotonic logics
- query answering
- logic programs
- neighborhood structure
- probabilistic reasoning
- type checking
- data integration
- theorem prover
- coalition logic
- inductive logic programming