The Disjunctive Datalog System DLV.

Mario Alviano Wolfgang Faber Nicola Leone Simona Perri Gerald Pfeifer Giorgio Terracina

Published in: Datalog (2010)

Keyphrases

disjunctive logic programming
disjunctive datalog
answer set programming
knowledge representation and reasoning
polynomial hierarchy
logic programming
answer sets
expert systems
relational databases
query language