Forgetting Literals with Varying Propositional Symbols.
Yves MoinardPublished in: J. Log. Comput. (2007)
Keyphrases
- answer set programs
- answer sets
- horn clauses
- propositional formulas
- propositional logic
- first order logic
- logic programs
- inductive logic programming
- answer set programming
- default logic
- satisfiability testing
- logic programming
- truth assignment
- genetic algorithm
- finite alphabet
- incremental learning
- relational databases