Keyphrases
- decision trees
- logic programming
- tree structure
- multi valued
- asynchronous circuits
- epistemic logic
- classical logic
- modal logic
- digital circuits
- nonmonotonic logics
- labeled trees
- database
- binary trees
- formal theory
- predicate logic
- defeasible logic
- computational properties
- logical framework
- logic programs
- bayesian networks
- case study
- data sets