A Flexible System for Constraint Disjunctive Logic Programming.

Frieder Stolzenburg

Published in: Künstliche Intell. (1998)

Keyphrases

disjunctive logic programming
answer set programming
logic programming
knowledge representation and reasoning
polynomial hierarchy
artificial intelligence
upper bound