( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logic-based artificial intelligence

, и . глава Extending the Smodels system with cardinality and weight constraints, Kluwer Academic Publishers, Norwell, MA, USA, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Patrik Roser

Patrik Schmuki

Patrik Grychtol

Patrik Kalmbach

Patrik Höller

 

Другие публикации лиц с тем же именем

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP., и . LPNMR, том 1265 из Lecture Notes in Computer Science, стр. 421-430. Springer, (1997)Smodels — an implementation of the stable model and well-founded semantics for normal logic programs, и . (1997)SMODELS Answer Set Solver. http://www.tcs.hut.fi/Software/smodels/, (2004)Unfolding Partiality and Disjunctions in Stable Model Semantics., , , и . KR, стр. 411-422. Morgan Kaufmann, (2000)Smodels: A System for Answer Set Programming, , и . CoRR, (2000)Stable Model Semantics of Weight Constraint Rules, , и . Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, стр. 317--331. London, UK, Springer-Verlag, (1999)Extending the Smodels System with Cardinality and Weight Constraints, и . Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht, (2000)Efficient Implementation of the Well-founded and Stable Model Semantics., и . JICSLP, стр. 289-303. MIT Press, (1996)Stable Model Semantics of Weight Constraint Rules., , и . LPNMR, том 1730 из Lecture Notes in Computer Science, стр. 317-331. Springer, (1999)Extending the Stable Model Semantics with More Expressive Rules.. LPNMR, том 1730 из Lecture Notes in Computer Science, стр. 305-316. Springer, (1999)