About
Alexis de Colnet is a PostDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics and the Algorithms and Complexity department. Their work focuses on overcoming intractability in knowledge compilation, computational complexity, and model counting.
Research Interests:
- Knowledge Compilation
- Computational Complexity
- Artificial Intelligence
- Model Counting
- Answer Set Programming
- Theoretical Computer Science
Recent Publications explore trends in proof systems, compilation efficiency, and translations between machine learning models for explainability. These works are deeply rooted in theoretical computer science and AI, addressing challenges in knowledge representation and computational hardness.
Projects:
- Overcoming Intractability in the Knowledge Compilation Map (2022–2025)
- QBFPC (2022–2025)
0Publications listed
Find Alexis de Colnet elsewhere
Related Searches
You Might Also Like
- LLeroy Nicholas ChewVienna University of Technology · Researcher
- TTianwei ZhangVienna University of Technology · Researcher
- MMantas SimkusVienna University of Technology · Assistant Professor
- ZZeynep Gözen Saribatur YamanVienna University of Technology · Researcher
- AAlexis MacielClarkson University · Associate Professor
Thomas EiterAustrian Academy of Sciences · Professor