An Alternative Characterization of Disjunctive Logic Programs.

David W. Reed Donald W. Loveland Bruce T. Smith

Published in: ISLP (1991)

Keyphrases

disjunctive logic programs
disjunctive logic programming
logic programming
answer set programming
stable model semantics
minimal models
polynomial hierarchy
knowledge base
computational complexity
knowledge representation