| |
| 2004 | ||
|---|---|---|
| 6 | EE | Tommi Syrjänen: Cardinality Constraint Programs. JELIA 2004: 187-199 |
| 2002 | ||
| 5 | EE | Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002: 444-455 |
| 2001 | ||
| 4 | EE | Tommi Syrjänen: Omega-Restricted Logic Programs. LPNMR 2001: 267-279 |
| 3 | EE | Tommi Syrjänen, Ilkka Niemelä: The Smodels System. LPNMR 2001: 434-438 |
| 2000 | ||
| 2 | EE | Tommi Syrjänen: Including Diagnostic Information in Configuration Models. Computational Logic 2000: 837-851 |
| 1 | EE | Ilkka Niemelä, Patrik Simons, Tommi Syrjänen: Smodels: A System for Answer Set Programming CoRR cs.AI/0003033: (2000) |
| 1 | Gerhard Brewka | [5] |
| 2 | Ilkka Niemelä | [1] [3] [5] |
| 3 | Patrik Simons | [1] |