Parametric connectives in Disjunctive Logic Programming.

Simona Perri Nicola Leone

Published in: AI Commun. (2004)

Keyphrases

disjunctive logic programming
answer set programming
knowledge representation and reasoning
polynomial hierarchy
logic programming
inference rules
machine learning
learning algorithm
artificial intelligence
description logics
answer sets