( en | de | ru )

 

Disambiguation of "Syrjänen, Tommi"

Author of the publication

copydeleteadd this publication to your clipboard
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.

, , and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 444-455. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tommi Kramer

Tommi Mendel

Tommi Mononen

Tommi Tykkälä

Tommi Rimpiläinen

 

Other publications of authors with the same name

Cardinality Constraint Programs.. JELIA, volume 3229 of Lecture Notes in Computer Science, page 187-199. Springer, (2004)On the Practical Side of Answer Set Programming.. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 473-489. Springer, (2011)Including Diagnostic Information in Configuration Models.. Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 837-851. Springer, (2000)The Smodels System., and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 434-438. Springer, (2001)Smodels: A System for Answer Set Programming, , and . CoRR, (2000)Logic programming and cardinality constraints: theory and practice.. Aalto University, Espoo, Finland, (2009)base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/4595).Omega-Restricted Logic Programs.. LPNMR, volume 2173 of Lecture Notes in Computer Science, page 267-279. Springer, (2001)