Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP.
Yuka ShimajiriHirohisa SekiHidenori ItohPublished in: ICLP (1997)
Keyphrases
- stable models
- pruning strategy
- logic programs
- logic programming
- normal logic programs
- fixpoint
- mining algorithm
- deductive databases
- answer set programming
- stable model semantics
- bayesian classifier
- frequent itemsets
- itemsets
- propositional logic
- sequential pattern mining
- frequent itemset mining
- general purpose
- machine learning
- skyline queries
- data structure