The KR System dlv: Progress Report, Comparisons and Benchmarks.

Thomas Eiter Nicola Leone Cristinel Mateis Gerald Pfeifer Francesco Scarcello

Published in: KR (1998)

Keyphrases

answer set programming
answer sets
knowledge representation and reasoning
benchmark suite
disjunctive logic programming
neural network
machine learning
information retrieval
high quality
computer science
logic programs
incomplete information