Tutkimustuotos

2020

Allen’s Interval Algebra Makes the Difference

Janhunen, T. & Sioutis, M., 1 tammikuuta 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. (toim.). s. 89-98 10 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12057 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Boosting Answer Set Optimization with Weighted Comparator Networks

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

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

2019

An adaptive prefix-assignment technique for symmetry reduction

Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., heinäkuuta 2019, julkaisussa : JOURNAL OF SYMBOLIC COMPUTATION. 99, s. 21-49

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

Open access
Tiedosto
33 Lataukset (Pure)

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

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

4 Sitaatiot (Scopus)

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.). s. 181-194 14 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11481 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (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, s. 2694-2702 9 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence; Vuosikerta 33).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
2 Sitaatiot (Scopus)

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: LehtiartikkeliConference articleScientificvertaisarvioitu

Open access
1 Sitaatiot (Scopus)

Forgetting in Modular Answer Set Programming

Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 17 heinäkuuta 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence. AAAI PRESS, s. 2843-2850 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

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 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; Vuosikerta 147).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
6 Lataukset (Pure)

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

Open access
Tiedosto
4 Sitaatiot (Scopus)
4 Lataukset (Pure)

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.). s. 284-297 14 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11481 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
1 Sitaatiot (Scopus)
11 Lataukset (Pure)

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.). s. 308-315 8 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11793 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
1 Sitaatiot (Scopus)

Towards Parallelisation of Qualitative Spatial and Temporal Reasoning

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference 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.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionProfessional

Open access
2018

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

Open access
Tiedosto
86 Lataukset (Pure)

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

Open access
Tiedosto
116 Lataukset (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. (toim.). s. 1737-1745 9 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

7 Sitaatiot (Scopus)

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

Open access
Tiedosto
3 Sitaatiot (Scopus)
113 Lataukset (Pure)

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

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.). AAAI PRESS, s. 190-198 9 Sivumäärä (Proceedings of the International Conference on Automated Planning and Scheduling).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (Scopus)

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

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaAbstractScientificvertaisarvioitu

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. s. 132-148 17 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10997 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

4 Sitaatiot (Scopus)

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

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

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. s. 101-118 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10491 LNCS).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (Scopus)

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/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
103 Lataukset (Pure)

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

17 Sitaatiot (Scopus)

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; Vuosikerta 10377)

Tutkimustuotos: KirjaAnthologyScientificvertaisarvioitu

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. s. 222-228 7 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10377 ).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

2 Sitaatiot (Scopus)

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

Open access
Tiedosto
4 Sitaatiot (Scopus)
106 Lataukset (Pure)

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/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
24 Lataukset (Pure)

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/konferenssijulkaisussaConference contributionProfessional

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/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

2016

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 ; Vuosikerta 52).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
2 Sitaatiot (Scopus)
19 Lataukset (Pure)

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

11 Sitaatiot (Scopus)

Breakid: Static symmetry breaking for ASP (system description)

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitysScientificvertaisarvioitu

BreakID: Static Symmetry Breaking for ASP

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitysScientific

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.). AAAI PRESS, s. 74-83

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

5 Sitaatiot (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 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Implementing a Relevance Tracker Module

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitysScientific

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); Vuosikerta 9710).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

23 Sitaatiot (Scopus)

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

3 Sitaatiot (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, s. 596-602 7 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

2 Sitaatiot (Scopus)

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/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
2 Sitaatiot (Scopus)
41 Lataukset (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, s. 978-984

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

SAT-To-SAT in QBFEval 2016

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
3 Sitaatiot (Scopus)
28 Lataukset (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, s. 307-313

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

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

Open access
Tiedosto
8 Sitaatiot (Scopus)
30 Lataukset (Pure)

The Answer Set Programming Paradigm

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

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

Open access
Tiedosto
18 Sitaatiot (Scopus)
184 Lataukset (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, 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); Vuosikerta 10021 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

2 Sitaatiot (Scopus)