Ei valokuvaa Tomi Janhunen

Tomi Janhunen

 https://orcid.org/0000-0002-2029-7708
20192024

Tutkimustuotoksia vuodessa

  • 17 Konferenssiartikkeli
  • 5 Artikkeli
Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2024

    Automating Cybersecurity Compliance in DevSecOps with Open Information Model for Security as Code

    Haverinen, H., Janhunen, T., Päivärinta, T., Lempinen, S., Kaartinen, S. & Merilä, S., 22 lokak. 2024, Proceedings of 4th Eclipse Security, AI, Architecture and Modelling Conference on Data Spaces, eSAAM 2024. ACM, s. 93-102 10 Sivumäärä

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto

  • Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming

    Rankooh, M. F. & Janhunen, T., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (toim.). International Joint Conferences on Artificial Intelligence, s. 3369-3376 8 Sivumäärä (IJCAI International Joint Conference on Artificial Intelligence).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization

    Yli-Jyrä, A., Ikävalko, H. & Janhunen, T., 2024, Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings. Meier, A. & Ortiz, M. (toim.). Cham, Switzerland: Springer, s. 381-400 20 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14589 LNCS).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    8 Lataukset (Pure)
  • 2023

    Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

    Janhunen, T., syysk. 2023, Proceedings 39th International Conference on Logic Programming: EPTCS 385. Costantini, S., Pontelli, E., Russo, A., Toni, F., Calegari, R., D'Avila Garcez, A., Dodaro, C., Fabiano, F., Gaggl, S. & Mileo, A. (toim.). Open Publishing Association, s. 101-115 15 Sivumäärä 12. (Electronic Proceedings in Theoretical Computer Science; Vuosikerta 385).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    19 Lataukset (Pure)

  • Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling

    Yli-Jyrä, A., Feyzbakhsh Rankooh, M. & Janhunen, T., 2023, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (toim.). Springer, s. 279-294 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13880).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    22 Lataukset (Pure)

  • Short Boolean Formulas as Explanations in Practice

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 syysk. 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (toim.). Springer, Vuosikerta 14281. s. 90-105 16 Sivumäärä 7. (Lecture Notes in Computer Science; Vuosikerta 14281).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    12 Lataukset (Pure)
  • 2022

    Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery

    Yli-Jyrä, A. & Janhunen, T., 14 jouluk. 2022, Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022. Berlin, Germany, September 26–28, 2022. Proceedings. Governatori, G. & Turhan, A.-Y. (toim.). Springer, s. 3-19 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13752).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

  • Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.

    Rankooh, M. F. & Janhunen, T., 2022, LPNMR 2022: Logic Programming and Nonmonotonic Reasoning. s. 203-216 (Lecture Notes in Computer Science; Vuosikerta 13416).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

  • Explainability via Short Formulas: the Case of Propositional Logic with Implementation

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 5 syysk. 2022, Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning HYDRA} 2022 and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion RCRA 2022 co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022, Genova Nervi, Italy, September 5, 2022. CEUR Workshop Proceedings, Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

  • Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

    Janhunen, T., 7 tammik. 2022, Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings. Cheney, J. & Perri, S. (toim.). Springer, s. 135-153 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13165 LNCS).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    7 Sitaatiot (Scopus)
    38 Lataukset (Pure)

  • Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .

    Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N. & Schaub, T., 2022, Rules and Reasoning 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Springer, s. 54-62 9 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13752).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    5 Sitaatiot (Scopus)
    19 Lataukset (Pure)
  • 2021

    On Syntactic Forgetting Under Uniform Equivalence

    Gonçalves, R., Janhunen, T., Knorr, M. & Leite, J., 2021, Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (toim.). Springer, s. 297-312 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 12678).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    10 Sitaatiot (Scopus)
    11 Lataukset (Pure)
  • 2020

    Allen's Interval Algebra Makes the Difference

    Janhunen, T. & Sioutis, M., 2020, Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Springer, s. 89-98 (Lecture Notes in Computer Science; nro 12057).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    2 Sitaatiot (Scopus)

  • On Robustness in Qualitative Constraint Networks

    Sioutis, M., Long, Z. & Janhunen, T., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. ijcai.org, s. 1813-1819

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    9 Sitaatiot (Scopus)
  • 2019

    On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning

    Sioutis, M., Paparrizou, A. & Janhunen, T., 2019, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Gamper, J., Pinchinat, S. & Sciavicco, G. (toim.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 14:1-14:17 (Leibniz international proceedings in informatics; nro 147).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • The Return of xorro

    Everardo, F., Janhunen, T., Kaminski, R. & Schaub, T., 2019, Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Balduccini, M., Lierler, Y. & Woltran, S. (toim.). Cham: Springer, s. 284-297 (Lecture Notes in Computer Science; nro 11481).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    6 Sitaatiot (Scopus)

  • Towards Leveraging Backdoors in Qualitative Constraint Networks

    Sioutis, M. & Janhunen, T., 2019, KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings. Benzmüller, C. & Stuckenschmidt, H. (toim.). Springer Verlag, Vuosikerta 11793 LNAI. s. 308-315 (Lecture Notes in Computer Science; Vuosikerta 11793 LNAI, nro 11793).

    Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    4 Sitaatiot (Scopus)