BibTeX records: Tommi Syrjänen

download as .bib file

@inproceedings{DBLP:conf/birthday/Syrjanen11,
  author       = {Tommi Syrj{\"{a}}nen},
  editor       = {Marcello Balduccini and
                  Tran Cao Son},
  title        = {On the Practical Side of Answer Set Programming},
  booktitle    = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
                  - Essays Dedicated to Michael Gelfond on the Occasion of His 65th
                  Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {6565},
  pages        = {473--489},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20832-4\_29},
  doi          = {10.1007/978-3-642-20832-4\_29},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Syrjanen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ci/BrewkaNS04,
  author       = {Gerhard Brewka and
                  Ilkka Niemel{\"{a}} and
                  Tommi Syrj{\"{a}}nen},
  title        = {Logic Programs with Ordered Disjunction},
  journal      = {Comput. Intell.},
  volume       = {20},
  number       = {2},
  pages        = {335--357},
  year         = {2004},
  url          = {https://doi.org/10.1111/j.0824-7935.2004.00241.x},
  doi          = {10.1111/J.0824-7935.2004.00241.X},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ci/BrewkaNS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Syrjanen04,
  author       = {Tommi Syrj{\"{a}}nen},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Jo{\~{a}}o Alexandre Leite},
  title        = {Cardinality Constraint Programs},
  booktitle    = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
                  2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3229},
  pages        = {187--199},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30227-8\_18},
  doi          = {10.1007/978-3-540-30227-8\_18},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Syrjanen04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/BrewkaNS02,
  author       = {Gerhard Brewka and
                  Ilkka Niemel{\"{a}} and
                  Tommi Syrj{\"{a}}nen},
  editor       = {Sergio Flesca and
                  Sergio Greco and
                  Nicola Leone and
                  Giovambattista Ianni},
  title        = {Implementing Ordered Disjunction Using Answer Set Solvers for Normal
                  Programs},
  booktitle    = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
                  Cosenza, Italy, September, 23-26, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2424},
  pages        = {444--455},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45757-7\_37},
  doi          = {10.1007/3-540-45757-7\_37},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/BrewkaNS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Syrjanen01,
  author       = {Tommi Syrj{\"{a}}nen},
  editor       = {Thomas Eiter and
                  Wolfgang Faber and
                  Miroslaw Truszczynski},
  title        = {Omega-Restricted Logic Programs},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
                  {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2173},
  pages        = {267--279},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45402-0\_20},
  doi          = {10.1007/3-540-45402-0\_20},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Syrjanen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/SyrjanenN01,
  author       = {Tommi Syrj{\"{a}}nen and
                  Ilkka Niemel{\"{a}}},
  editor       = {Thomas Eiter and
                  Wolfgang Faber and
                  Miroslaw Truszczynski},
  title        = {The Smodels System},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
                  {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2173},
  pages        = {434--438},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45402-0\_38},
  doi          = {10.1007/3-540-45402-0\_38},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/SyrjanenN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cl/Syrjanen00,
  author       = {Tommi Syrj{\"{a}}nen},
  editor       = {John W. Lloyd and
                  Ver{\'{o}}nica Dahl and
                  Ulrich Furbach and
                  Manfred Kerber and
                  Kung{-}Kiu Lau and
                  Catuscia Palamidessi and
                  Lu{\'{\i}}s Moniz Pereira and
                  Yehoshua Sagiv and
                  Peter J. Stuckey},
  title        = {Including Diagnostic Information in Configuration Models},
  booktitle    = {Computational Logic - {CL} 2000, First International Conference, London,
                  UK, 24-28 July, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1861},
  pages        = {837--851},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44957-4\_56},
  doi          = {10.1007/3-540-44957-4\_56},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/cl/Syrjanen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0003033,
  author       = {Ilkka Niemel{\"{a}} and
                  Patrik Simons and
                  Tommi Syrj{\"{a}}nen},
  title        = {Smodels: {A} System for Answer Set Programming},
  journal      = {CoRR},
  volume       = {cs.AI/0003033},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0003033},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0003033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.