Picture for Heribert Vollmer

Heribert Vollmer

Graph Neural Networks and Arithmetic Circuits

Add code
Feb 27, 2024
Viaarxiv icon

Enumeration Classes Defined by Circuits

Add code
May 01, 2022
Figure 1 for Enumeration Classes Defined by Circuits
Viaarxiv icon

On the Parameterized Complexity of Default Logic and Autoepistemic Logic

Add code
Oct 06, 2011
Figure 1 for On the Parameterized Complexity of Default Logic and Autoepistemic Logic
Viaarxiv icon

Complexity of Non-Monotonic Logics

Add code
Sep 10, 2010
Figure 1 for Complexity of Non-Monotonic Logics
Figure 2 for Complexity of Non-Monotonic Logics
Viaarxiv icon