Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Babovich, Yuliya"'
We generalize a theorem by Francois Fages that describes the relationship between the completion semantics and the answer set semantics for logic programs with negation as failure. The study of this relationship is important in connection with the em
Externí odkaz:
http://arxiv.org/abs/cs/0003042
