First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo.
Gerhard JägerPublished in: J. Symb. Log. (2001)
Keyphrases
- theory revision
- knowledge base
- concept learning
- variational inequalities
- higher order
- background knowledge
- first order logic
- theoretical framework
- coarse to fine
- classical first order logic
- domain theory
- knowledge representation
- inductive learning
- semantics of logic programs
- logical theories
- inductive logic programming
- action theories
- quantifier elimination
- stochastic dominance
- multiresolution
- multiscale