People

Researchers

Lauri Hella

Professor
matematiikka
Faculty of Information Technology and Communication Sciences
Tampere University
+358503185851
lauri.hella@tuni.fi

Tuesdays 13-14. Other times can also be agreed by contacting me.
https://orcid.org/0000-0002-9117-8124

More information

About me

I am a professor of mathematics. My research areas are mathematical logic and logic in computer science.

I am leading the Tampere Logic Group.

Research topics

Definability theory of generalized quantifiers

Ehrenfeucht-Fraisse games and formula size games, and their applications

Descriptive complexity theory: logical characterizations of complexity classes

Modal and first-order dependence logics and team semantics

Research fields

Mathematics, theoretical computer science

Selected publications

L. Hella: Definability hierarchies of generalized quantiers. Annals of Pure and Applied Logic 43 (1989): 235-271.

L. Hella: Logical hierarchies in PTIME. Information and Computation 129 (1996): 1-19.

L. Hella, L. Libkin, J. Nurmonen, and L. Wong: Logics with aggregate operators. Journal of the ACM 48 (2001): 880-907.

P. Galliani and L. Hella: Inclusion logic and fixed point logic. Proc. 22th Annual Conference the EACSL (CSL), 2013, pages 281-295.

L. Hella, M. Järvisalo, A. Kuusisto, J. Laurinharju, T. Lempiäinen, K. Luosto, J. Suomela, and J. Virtema: Weak models of distributed computing, with connections to modal logic. Distributed Computing 28(1) (2015): 31-53.

L. Hella and A. Kuusisto: Existential second-order logic and modal logic with quantified accessibility relations. Information and Computation 247 (2016): 217-234.

Tomi Janhunen

Professor
Computer Science
Faculty of Information Technology and Communication Sciences
Tampere University
+358503182250
tomi.janhunen@tuni.fi

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

More information

Field of expertise

Artificial Intelligence, Knowledge Representation and Reasoning, Logic Programming, Answer Set Programming and Optimization, Theoretical Computer Science

Main positions of trust

Selected publications

Latest publications

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs

Feyzbakhsh Rankooh, M. & Janhunen, T., 2023, julkaisussa: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 23, 4, s. 782-796

Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu

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 › Scientific › vertaisarvioitu

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 › Scientific › vertaisarvioitu

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 › Scientific › vertaisarvioitu

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.). s. 3-19 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13752).

Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

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 › Scientific › vertaisarvioitu

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. Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).

Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

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 › Scientific › vertaisarvioitu

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 › Scientific › vertaisarvioitu

On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning

Sioutis, M., Paparrizou, A. & Janhunen, T., 2021, julkaisussa: Information and Computation. 280, 104638.

Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu

Antti Kuusisto

Academy Research Fellow
Faculty of Information Technology and Communication Sciences
Tampere University
antti.kuusisto@tuni.fi

https://orcid.org/0000-0003-1356-8749

More information

About me

University Teacher (Tampere University) and Academy Research Fellow (University of Helsinki). From Fall 2015 to Fall 2018 I was a researcher in the University of Bremen working on the ERC-project "Custom-Made Ontology-Based Data Access". For the academic year 2014-2015 I worked in Stockholm University and Technical University of Denmark with a personal research grant. From August 2013 until July 2014 I was a Marie Curie Fellow working in the University of Wroclaw with EU funding from the European Research Consortium for Informatics and Mathematics (ERCIM).

Responsibilities

I am currently PI of the Academy of Finland project "Theory of Computational Logics".

Field of expertise

Mathematical logic and theoretical computer science.

Top achievements

Miikka Vilander

Postdoctoral Research Fellow
Faculty of Information Technology and Communication Sciences
Tampere University
miikka.vilander@tuni.fi

https://orcid.org/0000-0002-7301-939X

Kerkko Luosto

University Lecturer
alana matematiikka
Faculty of Information Technology and Communication Sciences
Tampere University
+358503185908
kerkko.luosto@tuni.fi

https://orcid.org/0009-0007-3911-766X

Jonne Iso-Tuisku

Doctoral student
Department of Mathematics and Statistics
University of Helsinki

Raine Rönnholm

Postdoc Researcher
Tampere University