Heuristic Inverse Subsumption in Full-Clausal Theories.
Yoshitaka YamamotoKatsumi InoueKoji IwanumaPublished in: ILP (2012)
Keyphrases
- defeasible logic
- refinement operators
- propositional theories
- inductive logic programming
- description logics
- np complete
- optimal solution
- constraint propagation
- search algorithm
- constraint satisfaction
- simulated annealing
- theorem proving
- dynamic programming
- decision procedures
- tabu search
- knowledge representation
- search procedure
- greedy heuristic
- information systems