The Strong Equivalence of ET0L Grammars.

Gabriel Istrate

Published in: Inf. Process. Lett. (1997)

Keyphrases

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