Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs.
Tobias GeibingerHans TompitsPublished in: JELIA (2019)
Keyphrases
- answer set programs
- strong equivalence
- logic programs
- answer set programming
- answer sets
- stable models
- answer set semantics
- logic programming
- reasoning tasks
- fixpoint
- inductive logic programming
- update operators
- nonmonotonic reasoning
- default theories
- knowledge base
- deductive databases
- relational databases
- high level