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

2 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, Proceedings of the 33rd AAAI Conference on Artificial Intelligence. 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

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

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
3 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
3 Sitaatiot (Scopus)
3 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)
4 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
73 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
103 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

3 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
2 Sitaatiot (Scopus)
105 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

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

2 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., Schellhorn, S., Wanko, P. & Schaub, T., 2017, julkaisussa : Theory and Practice of Logic Programming. 17, 5-6, s. 872-888

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

11 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
89 Lataukset (Pure)

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

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
2 Sitaatiot (Scopus)
93 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
21 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)
14 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

9 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

20 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

2 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)
36 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)
26 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
7 Sitaatiot (Scopus)
23 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
16 Sitaatiot (Scopus)
168 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

1 Sitaatiot (Scopus)