Johannes Klaus Fichte
Orcid: 0000-0002-8681-7470Affiliations:
- Linköping University, Sweden
- TU Wien, Vienna, Austria
According to our database1,
Johannes Klaus Fichte
authored at least 56 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on liu.se
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
J. Artif. Intell. Res., 2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Artif. Intell., 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Theory Pract. Log. Program., 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving.
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
Proceedings of the 44th Annual Meeting of the Cognitive Science Society, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
2019
Theory Pract. Log. Program., 2019
Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019.
CoRR, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper).
Proceedings of the 14th International Symposium on Parameterized and Exact Computation, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
2018
Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018.
CoRR, 2018
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the 26th Annual European Symposium on Algorithms, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
2016
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016
2015
2013
Theory Pract. Log. Program., 2013
2011
J. Artif. Intell. Res., 2011
Proceedings of the New Directions in Logic, Language and Computation, 2011