Unfold/fold Transformations for Disjunctive Logic Programs.

Manolis Gergatsoulis

Published in: Inf. Process. Lett. (1997)

Keyphrases

disjunctive logic programs
answer set programming
disjunctive logic programming
polynomial hierarchy
logic programming
logic programs
default logic
stable model semantics
desirable properties
minimal models
answer sets
stable models
programming language
fixed point
propositional logic