I. Niemelä, P. Simons, и T. Soininen. Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, стр. 317--331. London, UK, Springer-Verlag, (1999)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 paper:niemela:1999
%A Niemelä, Ilkka
%A Simons, Patrik
%A Soininen, Timo
%B Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
%C London, UK
%D 1999
%I Springer-Verlag
%K constraints weight
%P 317--331
%T Stable Model Semantics of Weight Constraint Rules
@inproceedings{paper:niemela:1999,
added-at = {2011-07-13T13:43:47.000+0200},
address = {London, UK},
author = {Niemel\"{a}, Ilkka and Simons, Patrik and Soininen, Timo},
biburl = {https://www.bibsonomy.org/bibtex/220446dc2c89cc0faac192ff8624484a2/mschuber},
booktitle = {Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning},
interhash = {b3d0ecb7505400a1787a93a9c38ed097},
intrahash = {20446dc2c89cc0faac192ff8624484a2},
keywords = {constraints weight},
pages = {317--331},
publisher = {Springer-Verlag},
timestamp = {2011-07-13T13:43:47.000+0200},
title = {Stable Model Semantics of Weight Constraint Rules},
year = 1999
}
