Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs.

Published in: WLP (1994)

Keyphrases

answer sets
answer set programming
logic programs
logic programming
disjunctive logic programming
answer set semantics
database systems
general purpose
stable models
stable model semantics
polynomial hierarchy
probabilistic reasoning