On Generalization and Subsumption for Ordered Clauses.
Megumi KuwabaraTakeshi OgawaKouichi HirataMasateru HaraoPublished in: JSAI Workshops (2005)
Keyphrases
- logical implication
- refinement operators
- description logics
- first order logic
- search space
- logic programs
- np complete
- deductive databases
- background knowledge
- learning machines
- neural network
- relational databases
- lower bound
- real time
- search algorithm
- inductive logic programming
- support vector
- relational learning
- transitive closure
- partially ordered
- data mining