johfi52

Johannes Klaus Fichte

Universitetslektor

Publikationer

2025

David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa (2025) Counting and Reasoning with Plans Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI'25) (Konferensbidrag)

2024

Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier (2024) Rejection in Abstract Argumentation: Harder Than Acceptance? Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24) (Konferensbidrag)
Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte (2024) Navigating and Querying Answer Sets: How Hard Is It Really and Why? Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR'24), s. 642-653 (Konferensbidrag) Vidare till DOI
Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche (2024) The Relative Strength of #SAT Proof Systems Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT'24) (Konferensbidrag)
Johannes Klaus Fichte, Markus Hecher, Arne Meier (2024) Counting Complexity for Reasoning in Abstract Argumentation Journal of Artificial Intelligence Research, Vol. 80, s. 805-834 (Artikel i tidskrift) Vidare till DOI

Om avdelningen

Kollegor vid AIICS

Om institutionen