Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions (0)

by F Riguzzi, T 2010b Swift
Venue:In Technical Communications of the International Conference on Logic Programming. LIPIcs, vol. 7. Schloss Dagstuhl– Leibniz-Zentrum fuer Informatik