Loop formulas for description logic programs.

Yisong Wang Jia-Huai You Li-Yan Yuan Yi-Dong Shen

Published in: Theory Pract. Log. Program. (2010)

Keyphrases

loop formulas
description logic programs
logic programs
answer set semantics
answer sets
dl programs
logic programming
answer set programming
normal logic programs
stable models
propositional logic
fixpoint
stable model semantics
description logics
query optimization
nonmonotonic reasoning
reasoning tasks