Strong Equivalence of TAG and CCG.

Andreas Maletti Lena Katharina Schiffer

Published in: CoRR (2022)

Keyphrases

strong equivalence
logic programs
answer set programming
stable models
answer sets
logic programming
argumentation frameworks
classical logic
autoepistemic logic
reasoning tasks
deductive databases
sufficient conditions
answer set semantics
fixpoint
machine learning
argumentation semantics
query processing