Keyphrases
- higher order
- higher order logic
- anti unification
- intuitionistic logic
- high order
- natural images
- markov random field
- modal logic
- expressive power
- low order
- order sorted
- valued logic
- classical logic
- pairwise
- markov models
- inductive learning
- information systems
- conditional random fields
- inductive logic programming
- von neumann
- epistemic logic
- first order logic
- propositional dynamic logic
- case study
- propositional logic
- data quality
- predicate logic
- lower order
- fuzzy sets
- query language
- lambda calculus
- data model