We stand with Ukraine  

Tommi Syrjänen

According to our database1, Tommi Syrjänen authored at least 8 papers between 2000 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
On the Practical Side of Answer Set Programming.
[BibTeX]
[DOI]
Tommi Syrjänen
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2004
Logic Programs with Ordered Disjunction.
[BibTeX]
[DOI]
Gerhard Brewka
,
Ilkka Niemelä
,
Tommi Syrjänen
Comput. Intell., 2004

Cardinality Constraint Programs.
[BibTeX]
[DOI]
Tommi Syrjänen
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2002
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.
[BibTeX]
[DOI]
Gerhard Brewka
,
Ilkka Niemelä
,
Tommi Syrjänen
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
The Smodels System.
[BibTeX]
[DOI]
Tommi Syrjänen
,
Ilkka Niemelä
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Omega-Restricted Logic Programs.
[BibTeX]
[DOI]
Tommi Syrjänen
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000
Smodels: A System for Answer Set Programming
[BibTeX]
[DOI]
Ilkka Niemelä
,
Patrik Simons
,
Tommi Syrjänen
CoRR, 2000

Including Diagnostic Information in Configuration Models.
[BibTeX]
[DOI]
Tommi Syrjänen
Proceedings of the Computational Logic, 2000


  Loading...