research
∙
05/02/2009
An Application of Proof-Theory in Answer Set Programming
We apply proof-theoretic techniques in answer Set Programming. The main ...
research
∙
04/25/2009