Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs.

Tobias Geibinger Hans Tompits

Published 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