Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining.

Christoph Redl

Browse the full AAAI paper archive.