A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic.
Jeff B. ParisAlena VencovskáPublished in: ICLA (2011)
Keyphrases
- deductive reasoning
- machine learning
- functional programs
- inductive learning
- ctl model update
- predicate logic
- classical logic
- automated reasoning
- asynchronous circuits
- invariant features
- concept learning
- set theory
- inductive reasoning
- bayesian networks
- data sets
- multi valued
- modal logic
- logic programming
- epistemic logic
- decision trees
- recursive programs