Johannes K. Fichte
Institute |
Technische Universität Wien
Institute of Logic and Computation
Research Unit Database and Artificial Intelligence
|
Address |
Favoritenstraße 9-11
1040 Wien
Austria
|
Room |
HA0302 |
Mail |
 |
Phone |
+43-1-58801-740061 |
Fax |
+43-1-58801-9740018 |
You can find more information in the
TISS: Address Book.
For courses, see my web page faculty
of Informatics.
Office Hours: By appointment (send me an e-mail)
About me
I am a researcher and lecturer in the
Database and
Artificial Intelligence Group(DBAI) of the Institute of Information Systems at
Technische Universität Wien. Previouly, I was a research fellow at the
Simons Institute at UC Berkeley and
in the
Knowledge Representation and
Reasoning Group at TU Dresden.
I received my PhD under supervision of
Stefan Szeider and co-supervision
of
Torsten Schaub from TU Wien.
Research Interest
My work interests in computational algorithmics, complexity, and practical applications thereof, including
implementations of parameterized algorithms for various combinatorial hard problems.
I focus on model counting propositional formulas and various formalisms in AI,
the Boolean satisfiablity problem (SAT), and answer-set programming (ASP). I have an industry background in
applications of data analysis and evaluation in health care.
Teaching
My teaching activities can be found in
TISS
or on
my faculity webpage.
Supervision of Bachelor/Master Theses
I am happy to supervise theses of motivated students in topics related to my research area.
If you have ideas or questions regarding possible topics, please contact me.
Publications
See also my
DPLP Entry and
my
Google Scholar Profile.
Recent Drafts / Author Archived Copies
Draft on Proofs for Propositional Model Counting with Markus Hecher and Valentin Roland
Peer Reviewed Works
2021
- Johannes Klaus Fichte, Markus Hecher, Michael Morak and Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action In Algorithms, 14 (3): 81, 2021.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and Arne Meier Knowledge-Base Degrees of Inconsistency: Complexity and Counting In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pages 6349-6357, AAAI Press, 2021.
[ BibTeX ] - Johannes Klaus Fichte, Markus Hecher, Ciaran McCreesh and Anas Shahab Complications for Computational Experiments from Modern Processors In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, Volume 210 of LIPIcs, pages 25:1-25:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and Valentin Roland Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, Volume 210 of LIPIcs, pages 24:1-24:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood and Arne Meier Decomposition-Guided Reductions for Argumentation and Treewidth In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, pages 1880-1886, ijcai.org, 2021.
[ BibTeX | doi ]
2020
- Johannes Klaus Fichte, Markus Hecher and Maximilian F. I. Kieler Treewidth-Aware Quantifier Elimination and Expansion for QCSP In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 248-266, Springer, 2020.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and Stefan Szeider A Time Leap Challenge for SAT-Solving In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 267-285, Springer, 2020.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and Stefan Szeider Breaking Symmetries with RootClique and LexTopSort In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 286-303, Springer, 2020.
[ BibTeX | doi ] - Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina and André Schidler Towards Faster Reasoners by Using Transparent Huge Pages In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 304-322, Springer, 2020.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and André Schidler Solving the Steiner Tree Problem with few Terminals In 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020, pages 293-300, IEEE, 2020.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and Andreas Pfandler Lower Bounds for QBFs of Bounded Treewidth In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020, pages 410-424, ACM, 2020.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher, Patrick Thier and Stefan Woltran Exploiting Database Management Systems and Treewidth for Counting In Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Volume 12007 of Lecture Notes in Computer Science, pages 151-167, Springer, 2020.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher, Patrick Thier and Stefan Woltran Exploiting Database Management Systems and Treewidth for Counting In CoRR, abs/2001.04191, 2020.
[ BibTeX ] - Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina and André Schidler Towards Faster Reasoners By Using Transparent Huge Pages In CoRR, abs/2004.14378, 2020.
[ BibTeX ] - Johannes Klaus Fichte, Markus Hecher and Stefan Szeider A Time Leap Challenge for SAT Solving In CoRR, abs/2008.02215, 2020.
[ BibTeX ] - Johannes Klaus Fichte, Markus Hecher and André Schidler Solving the Steiner Tree Problem with few Terminals In CoRR, abs/2011.04593, 2020.
[ BibTeX ] - Johannes Klaus Fichte, Markus Hecher and Florim Hamiti The Model Counting Competition 2020 In CoRR, abs/2012.01323, 2020.
[ BibTeX ]
2019
- Johannes Klaus Fichte, Martin Kronegger and Stefan Woltran A multiparametric view on answer set programming In Ann. Math. Artif. Intell., 86 (1-3): 121-147, 2019.
[ BibTeX | doi ] - Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp and Jakob Rath Inconsistency Proofs for ASP: The ASP - DRUPE Format In Theory Pract. Log. Program., 19 (5-6): 891-907, 2019.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and Arne Meier Counting Complexity for Reasoning in Abstract Argumentation In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019, pages 2827-2834, AAAI Press, 2019.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher and Markus Zisser An Improved GPU-Based SAT Model Counter In Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, Volume 11802 of Lecture Notes in Computer Science, pages 491-509, Springer, 2019.
[ BibTeX | doi ] - M. Ayaz Dzulfikar, Johannes Klaus Fichte and Markus Hecher The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper) In 14th International Symposium on Parameterized and Exact Computation, IPEC 2019, September 11-13, 2019, Munich, Germany, Volume 148 of LIPIcs, pages 25:1-25:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[ BibTeX | doi ] - Johannes Klaus Fichte and Markus Hecher Treewidth and Counting Projected Answer Sets In Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, Volume 11481 of Lecture Notes in Computer Science, pages 105-119, Springer, 2019.
[ BibTeX | doi ] - Johannes Klaus Fichte and Markus Hecher Treewidth and Counting Projected Answer Sets In CoRR, abs/1903.11316, 2019.
[ BibTeX ] - Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp and Jakob Rath Inconsistency Proofs for ASP: The ASP-DRUPE Format In CoRR, abs/1907.10389, 2019.
[ BibTeX ] - Johannes Klaus Fichte, Markus Hecher and Andreas Pfandler TE-ETH: Lower Bounds for QBFs of Bounded Treewidth In CoRR, abs/1910.01047, 2019.
[ BibTeX ] - Jorge Fandinno and Johannes Klaus Fichte Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019 In CoRR, abs/1912.09211, 2019.
[ BibTeX ]
2018
- Johannes Klaus Fichte, Markus Hecher, Neha Lodha and Stefan Szeider An SMT Approach to Fractional Hypertree Width In Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, Volume 11008 of Lecture Notes in Computer Science, pages 109-127, Springer, 2018.
[ BibTeX | doi ] - Johannes Klaus Fichte, Markus Hecher, Stefan Woltran and Markus Zisser Weighted Model Counting on the GPU by Exploiting Small Treewidth In 26th Annual European Symposium on Algorithms, ESA 2018, August 20-22, 2018, Helsinki, Finland, Volume 112 of LIPIcs, pages 28:1-28:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[ BibTeX | doi ] - Johannes Klaus Fichte and Markus Hecher Exploiting Treewidth for Counting Projected Answer Sets In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, pages 639-640, AAAI Press, 2018.
[ BibTeX ]
Programs and Utils
Checkout my repositories on github.
I am involved in the development of some software utils, including:
dpdb and versions thereof,
gpusat,
frasmt,
trellis.
In addition, I work on
solver evaluations
Time Leap
Challenge,
Evaluations of Solvers,
Model Counting Competition, and
Combinatorial Challenges.
Community Activities
Co-Charing
- Publicity Co-Chair in the Local Organization of the 31st International Joint Conference on
Artificial Intelligence (IJCAI-22)
- Co-Chair of the Workshop on Counting and Sampling@SAT (2021 and 2022)
- Co-Chair of the Model Counting Workshop@SAT (2020)
- Co-Organizer of the Model Counting Competition 2021
- Co-Organizer of the Model Counting Competition 2022
- Co-Organizer of the First Model Counting Competition 2020
- Co-Organizer of the PACE Challenge 2019
- Steering Committee Member of the PACE Challenge since 2019
- Member of the Local Organization of the 21st International Conference on Extending Database Technology
and 21st International Conference on Database Theory (EDBT/ICDT'18)
- Co-Chair of the Local Organization of the 1st Workshop on Trends and Applications of
Answer Set Programming (TAASP'16)
- Co-Organizer of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'19)
- Co-Organizer of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18_
Program Comittee Member
- PC Member of the 34th, 35th, 36th, and 37th AAAI Conference on Artificial Intelligence
(AAAI'19,'20,'21,'22)
Student Abstract and Poster Program (AAAI'21)
- PC Member of the 27th, 28th, 29th, and 30th International Joint Conference on Artificial Intelligence
(IJCAI'18,'19,'20,'21,'22)
- PC Member of the 37th International Conference on Logic Programming (ICLP'21 Doctoral Consortium)
- PC Member of the 17th Conference on Principles of Knowledge Representation and Reasoning (KR'20)
- PC Member of the 26th Conference on Constraint Programming (CP'20)
- PC Member of the 24th European Conference on Artificial Intelligence (ECAI'20)
- PC Member of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR'19)
- PC Member of the 18th, 19th, 20th International Conference of the Italian Association
for Artificial Intelligence (AIxIA'19,'20,'21)
- PC Member of the VCLA International Student Awards 2018
- PC Member of the 18th EPIA Conference on Artificial Intelligence (EPIA'17)
- PC Member of the 7th, 8th, and 9th Workshop on Answer Set Programming and Other Computing
PC Member Paradigms (ASPOCP'14,'15,'16,'17,'18,'20)
- Editorial Board Member of Journal on Experimental Results, Cambridge University Press
Reviewing of Scientific Publications
I reviewed scientific publications for various venues such as AAAI, AIxIA, AIJ, ASPOCP, CP, ECAI, EPIA, ICLP,
IJCAI, JELIA, JLC, KI, KR, LPAR, LPNMR, MFCS, PODS, SAT, STACS, Swarm, WLP.