Equality and Abductive Residua for Horn Clauses.
Emanuel KnillPhilip T. CoxTomasz PietrzykowskiPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- horn clauses
- fixpoint
- function symbols
- logic programs
- abductive logic programming
- logic programming
- inference rules
- abductive reasoning
- conceptual clustering
- background knowledge
- first order logic
- inductive logic programming
- database queries
- explanation based learning
- plan recognition
- lattice theory
- machine learning
- answer set programming
- answer sets
- object oriented
- high level