Logics for Approximate Entailment in ordered universes of discourse.
Thomas VetterleinFrancesc EstevaLluís GodoPublished in: Int. J. Approx. Reason. (2016)
Keyphrases
- logic based argumentation
- modal logic
- nonmonotonic logics
- inference rules
- database
- expressive power
- logic programming
- np complete
- default logic
- tableau calculus
- data sets
- knowledge representation
- computational complexity
- natural language
- exact solution
- learning algorithm
- proof theory
- anaphora resolution
- propositional calculus