No photo of Tomi Janhunen

Tomi Janhunen

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

Research activity per year

  • 15 Conference contribution
  • 5 Article
Filter
Conference contribution

Search results

  • 2024

    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. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 381-400 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14589 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Downloads (Pure)
  • 2023

    Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

    Janhunen, T., Sept 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. (eds.). Open Publishing Association, p. 101-115 15 p. 12. (Electronic Proceedings in Theoretical Computer Science; vol. 385).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    17 Downloads (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. (eds.). Springer, p. 279-294 16 p. (Lecture Notes in Computer Science; vol. 13880).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    30 Downloads (Pure)

  • Short Boolean Formulas as Explanations in Practice

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 Sept 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (eds.). Springer, Vol. 14281. p. 90-105 16 p. 7. (Lecture Notes in Computer Science; vol. 14281).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    10 Downloads (Pure)
  • 2022

    Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery

    Yli-Jyrä, A. & Janhunen, T., 14 Dec 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. (eds.). Springer Nature, p. 3-19 17 p. (Lecture Notes in Computer Science; vol. 13752).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    48 Downloads (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. p. 203-216 (Lecture Notes in Computer Science; vol. 13416).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Citations (Scopus)
    12 Downloads (Pure)

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

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 5 Sept 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, Vol. 3281. p. 64-77 13 p. ( CEUR workshop proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    10 Downloads (Pure)

  • Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    7 Citations (Scopus)
    34 Downloads (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, p. 54-62 9 p. (Lecture Notes in Computer Science; vol. 13752).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Citations (Scopus)
    12 Downloads (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. (eds.). Springer, p. 297-312 16 p. (Lecture Notes in Computer Science; vol. 12678).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    8 Citations (Scopus)
    8 Downloads (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, p. 89-98 (Lecture Notes in Computer Science; no. 12057).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    2 Citations (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, p. 1813-1819

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    9 Citations (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. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 14:1-14:17 (Leibniz international proceedings in informatics; no. 147).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • 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. (eds.). Cham: Springer, p. 284-297 (Lecture Notes in Computer Science; no. 11481).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    6 Citations (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. (eds.). Springer Verlag, Vol. 11793 LNAI. p. 308-315 (Lecture Notes in Computer Science; vol. 11793 LNAI, no. 11793).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)