Professorship Niemelä I.

Yksikkö: Tutkimusryhmä

Tutkimustuotokset

  1. 2019
  2. Julkaistu

    On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning

    Sioutis, M., Paparrizou, A. & Janhunen, T., 1 lokakuuta 2019, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Gamper, J., Pinchinat, S. & Sciavicco, G. (toim.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-17 (Leibniz International Proceedings in Informatics, LIPIcs; painos 147).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  3. Julkaistu

    Exploiting partial knowledge in declarative domain-specific heuristics for ASP

    Taupe, R., Schekotihin, K., Schüller, P., Weinzierl, A. & Friedrich, G., 19 syyskuuta 2019, julkaisussa : Electronic Proceedings in Theoretical Computer Science, EPTCS. 306, s. 22-35 14 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  4. Sähköinen julkaisu (e-pub) ennen painettua julkistusta

    An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., 8 maaliskuuta 2019, julkaisussa : JOURNAL OF SYMBOLIC COMPUTATION.

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. Julkaistu

    Collective singleton-based consistency for qualitative constraint networks: Theory and practice

    Sioutis, M., Paparrizou, A. & Condotta, J-F., 1 tammikuuta 2019, julkaisussa : Theoretical Computer Science.

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  6. Julkaistu

    Diagnosing Data Pipeline Failures Using Action Languages

    Bomanson, J. & Brik, A., 1 tammikuuta 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Lierler, Y., Woltran, S. & Balduccini, M. (toim.). Springer Verlag, s. 181-194 14 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 11481 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  7. Julkaistu

    The Return of xorro

    Everardo, F., Janhunen, T., Kaminski, R. & Schaub, T., 1 tammikuuta 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Lierler, Y. & Woltran, S. (toim.). Springer Verlag, s. 284-297 14 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 11481 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  8. Julkaistu

    Towards Leveraging Backdoors in Qualitative Constraint Networks

    Sioutis, M. & Janhunen, T., 1 tammikuuta 2019, KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Proceedings. Benzmüller, C. & Stuckenschmidt, H. (toim.). Springer Verlag, s. 308-315 8 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 11793 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  9. Julkaistu

    Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation

    Alirezaie, M., Längkvist, M., Sioutis, M. & Loutfi, A., 2019, julkaisussa : Semantic Web. 10, 5, s. 863-880 18 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  10. Julkaistu

    Towards Parallelisation of Qualitative Spatial and Temporal Reasoning

    Sioutis, M. & Wolter, D., 2019.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitysvertaisarvioitu

  11. 2018
  12. Julkaistu

    Variable Elimination for DLP-Functions

    Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 30 lokakuuta 2018, s. 643-644. 2 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  13. Julkaistu

    Lazy Grounding for Dynamic Configuration

    Eiter, T., Friedrich, G., Taupe, R. & Weinzierl, A., elokuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 197–198 2 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  14. Julkaistu

    Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

    Eiter, T., Kaminski, T., Redl, C. & Weinzierl, A., 30 heinäkuuta 2018, julkaisussa : Journal of Artificial Intelligence Research. 62, s. 665-727 63 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  15. Julkaistu

    Planning for partial observability by SAT and graph constraints

    Rintanen, J. & Pandey, B., 24 kesäkuuta 2018, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). de Weerdt, M., Koenig, S., Röger, G. & Spaan, M. (toim.). s. 190-198 9 Sivumäärä (Proceedings of the International Conference on Automated Planning and Scheduling).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  16. Julkaistu

    Answer Set Programming: Related with Other Solving Paradigms

    Janhunen, T., 9 kesäkuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 125-131 7 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  17. Julkaistu

    Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Janhunen, T., 14 toukokuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 183-184 2 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  18. Julkaistu

    Techniques for efficient lazy-grounding ASP solving

    Leutgeb, L. & Weinzierl, A., 1 tammikuuta 2018, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, 2017, Revised Selected Papers. Springer Verlag, s. 132-148 17 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10997 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  19. Julkaistu

    Exploiting Justifications for Lazy Grounding of Answer Set Programs

    Bogaerts, B. & Weinzierl, A., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (toim.). s. 1737-1745 9 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  20. Julkaistu

    Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)

    Eiter, T. & Weinzierl, A., 2018, s. 5593-5597. 5 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  21. Julkaistu

    Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming (Extended Abstract)

    Bomanson, J., Janhunen, T. & Weinzierl, A., 2018, s. 625-626. 2 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  22. 2017
  23. Julkaistu

    Preference-based inconsistency management in multi-context systems

    Eiter, T. & Weinzierl, A., 1 lokakuuta 2017, julkaisussa : Journal of Artificial Intelligence Research. 60, s. 347-424 78 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  24. Julkaistu

    Techniques for Efficient Lazy-Grounding ASP Solving

    Leutgeb, L. & Weinzierl, A., 14 syyskuuta 2017, Declare 2017 - Conference on Declarative Programming. Seipel, D., Hanus, M. & Abreu, S. (toim.). s. 123-138 16 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa

  25. Julkaistu

    Clingo goes linear constraints over reals and integers

    Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S. & Wanko, P., 1 tammikuuta 2017, Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms . RWTH Aachen, Vuosikerta 1868. (CEUR Workshop Proceedings).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  26. Julkaistu

    An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. Springer Verlag, s. 101-118 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10491 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  27. Julkaistu

    Clingo goes linear constraints over reals and integers

    Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P. & Schaub, T., 2017, julkaisussa : Theory and Practice of Logic Programming. 17, 5-6, s. 872-888

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  28. Julkaistu

    Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

    Balduccini, M. & Janhunen, T., 2017, 359 Sivumäärä (Lecture Notes in Artificial Intelligence; painos 10377)

    Tutkimustuotos: Kirja

  29. Julkaistu

    Lp2normal — A normalization tool for extended logic programs

    Bomanson, J., 2017, Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Springer-Verlag, s. 222-228 7 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10377 ).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  30. Julkaistu

    Schematic Invariants by Reduction to Ground Invariants

    Rintanen, J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI, s. 3644-3650 7 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  31. Julkaistu

    Temporal Planning with Clock-Based SMT Encodings

    Rintanen, J., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. AAAI, s. 743-749 (Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  32. 2016
  33. Julkaistu

    A compositional typed higher-order logic with definitions

    Dasseville, I., Van Der Hallen, M., Bogaerts, B., Janssens, G. & Denecker, M., 1 marraskuuta 2016, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 Sivumäärä 14. (Open Access Series in Informatics ; painos 52).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  34. Julkaistu

    Rewriting optimization statements in answer-set programs

    Bomanson, J., Gebser, M. & Janhunen, T., 1 marraskuuta 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. Carro, M., King, A., Saeedloei, N. & De Vos, M. (toim.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vuosikerta 52. 15 Sivumäärä 5

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  35. Julkaistu

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 syyskuuta 2016, julkaisussa : Theory and Practice of Logic Programming. 16, 5-6, s. 570-586 17 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  36. Julkaistu

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, julkaisussa : Fundamenta Informaticae. 147, 1, s. 63-91 29 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  37. Julkaistu

    Breakid: Static symmetry breaking for ASP (system description)

    Devriendt, J. & Bogaerts, B., 2016, s. 25-39. 15 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitysvertaisarvioitu

  38. Julkaistu

    BreakID: Static Symmetry Breaking for ASP

    Devriendt, J. & Bogaerts, B., 2016.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitys

  39. Julkaistu

    Declarative Solver Development: Case Studies

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.. Baral, C., Delgrande, J. & Wolter, F. (toim.). s. 74-83

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  40. Julkaistu

    Distributed Autoepistemic Logic and its Application to Access Control

    Van Hertum, P., Cramer, M., Bogaerts, B. & Denecker, M., 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016. 7 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  41. Julkaistu

    Implementing a Relevance Tracker Module

    Jansen, J., Bogaerts, B., Devriendt, J., Janssens, G. & Denecker, M., 2016.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitys

  42. Julkaistu

    Improved static symmetry breaking for SAT

    Devriendt, J., Bogaerts, B., Bruynooghe, M. & Denecker, M., 2016, Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. Springer-Verlag, Vuosikerta 9710. s. 104-122 19 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9710).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  43. Julkaistu

    On Local Domain Symmetry for Model Expansion

    Devriendt, J., Bogaerts, B., Bruynooghe, M. & Denecker, M., 2016, julkaisussa : Theory and Practice of Logic Programming. 16, 5-6, s. 636-652

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  44. Julkaistu

    Relevance for SAT(ID)

    Jansen, J., Bogaerts, B., Devriendt, J., Janssens, G. & Denecker, M., 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016. s. 596-602 7 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  45. Julkaistu

    SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

    Janhunen, T., Tasharrofi, S. & Ternovska, E., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). s. 978-984

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  46. Julkaistu

    SAT-To-SAT in QBFEval 2016

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR-WS, s. 63-70 8 Sivumäärä (CEUR Workshop Proceedings).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  47. Julkaistu

    Solving QBF Instances With Nested SAT Solvers

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the AAAI-16 Workshop on Beyond NP. AAAI, s. 307-313

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  48. Julkaistu

    The Answer Set Programming Paradigm

    Janhunen, T. & Niemelä, I., 2016, julkaisussa : AI Magazine. 37, 3, s. 13-24 12 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  49. Julkaistu

    Writing declarative specifications for clauses

    Gebser, M., Janhunen, T., Kaminski, R., Schaub, T. & Tasharrofi, S., 2016, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings. Springer-Verlag, Vuosikerta 10021 LNAI. s. 256-271 16 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10021 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  50. 2015
  51. Julkaistu

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2015, julkaisussa : Journal of Logic and Computation. 30 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 4319551