Keyphrases
- logical theories
- predicate calculus
- probabilistic logic
- first order logic
- higher order
- linear programming
- logical reasoning
- logical representation
- logical formulas
- real world
- lambda calculus
- stochastic dominance
- quantifier elimination
- logical operations
- model theoretic
- conditional logic
- belief revision
- data model
- knowledge base
- real time
- inductive logic programming systems