Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Eiter, Thomas, Faber, Wolfgang, Leone, Nicola and Pfeifer, Gerald. 2000. “Declarative Problem-Solving in DLV.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 79–103. Dordrecht: Kluwer Academic Publishers.