Autor der Publikation

Logic-based artificial intelligence

, und . Kapitel Extending the Smodels system with cardinality and weight constraints, Kluwer Academic Publishers, Norwell, MA, USA, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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