T. Syrjanen and I. Niemela. The SMODELS System. In Proc. of LPNMR, volume 2173 of LNCS, pages 434--438. Springer, 2001.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Guarded Open Answer Set Programming - Stijn Heymans Davy (2005) (Correct)
No context found.
T. Syrjanen and I. Niemela. The SMODELS System. In Proc. of LPNMR, volume 2173 of LNCS, pages 434--438. Springer, 2001.
Weighted Answer Sets and Applications in Intelligence.. - Van Nieuwenborgh.. (2004) (Correct)
No context found.
Syrjanen T. and Niemela I. The smodels system. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 2173 of Lecture Notes in Computer Science, pages 434--438, Vienna, Austria, September 2001. Springer.
An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
No context found.
T. Syrjanen and I. Niemela. The smodels system. In Procs. of the Intl. Conf. on Logic Programming and Nonmonotonic Reasoning, volume 2173 of LNCS, pages 434--438. SpringerVerlag, 2001.
Extended Semantics and Optimization Algorithms - For Cp-Networks Ronen (Correct)
No context found.
T. Syrjanen and I. Niemela. The Smodels system. In Proceedings of LPNMR-01, 2001. 42
The Near Resolvable 2-(13, 4, 3) Designs and Thirteen-Player.. - Haanpää, Kaski (2004) (Correct)
No context found.
T. Syrjanen and I. Niemela, The Smodels system, In (T. Eiter, W. Faber, M. Truszczynski, eds.), Logic Programming and Nonmonotonic Reasoning: Proc. 6th International Conference, LPNMR
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC