Dung and Son [6] argue that specificity as a criterion for resolving conflicts between arguments, is context dependent. They propose to use arguments address the dependency of in combination with new special argumentation semantics. Unfortunately, their solution restricted systems without undercutting arguments. This paper presents more general which allows any Moreover, applicable form depende...

We report a work on certified parsing for context-free grammars. In our development we implement the Cocke–Younger–Kasami parsing algorithm and prove it correct using the Agda dependently typed programming language.