default search action
BibTeX records: Tommi Syrjänen
@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} }
@phdthesis{DBLP:phd/basesearch/Syrjanen09, author = {Tommi Syrj{\"{a}}nen}, title = {Logic programming and cardinality constraints: theory and practice}, school = {Aalto University, Espoo, Finland}, year = {2009}, url = {https://aaltodoc.aalto.fi/handle/123456789/4595}, timestamp = {Wed, 28 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/basesearch/Syrjanen09.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, 07 May 2024 20:11:09 +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} }
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.