The Strong Equivalence of ETOL Grammars.

Gabriel Istrate

Published in: Developments in Language Theory (1993)

Keyphrases

strong equivalence
logic programs
answer set programming
stable models
answer sets
logic programming
argumentation frameworks
autoepistemic logic
answer set semantics
natural language
reasoning tasks
classical logic
argumentation semantics
sufficient conditions
propositional logic