Second order inductive logic and Wilmers' principle.
Malte S. KließJeff B. ParisPublished in: J. Appl. Log. (2014)
Keyphrases
- deductive reasoning
- higher order
- logic programming
- databases
- automated reasoning
- sound and complete axiomatization
- modal logic
- inductive learning
- decision trees
- functional programs
- recursive programs
- ctl model update
- inductive logic programming
- bayesian networks
- probability theory
- multi valued
- rule learning
- logical framework
- deontic logic
- asynchronous circuits
- delay insensitive
- learning algorithm
- data mining