Dislop: Towards a Disjunctive Logic Programming System.

Chandrabose Aravindan Jürgen Dix Ilkka Niemelä

Published in: LPNMR (1997)

Keyphrases

disjunctive logic programming
answer set programming
polynomial hierarchy
logic programming
knowledge representation and reasoning
answer sets
machine learning
database systems
special case
logic programs
integrity constraints