Search results

  • 2023

    Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

    Janhunen, T., 12 Sept 2023, Proceedings 39th International Conference on Logic Programming: EPTCS 385. Open Publishing Association, p. 101-115 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 385).

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

    Open Access
  • 2021

    Solution Enumeration by Optimality in Answer Set Programming

    Pajunen, J. & Janhunen, T., 10 Nov 2021, In: Theory and Practice of Logic Programming. 21, 6, p. 750-767

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    3 Citations (Scopus)
    56 Downloads (Pure)
  • 2020

    Allen’s Interval Algebra Makes the Difference

    Janhunen, T. & Sioutis, M., 1 Jan 2020, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers. Hofstedt, P., Abreu, S., John, U., Kuchen, H. & Seipel, D. (eds.). Springer, p. 89-98 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12057 LNAI).

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

    Open Access
    File
    1 Citation (Scopus)
    56 Downloads (Pure)
  • Applying Visible Strong Equivalence in Answer-Set Program Transformations

    Bomanson, J., Janhunen, T. & Niemelä, I., Oct 2020, In: ACM Transactions on Computational Logic. 21, 4, 41 p., 33.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    5 Citations (Scopus)
    98 Downloads (Pure)
  • Boosting Answer Set Optimization with Weighted Comparator Networks

    Bomanson, J. & Janhunen, T., Jul 2020, In: Theory and Practice of Logic Programming. 20, 4, p. 512-551 40 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    1 Citation (Scopus)
  • Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 5 Jun 2020, In: Journal of Logic and Computation. 30, 4, p. 923-952 30 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    3 Citations (Scopus)
    239 Downloads (Pure)
  • Normalization and Rewriting for Answer Set Programming and Optimization

    Bomanson, J., 2020, Aalto University. 222 p.

    Research output: ThesisDoctoral ThesisCollection of Articles

    Open Access
  • 2019

    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. 797, p. 17-41

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    8 Citations (Scopus)
    59 Downloads (Pure)
  • 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, 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 article in proceedingsScientificpeer-review

    2 Citations (Scopus)
  • Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

    Bomanson, J., Janhunen, T. & Weinzierl, A., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, p. 2694-2702 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33).

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

    Open Access
    12 Citations (Scopus)
  • Exploiting partial knowledge in declarative domain-specific heuristics for ASP

    Taupe, R., Schekotihin, K., Schüller, P., Weinzierl, A. & Friedrich, G., 19 Sept 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 306, p. 22-35 14 p.

    Research output: Contribution to journalConference articleScientificpeer-review

    Open Access
    4 Citations (Scopus)
  • Forgetting in Modular Answer Set Programming

    Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 17 Jul 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence. AAAI Press, p. 2843-2850 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence).

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

    Open Access
  • 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 für Informatik, p. 1-17 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 147).

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

    Open Access
    File
    24 Downloads (Pure)
  • 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

    Open Access
    File
    27 Citations (Scopus)
    51 Downloads (Pure)
  • The Return of xorro

    Everardo, F., Janhunen, T., Kaminski, R. & Schaub, T., 1 Jan 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Lierler, Y. & Woltran, S. (eds.). Springer, p. 284-297 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 article in proceedingsScientificpeer-review

    Open Access
    File
    6 Citations (Scopus)
    82 Downloads (Pure)
  • 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, 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 article in proceedingsScientificpeer-review

    Open Access
    4 Citations (Scopus)
  • Towards Parallelisation of Qualitative Spatial and Temporal Reasoning

    Sioutis, M. & Wolter, D., 2019, Proceedings of QR2019: 32nd International Workshop on Qualitative Reasoning. Qualitative Reasoning Group, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

    Open Access
  • Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives

    Glorian, G., Lagniez, J-M., Montmirail, V. & Sioutis, M., 2019, JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes. Centre pour la Communication Scientifique Directe

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

    Open Access
  • 2018

    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

    Open Access
    File
    263 Downloads (Pure)
  • 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

    Open Access
    File
    227 Downloads (Pure)
  • 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.). IJCAI, p. 1737-1745 9 p.

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

    13 Citations (Scopus)
  • 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

    Open Access
    File
    6 Citations (Scopus)
    254 Downloads (Pure)
  • 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

  • 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.). AAAI Press, p. 190-198 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling).

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

    9 Citations (Scopus)
  • 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

  • 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, 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 article in proceedingsScientificpeer-review

    7 Citations (Scopus)
  • 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

  • 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

  • 2017

    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 University, Vol. 1868. (CEUR Workshop Proceedings).

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

    Open Access
    File
    223 Downloads (Pure)
  • 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

    42 Citations (Scopus)
  • Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

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

    Research output: Book/ReportAnthologyScientificpeer-review

  • 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, 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 article in proceedingsScientificpeer-review

    12 Citations (Scopus)
  • 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

    Open Access
    File
    5 Citations (Scopus)
    130 Downloads (Pure)
  • Schematic Invariants by Reduction to Ground Invariants

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

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

    Open Access
    File
    52 Downloads (Pure)
  • Techniques for Efficient Lazy-Grounding ASP Solving

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

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

  • Temporal Planning with Clock-Based SMT Encodings

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

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

  • 2016

    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 für Informatik, 13 p. 14. (Open Access Series in Informatics ; vol. 52).

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

    Open Access
    File
    3 Citations (Scopus)
    48 Downloads (Pure)
  • 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

    26 Citations (Scopus)
  • Breakid: Static symmetry breaking for ASP (system description)

    Devriendt, J. & Bogaerts, B., 2016, p. 25-39. 15 p.

    Research output: Contribution to conferencePaperScientificpeer-review

  • BreakID: Static Symmetry Breaking for ASP

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

    Research output: Contribution to conferencePaperScientific

  • 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.). AAAI Press, p. 74-83

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

    7 Citations (Scopus)
  • 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. AAAI Press, 7 p.

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

  • Implementing a Relevance Tracker Module

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

    Research output: Contribution to conferencePaperScientific

  • 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, 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 article in proceedingsScientificpeer-review

    43 Citations (Scopus)
  • 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

    11 Citations (Scopus)
  • 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. AAAI Press, p. 596-602 7 p.

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

    4 Citations (Scopus)
  • 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 für Informatik, Vol. 52. 15 p. 5

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

    Open Access
    File
    6 Citations (Scopus)
    74 Downloads (Pure)
  • 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). AAAI Press, p. 978-984

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

  • SAT-To-SAT in QBFEval 2016

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

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

    Open Access
    File
    4 Citations (Scopus)
    48 Downloads (Pure)
  • Solving QBF Instances With Nested SAT Solvers

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

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