Hakutulokset

  • 2023

    Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

    Janhunen, T., 12 syysk. 2023, Proceedings 39th International Conference on Logic Programming: EPTCS 385. Open Publishing Association, s. 101-115 15 Sivumäärä (Electronic Proceedings in Theoretical Computer Science; Vuosikerta 385).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
  • 2021

    Solution Enumeration by Optimality in Answer Set Programming

    Pajunen, J. & Janhunen, T., 10 marrask. 2021, julkaisussa: Theory and Practice of Logic Programming. 21, 6, s. 750-767

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    3 Sitaatiot (Scopus)
    59 Lataukset (Pure)
  • 2020

    Allen’s Interval Algebra Makes the Difference

    Janhunen, T. & Sioutis, M., 1 tammik. 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 article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    58 Lataukset (Pure)
  • Applying Visible Strong Equivalence in Answer-Set Program Transformations

    Bomanson, J., Janhunen, T. & Niemelä, I., lokak. 2020, julkaisussa: ACM Transactions on Computational Logic. 21, 4, 41 Sivumäärä, 33.

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    5 Sitaatiot (Scopus)
    109 Lataukset (Pure)
  • Boosting Answer Set Optimization with Weighted Comparator Networks

    Bomanson, J. & Janhunen, T., heinäk. 2020, julkaisussa: Theory and Practice of Logic Programming. 20, 4, s. 512-551 40 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    1 Sitaatiot (Scopus)
  • Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 5 kesäk. 2020, julkaisussa: Journal of Logic and Computation. 30, 4, s. 923-952 30 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    3 Sitaatiot (Scopus)
    247 Lataukset (Pure)
  • Normalization and Rewriting for Answer Set Programming and Optimization

    Julkaisun otsikon käännös: Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitusBomanson, J., 2020, Aalto University. 222 Sivumäärä

    Tutkimustuotos: Doctoral 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 tammik. 2019, julkaisussa: Theoretical Computer Science. 797, s. 17-41

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    8 Sitaatiot (Scopus)
    61 Lataukset (Pure)
  • Diagnosing Data Pipeline Failures Using Action Languages

    Bomanson, J. & Brik, A., 1 tammik. 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Lierler, Y., Woltran, S. & Balduccini, M. (toim.). Springer, 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 article in proceedingsScientificvertaisarvioitu

    2 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 article in proceedingsScientificvertaisarvioitu

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

    Taupe, R., Schekotihin, K., Schüller, P., Weinzierl, A. & Friedrich, G., 19 syysk. 2019, julkaisussa: Electronic Proceedings in Theoretical Computer Science, EPTCS. 306, s. 22-35 14 Sivumäärä

    Tutkimustuotos: LehtiartikkeliConference articleScientificvertaisarvioitu

    Open access
    4 Sitaatiot (Scopus)
  • Forgetting in Modular Answer Set Programming

    Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 17 heinäk. 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 article in proceedingsScientificvertaisarvioitu

    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 lokak. 2019, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Gamper, J., Pinchinat, S. & Sciavicco, G. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-17 (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 147).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    26 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
    29 Sitaatiot (Scopus)
    57 Lataukset (Pure)
  • The Return of xorro

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

    Open access
    Tiedosto
    6 Sitaatiot (Scopus)
    90 Lataukset (Pure)
  • Towards Leveraging Backdoors in Qualitative Constraint Networks

    Sioutis, M. & Janhunen, T., 1 tammik. 2019, KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Proceedings. Benzmüller, C. & Stuckenschmidt, H. (toim.). Springer, 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 article in proceedingsScientificvertaisarvioitu

    Open access
    4 Sitaatiot (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 Sivumäärä

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsProfessional

    Open access
  • 2018

    Answer Set Programming: Related with Other Solving Paradigms

    Janhunen, T., 9 kesäk. 2018, julkaisussa: KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 125-131 7 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    267 Lataukset (Pure)
  • Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Janhunen, T., 14 toukok. 2018, julkaisussa: KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 183-184 2 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    232 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.). IJCAI, s. 1737-1745 9 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    13 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äk. 2018, julkaisussa: Journal of Artificial Intelligence Research. 62, s. 665-727 63 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    6 Sitaatiot (Scopus)
    254 Lataukset (Pure)
  • Lazy Grounding for Dynamic Configuration

    Eiter, T., Friedrich, G., Taupe, R. & Weinzierl, A., elok. 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äk. 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 article in proceedingsScientificvertaisarvioitu

    9 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 tammik. 2018, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, 2017, Revised Selected Papers. Springer, 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 article in proceedingsScientificvertaisarvioitu

    7 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 lokak. 2018, s. 643-644. 2 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaAbstractScientificvertaisarvioitu

  • 2017

    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

    45 Sitaatiot (Scopus)
  • Clingo goes linear constraints over reals and integers

    Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S. & Wanko, P., 1 tammik. 2017, Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms . RWTH Aachen University, Vuosikerta 1868. (CEUR Workshop Proceedings).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    232 Lataukset (Pure)
  • Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

    Balduccini, M. & Janhunen, T., 2017, Springer. 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. Springer, 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 article in proceedingsScientificvertaisarvioitu

    13 Sitaatiot (Scopus)
  • Preference-based inconsistency management in multi-context systems

    Eiter, T. & Weinzierl, A., 1 lokak. 2017, julkaisussa: Journal of Artificial Intelligence Research. 60, s. 347-424 78 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    5 Sitaatiot (Scopus)
    133 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 Press, s. 3644-3650 7 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    55 Lataukset (Pure)
  • Techniques for Efficient Lazy-Grounding ASP Solving

    Leutgeb, L. & Weinzierl, A., 14 syysk. 2017, Declare 2017 - Conference on Declarative Programming. Seipel, D., Hanus, M. & Abreu, S. (toim.). University of Würzburg, s. 123-138 16 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference 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, s. 743-749 (Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

  • 2016

    A compositional typed higher-order logic with definitions

    Dasseville, I., Van Der Hallen, M., Bogaerts, B., Janssens, G. & Denecker, M., 1 marrask. 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 Sivumäärä 14. (Open Access Series in Informatics ; Vuosikerta 52).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    3 Sitaatiot (Scopus)
    51 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

    26 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 article in proceedingsScientificvertaisarvioitu

    7 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 article in proceedingsScientificvertaisarvioitu

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

    43 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

    11 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 article in proceedingsScientificvertaisarvioitu

    4 Sitaatiot (Scopus)
  • Rewriting optimization statements in answer-set programs

    Bomanson, J., Gebser, M. & Janhunen, T., 1 marrask. 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 für Informatik, Vuosikerta 52. 15 Sivumäärä 5

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    6 Sitaatiot (Scopus)
    78 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 article in proceedingsScientificvertaisarvioitu

  • 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 article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    4 Sitaatiot (Scopus)
    51 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 Press, s. 307-313

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu