Redundancy in logic III: Non-monotonic reasoning.
Paolo LiberatorePublished in: Artif. Intell. (2008)
Keyphrases
- defeasible logic
- commonsense reasoning
- proof theory
- formal theory
- autoepistemic logic
- logic programming
- possibilistic logic
- data sets
- classical logic
- logical framework
- sound and complete axiomatization
- database
- multiple description coding
- modal logic
- case study
- set theory
- nonmonotonic logics
- digital circuits
- incomplete information
- predicate logic
- feature selection
- machine learning
- data mining
- deontic logic
- asynchronous circuits
- redundancy reduction
- multi valued