Computing Preferred Answer Sets in Answer Set Programming.

Toshiko Wakaki Katsumi Inoue Chiaki Sakama Katsumi Nitta

Published in: LPAR (2003)

Keyphrases

answer set programming
answer sets
logic programs
answer set programs
logic programming
answer set solvers
answer set semantics
reasoning tasks
stable models
stable model semantics
fixpoint
knowledge representation