Approximations and Refinements of Certain Answers via Many-Valued Logics.
Marco ConsolePaolo GuagliardoLeonid LibkinPublished in: KR (2016)
Keyphrases
- modal logic
- truth values
- expressive power
- temporal logic
- inference rules
- epistemic logic
- answer questions
- default logic
- nonmonotonic logics
- efficient computation
- classical logic
- machine learning
- question answer
- conditional logic
- conceptual clustering
- database
- concept lattice
- probabilistic model
- query processing
- propositional calculus