Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning.
Helmut PrendingerMitsuru IshizukaGerhard SchurzPublished in: Int. J. Pattern Recognit. Artif. Intell. (2000)
Keyphrases
- knowledge base
- first order logic
- theory revision
- knowledge representation
- reasoning process
- deductive reasoning
- probabilistic logic
- higher order
- propositional logic
- reasoning engine
- probabilistic reasoning
- general logic programs
- logical theories
- logical formulas
- knowledge representation and reasoning
- formal models
- horn clauses
- inference engine
- knowledge structures
- belief revision
- logic programs