Keyphrases
- answer set programs
- propositional logic
- prime implicates
- incremental learning
- first order logic
- np complete
- answer set programming
- computational complexity
- logic programs
- database
- knowledge compilation
- exact computation
- np hard
- expert systems
- default logic
- horn clauses
- stable models
- computational problems
- computationally tractable
- real time
- temporal logic
- answer sets
- belief change
- learning algorithm