Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 Ferraris05
%A Ferraris, Paolo
%A Lifschitz, Vladimir
%D 2005
%J We Will Show Them! Essays in Honour of Dov Gabbay
%K answer-set-programming, stable-model
%P 615--664
%T Mathematical foundations of answer set programming
@article{Ferraris05,
added-at = {2011-05-04T16:04:17.000+0200},
author = {Ferraris, Paolo and Lifschitz, Vladimir},
biburl = {https://www.bibsonomy.org/bibtex/20dc08989e7b3d1fcf52418cc819d5aa0/baisemain},
citeulike-article-id = {5220370},
interhash = {a673955c79ac5ac6bd72a2892b3f7dd2},
intrahash = {0dc08989e7b3d1fcf52418cc819d5aa0},
journal = {We Will Show Them! Essays in Honour of Dov Gabbay},
keywords = {answer-set-programming, stable-model},
pages = {615--664},
posted-at = {2009-07-21 19:51:09},
priority = {2},
timestamp = {2011-05-04T16:04:34.000+0200},
title = {{Mathematical foundations of answer set programming}},
year = 2005
}