Adding Metatheoretic Facilities to First-Order Theories.
David A. BasinSeán MatthewsPublished in: J. Log. Comput. (1996)
Keyphrases
- theory revision
- higher order
- knowledge base
- first order logic
- propositional theories
- quantifier elimination
- logical theories
- action theories
- classical first order logic
- stochastic dominance
- concept learning
- causal reasoning
- facility location problem
- optimal location
- knowledge based systems
- term rewriting
- pairwise
- causal theories
- e learning
- data mining
- universally quantified
- data sets