Pruning Search Space for Weighted First Order Horn Clause Satisfiability.
Naveen NairAnandraj GovindanChander JayaramanT. V. S. KiranGanesh RamakrishnanPublished in: ILP (2010)
Keyphrases
- horn clauses
- search space
- first order logic
- effective pruning
- inference rules
- propositional logic
- search algorithm
- database queries
- logic programs
- search strategy
- satisfiability problem
- inductive logic programming
- np complete
- prune the search space
- constraint satisfaction problems
- exhaustive search
- sat problem
- artificial intelligence
- sat solvers
- search tree
- phase transition
- knowledge representation
- optimal solution
- boolean formula
- belief revision
- model checking
- decision trees