Two HIIT Fellows at KR 2025
Two HIIT Fellows had publications accepted to KR 2025 in Melbourne, Australia.
HIIT Postdoctoral Fellows Masood Feyzbakhsh Rankooh and Tuomo Lehtonen have had two publications accepted at KR 2025 in Melbourne, Australia.
Reasoning in Assumption-Based Argumentation via SAT
Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen and Matti Järvisalo
Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
Masood Feyzbakhsh Rankooh, Andreas Niskanen and Matti Järvisalo
Additionally, Tuomo Lehtonen has won the Early Career Researcher Award of KR 2025 and is invited to give a presentation at the conference.
More information can be found on the KR 2025 website.
Read more news
Fragmented phone use — not total screen time — is the main driver of information overload, study finds
Frequent micro-checks and bursts of messaging are most strongly linked to feeling overloaded — and these habits are the hardest to change, says research from Aalto University.
Artificial intelligence builds more sustainable cities
Future urban planners will be able to test the effects of new traffic patterns on air quality, carbon dioxide emissions and residents’ wellbeing before a single block of concrete has been lifted.