Keyphrases
- causal theories
- logic programs
- answer set programming
- answer set semantics
- answer sets
- logic programming
- general logic programs
- fixpoint
- stable models
- stable model semantics
- reasoning tasks
- computational properties
- normal logic programs
- strong equivalence
- deductive databases
- machine learning
- representing knowledge
- fixpoint semantics