Keyphrases
- invited talk
- stable models
- logic programs
- general theory
- logic programming
- normal logic programs
- knowledge discovery and data mining
- fixpoint
- answer set programming
- stable model semantics
- deductive databases
- selected papers
- propositional theories
- program committee
- temporal reasoning
- data mining
- databases
- horn clauses
- natural language
- loop formulas