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.

 

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

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)