Defeasible Justification for KML-Style Logic.
Victoria ChamaSteve WangThomas Andreas MeyerGiovanni CasiniPublished in: Description Logics (2024)
Keyphrases
- defeasible logic
- deontic logic
- markup language
- default logic
- tableau calculus
- defeasible reasoning
- nonmonotonic logics
- modal logic
- data sets
- automated reasoning
- update semantics
- classical logic
- logical framework
- logic programming
- case based reasoning
- artificial intelligence
- multi valued
- rule base
- expressive power
- digital circuits
- expert systems
- metadata
- proof theory
- nonmonotonic inference
- neural network