( en | de | ru )

 

Disambiguierung von "Niemelä, Ilkka"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending the Smodels System with Cardinality and Weight Constraints

, und . Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht, (2000)

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.

Leena Niemelä

Stefanie Niemela

Ilkka Hanski

Ilkka Kronholm

Ilkka Haavisto

 

Weitere Publikationen von Autoren mit dem selben Namen

Smodels — an implementation of the stable model and well-founded semantics for normal logic programs, und . (1997)Extending the Smodels System with Cardinality and Weight Constraints, und . Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht, (2000)Prioritized Component Systems, , und . AAAI, Seite 596--601. AAAI Press / The MIT Press, (2005)Answer set optimization, , und . (2003)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)Logic-based artificial intelligence, und . Kapitel Extending the Smodels system with cardinality and weight constraints, Kluwer Academic Publishers, Norwell, MA, USA, (2001)Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25 (3): 241--273 (02.11.1999)Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs, , und . (2002)