Transforming Horn Clauses for Forward Reasoning.
Knut HinkelmannMartin HarmThomas LabischPublished in: PDK (1991)
Keyphrases
- horn clauses
- first order logic
- inference rules
- logic programs
- conceptual clustering
- database queries
- inductive logic programming
- lattice theory
- automated reasoning
- knowledge base
- general purpose
- knowledge representation
- reasoning process
- co occurrence
- probability distribution
- query processing
- keywords
- training data
- search engine
- consistency checking
- data mining