Parametric Connectives in Disjunctive Logic Programming.

Nicola Leone Simona Perri

Published in: Answer Set Programming (2003)

Keyphrases

disjunctive logic programming
logic programming
polynomial hierarchy
answer set programming
knowledge representation and reasoning
inference rules
logic programs
xml documents
special case