The DLV System.

Nicola Leone Gerald Pfeifer Wolfgang Faber Francesco Calimeri Tina Dell'Armi Thomas Eiter Georg Gottlob Giovambattista Ianni Giuseppe Ielpa Christoph Koch Simona Perri Axel Polleres

Published in: JELIA (2002)

Keyphrases

disjunctive logic programming
answer set programming
answer sets
logic programs
data structure
logic programming
databases
data mining
learning algorithm
web services
special case
domain knowledge