circ2dlp - Translating Circumscription into Disjunctive Logic Programming.

Emilia Oikarinen Tomi Janhunen

Published in: LPNMR (2005)

Keyphrases

disjunctive logic programming
answer set programming
polynomial hierarchy
logic programming
knowledge representation and reasoning
answer sets
general purpose
learning theory
artificial intelligence
logic programs