Lukas Gerlach

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Asymptotic Stability

Linear Complementarity Problem

Equilibrium Point

Extended Abstract

Top Venues

Description Logics

Publications

Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency. CoRR (2024)
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. CoRR (2023)
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). Description Logics (2023)
Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks. AI³@AI*IA (2023)
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. AAAI (2023)
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. KR (2023)