DMCA

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

by Fabrizio Riguzzi , Terrance Swift
Venue:In Technical Communications of the International Conference on Logic Programming. LIPIcs, vol. 7. Schloss Dagstuhl– Leibniz-Zentrum fuer Informatik
Citations:16 - 9 self