Infinitary Logic and Inductive Definability over Finite Structures
Anuj DawarSteven LindellScott WeinsteinPublished in: Inf. Comput. (1995)
Keyphrases
- deductive reasoning
- inductive learning
- propositional logic
- classical logic
- machine learning
- logic programming
- case study
- linear temporal logic
- fixed point
- logical framework
- finite model theory
- data sets
- functional programs
- valued logic
- predicate logic
- rule learning
- multi valued
- logic programs
- knowledge representation
- decision trees