DisLoP: A Research Project on Disjunctive Logic Programming.

Chandrabose Aravindan Jürgen Dix Ilkka Niemelä

Published in: AI Commun. (1997)

Keyphrases

disjunctive logic programming
query processing
logic programming
answer set programming
optimal solution
software engineering