Fotografi av Johannes Klaus Fichte

Johannes Klaus Fichte

Universitetslektor

Publikationer

2026

Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes Klaus Fichte (2026)

Structure-Aware Encodings of Argumentation Properties for Clique-width FORTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-26, VOL 40 NO 23, s. 19294-19302 (Konferensbidrag)

2025

Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte (2025)

Complexity of Faceted Explanations in Propositional Abduction Theory and Practice of Logic Programming, Vol. 25, s. 775-793 (Artikel i tidskrift)

https://dx.doi.org/10.1017/S1471068425100215

Johannes Klaus Fichte, Tobias Philipp (2025)

Verified SAT Redundancy Checking in SPARK 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025): Work-in-progress track (Konferensbidrag)

Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte (2025)

PlanPilot: Interactive Exploration of Plan Spaces Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) (Konferensbidrag)

Michelle Kornherr, Augusto B. Corrêa, Sarah Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes Klaus Fichte, Daniel Gnad (2025)

Graphical Navigation in Solution Spaces using PlanPilot (Rapport)

Om avdelningen

Robothunden Spot överlämnar en första hjälpen väska till en knäböjande man

Artificiell intelligens och integrerade datorsystem (AIICS)

Verksamheten vid avdelningen AIICS, Institutionen för datavetenskap, är fokuserad på forskning och undervisning inom artificiell intelligens, dess teoretiska grunder och dess tillämpningar.

Kollegor vid AIICS

Fotografi av Tohid Ardeshiri

Tohid Ardeshiri

Forskningskoordinator

Fotografi av Mohsen Asgari

Platshållare för saknad bild till David Bergström

David Bergström

Fotografi av Marcel Bollmann

Marcel Bollmann

Universitetslektor

Platshållare för saknad bild till Lukas Borggren

Platshållare för saknad bild till Rex Bringula

Platshållare för saknad bild till Stina Brunzell

Fotografi av Andreas Bueff

Fotografi av Magnus Bång

Fotografi av Sanjay Chakraborty

Sanjay Chakraborty

Fotografi av Peter Dalenius

Universitetsadjunkt

Fotografi av Patrick Doherty

Patrick Doherty

Fotografi av Dominik Drexler

Dominik Drexler

Platshållare för saknad bild till Josef Fagerström

Josef Fagerström

Fotografi av Hoda Fakhar

Fotografi av Markus Fritzsche

Markus Fritzsche

Fotografi av Martin Funkquist

Martin Funkquist

Fotografi av Jiahui Geng

Biträdande universitetslektor

Fotografi av Elliot Gestrin

Platshållare för saknad bild till Kevin Glocker

Fotografi av Daniel Gnad

Biträdande universitetslektor, Docent

Fotografi av Johanna Groven

Fotografi av Christian Gustavsson

Christian Gustavsson

Platshållare för saknad bild till Hugo-Henrik Hachem

Hugo-Henrik Hachem

Fotografi av Arash Haratian

Platshållare för saknad bild till Daniel Harrysson

Daniel Harrysson

Fotografi av Kristina von Hausswolff

Kristina von Hausswolff

Fotografi av Fredrik Heintz

Professor, Avdelningschef, Enhetschef

Fotografi av Joline Hellström

Joline Hellström

Fotografi av Oskar Holmström

Oskar Holmström

Fotografi av Leo Jarhede

Fotografi av Oliver Harold Joergensen

Oliver Harold Joergensen

Platshållare för saknad bild till Mikael Johansson

Mikael Johansson

Platshållare för saknad bild till Peter Jonsson

Professor, Enhetschef

Fotografi av Marco Kuhlmann

Proprefekt, Professor, Enhetschef

Fotografi av Kätriin Kukk

Fotografi av Jenny Kunz

Fotografi av Jonas Kvarnström

Jonas Kvarnström

Universitetslektor, Docent

Fotografi av Victor Lagerkvist

Victor Lagerkvist

Biträdande professor

Fotografi av Arnaud Lequen

Fotografi av Kristina Levina

Kristina Levina

Fotografi av Katerina Linden

Katerina Linden

Platshållare för saknad bild till Marcus Lång

Platshållare för saknad bild till Mohamed Maizia

Platshållare för saknad bild till Dennis Malmgren

Dennis Malmgren

Fotografi av Linda Mannila

Fotografi av Jingwei Mao

Forskningsingenjör

Fotografi av Damien Van Meerbeeck

Damien Van Meerbeeck

Fotografi av Arman Mohammadi

Arman Mohammadi

Fotografi av Mariam Musavi

Fotografi av Farid Musayev

Fotografi av Mikael Nilsson

Fotografi av Ulf Nilsson

Professor emeritus

Fotografi av Romina Oji

Platshållare för saknad bild till George Osipov

Fotografi av Tommy Persson

Forskningsingenjör

Fotografi av Windy Phung

Fotografi av Piotr Rudol

Forskningsingenjör

Fotografi av Jennifer Santos

Jennifer Santos

Fotografi av Jendrik Seipp

Biträdande professor, Enhetschef

Fotografi av Md Fahim Sikder

Md Fahim Sikder

Fotografi av Mika Skjelnes

Fotografi av Amath Sow

Fotografi av Benjamin Sundvall

Benjamin Sundvall

Fotografi av Gustaf Söderholm

Gustaf Söderholm

Fotografi av Jordan Thayer

Fotografi av Mattias Tiger

Biträdande universitetslektor

Platshållare för saknad bild till Olle Torstensson

Olle Torstensson

Fotografi av Diana Unander

Platshållare för saknad bild till Jorke de Vlas

Platshållare för saknad bild till Cajsa Wargren

Fotografi av Emil Wiman

Fotografi av Mariusz Wzorek

Biträdande universitetslektor, Enhetschef

Om institutionen

Föreställer E-huset på Campus Valla.

Institutionen för datavetenskap (IDA)

En av de största datavetenskapliga institutionerna i norra Europa med forskning och utbildning inom AI, människa-datorinteraktion, programvaruteknik och datorsystem, och data science. Verksamheten är inriktad mot både teknisk och filosofisk fakultet.