The role of self-attacking arguments in characterizations of equivalence notions.

Ringo Baumann Stefan Woltran

Published in: J. Log. Comput. (2016)

Keyphrases

strong and uniform equivalence
logic programming
nonmonotonic logics
logic programs
web services
database systems
image sequences
multiscale
computational complexity
information technology
knowledge representation
programming language
default logic