Research Output

Filter
Conference contribution
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

2019

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

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)

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

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)

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)

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

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)

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)

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

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)

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

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)