Professorship Niemelä I.

Organisational unit: Research group

Research outputs

  1. 2019
  2. Published

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. E-pub ahead of print

    An adaptive prefix-assignment technique for symmetry reduction

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

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Diagnosing Data Pipeline Failures Using Action Languages

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. Published

    Towards Leveraging Backdoors in Qualitative Constraint Networks

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. Published

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

    Alirezaie, M., Längkvist, M., Sioutis, M. & Loutfi, A., 2019, In : Semantic Web. 10, 5, p. 863-880 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. 2018
  9. Published

    Variable Elimination for DLP-Functions

    Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 30 Oct 2018, p. 643-644. 2 p.

    Research output: Contribution to conferenceAbstractScientificpeer-review

  10. Published

    Lazy Grounding for Dynamic Configuration

    Eiter, T., Friedrich, G., Taupe, R. & Weinzierl, A., Aug 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 197–198 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. Published

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

    Eiter, T., Kaminski, T., Redl, C. & Weinzierl, A., 30 Jul 2018, In : Journal of Artificial Intelligence Research. 62, p. 665-727 63 p.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Planning for partial observability by SAT and graph constraints

    Rintanen, J. & Pandey, B., 24 Jun 2018, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). de Weerdt, M., Koenig, S., Röger, G. & Spaan, M. (eds.). p. 190-198 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  13. Published

    Answer Set Programming: Related with Other Solving Paradigms

    Janhunen, T., 9 Jun 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 125-131 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Janhunen, T., 14 May 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 183-184 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. Published

    Techniques for efficient lazy-grounding ASP solving

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  16. Published

    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. (ed.). p. 1737-1745 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  17. Published

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

    Eiter, T. & Weinzierl, A., 2018, p. 5593-5597. 5 p.

    Research output: Contribution to conferenceAbstractScientificpeer-review

  18. Published

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

    Bomanson, J., Janhunen, T. & Weinzierl, A., 2018, p. 625-626. 2 p.

    Research output: Contribution to conferenceAbstractScientificpeer-review

  19. 2017
  20. Published

    Preference-based inconsistency management in multi-context systems

    Eiter, T. & Weinzierl, A., 1 Oct 2017, In : Journal of Artificial Intelligence Research. 60, p. 347-424 78 p.

    Research output: Contribution to journalArticleScientificpeer-review

  21. Published

    Techniques for Efficient Lazy-Grounding ASP Solving

    Leutgeb, L. & Weinzierl, A., 14 Sep 2017, Declare 2017 - Conference on Declarative Programming. Seipel, D., Hanus, M. & Abreu, S. (eds.). p. 123-138 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

  22. Published

    Clingo goes linear constraints over reals and integers

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Published

    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, p. 101-118 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10491 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  24. Published

    Clingo goes linear constraints over reals and integers

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

    Research output: Contribution to journalArticleScientificpeer-review

  25. Published

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

    Balduccini, M. & Janhunen, T., 2017, 359 p. (Lecture Notes in Artificial Intelligence; vol. 10377)

    Research output: Book/ReportAnthologyScientificpeer-review

  26. Published

    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, p. 222-228 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10377 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  27. Published

    Schematic Invariants by Reduction to Ground Invariants

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  28. Published

    Temporal Planning with Clock-Based SMT Encodings

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  29. 2016
  30. Published

    A compositional typed higher-order logic with definitions

    Dasseville, I., Van Der Hallen, M., Bogaerts, B., Janssens, G. & Denecker, M., 1 Nov 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 p. 14. (Open Access Series in Informatics ; vol. 52).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  31. Published

    Rewriting optimization statements in answer-set programs

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  32. Published

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 Sep 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 570-586 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  33. Published

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, In : Fundamenta Informaticae. 147, 1, p. 63-91 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. Published

    BreakID: Static Symmetry Breaking for ASP

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

    Research output: Contribution to conferencePaperScientific

  35. Published

    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. (eds.). p. 74-83

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Published

    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 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  37. Published

    Implementing a Relevance Tracker Module

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

    Research output: Contribution to conferencePaperScientific

  38. Published

    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, Vol. 9710. p. 104-122 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9710).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  39. Published

    On Local Domain Symmetry for Model Expansion

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

    Research output: Contribution to journalArticleScientificpeer-review

  40. Published

    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. p. 596-602 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  41. Published

    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). p. 978-984

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. Published

    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, p. 63-70 8 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  43. Published

    Solving QBF Instances With Nested SAT Solvers

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  44. Published

    The Answer Set Programming Paradigm

    Janhunen, T. & Niemelä, I., 2016, In : AI Magazine. 37, 3, p. 13-24 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  45. Published

    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, Vol. 10021 LNAI. p. 256-271 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10021 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  46. 2015
  47. Published

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2015, In : Journal of Logic and Computation. 30 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 4319551