Strong Equivalence of TAG and CCG.

Lena Katharina Schiffer Andreas Maletti

Published in: Trans. Assoc. Comput. Linguistics (2021)

Keyphrases

strong equivalence
logic programs
stable models
answer set programming
argumentation frameworks
answer set semantics
answer sets
reasoning tasks
autoepistemic logic
logic programming
sufficient conditions
argumentation semantics
fixpoint
classical logic
database systems
propositional logic
software engineering