Fotografi av Johannes Klaus Fichte

Johannes Klaus Fichte

Universitetslektor

Publikationer

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
Thomas Eiter, Johannes Klaus Fichte, Hecher Markus, Stefan Woltran (2024) Epistemic Logic Programs: Non-Ground and Counting Complexity Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI'24) (Konferensbidrag)

Om avdelningen

Kollegor vid AIICS

Om institutionen