Research Output

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.). 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 contributionScientificpeer-review

Boosting Answer Set Optimization with Weighted Comparator Networks

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

Research output: Contribution to journalArticleScientificpeer-review

2019

An adaptive prefix-assignment technique for symmetry reduction

Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., Jul 2019, In : JOURNAL OF SYMBOLIC COMPUTATION. 99, p. 21-49

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
29 Downloads (Pure)

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

3 Citations (Scopus)

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

1 Citation (Scopus)

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Bomanson, J., Janhunen, T. & Weinzierl, A., 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence. 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 contributionScientificpeer-review

Open Access

Exploiting partial knowledge in declarative domain-specific heuristics for ASP

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

Research output: Contribution to journalConference articleScientificpeer-review

Open Access

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 contributionScientificpeer-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 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

Open Access
File
6 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
3 Citations (Scopus)
4 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.). 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 contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
8 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.). 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

Open Access
1 Citation (Scopus)

Towards Parallelisation of Qualitative Spatial and Temporal Reasoning

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

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

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.

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

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
82 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
111 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.). p. 1737-1745 9 p.

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

4 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
2 Citations (Scopus)
111 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 contributionScientificpeer-review

1 Citation (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. 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

2 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

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

1 Citation (Scopus)

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

16 Citations (Scopus)

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

Open Access
File
96 Downloads (Pure)

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

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

1 Citation (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
3 Citations (Scopus)
105 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, p. 3644-3650 7 p. (Proceedings of the AAAI Conference on Artificial Intelligence).

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

Open Access
File
23 Downloads (Pure)

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

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

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

Open Access
File
2 Citations (Scopus)
17 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

11 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 contributionScientificpeer-review

5 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 contributionScientificpeer-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 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

20 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

3 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 contributionScientificpeer-review

2 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 fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. 15 p. 5

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

Open Access
File
2 Citations (Scopus)
40 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 contributionScientificpeer-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 contributionScientificpeer-review

Open Access
File
3 Citations (Scopus)
28 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, p. 307-313

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

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

Open Access
File
8 Citations (Scopus)
29 Downloads (Pure)

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

Open Access
File
18 Citations (Scopus)
176 Downloads (Pure)

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

2 Citations (Scopus)