The DLV system for knowledge representation and reasoning

Published: 2006, Last Modified: 12 May 2025ACM Trans. Comput. Log. 2006EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading