Keyphrases
- answer set semantics
- abductive logic programming
- logic programs
- answer sets
- logic programming
- answer set programming
- normal logic programs
- propositional logic
- knowledge representation
- artificial intelligence
- strong equivalence
- fixpoint
- knowledge acquisition
- proof procedure
- reasoning tasks
- ontology languages
- deductive databases
- dl programs
- machine learning
- software engineering
- nonmonotonic reasoning
- natural language
- data structure
- propositional theories
- database management systems