Tommi Syrjänen

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

Publications

Tommi Syrjänen
On the Practical Side of Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Tommi Syrjänen
Cardinality Constraint Programs. JELIA (2004)
Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen
Logic Programs with Ordered Disjunction. Comput. Intell. 20 (2) (2004)
Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA (2002)
Tommi Syrjänen
Omega-Restricted Logic Programs. LPNMR (2001)
Tommi Syrjänen, Ilkka Niemelä
The Smodels System. LPNMR (2001)
Tommi Syrjänen
Including Diagnostic Information in Configuration Models. Computational Logic (2000)
Ilkka Niemelä, Patrik Simons, Tommi Syrjänen
Smodels: A System for Answer Set Programming CoRR (2000)