Skip to content

On Equivalence and Inconsistency of Answer Set Programs with External Sources.

Christoph Redl

VenueA*AAAI
Year2017
ProceedingsAAAI

Browse the full AAAI paper archive.