Login / Signup
Dirk Abels
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Modulo Theories
Meta Level Reasoning
Answer Set Programming
Stable Models
Top Venues
CoRR
Theory Pract. Log. Program.
LPNMR
</>
Publications
</>
Dirk Abels
,
Julian Jordi
,
Max Ostrowski
,
Torsten Schaub
,
Ambra Toletti
,
Philipp Wanko
Train Scheduling with Hybrid Answer Set Programming.
Theory Pract. Log. Program.
21 (3) (2021)
Dirk Abels
,
Julian Jordi
,
Max Ostrowski
,
Torsten Schaub
,
Ambra Toletti
,
Philipp Wanko
Train Scheduling with Hybrid Answer Set Programming.
CoRR
(2020)
Dirk Abels
,
Julian Jordi
,
Max Ostrowski
,
Torsten Schaub
,
Ambra Toletti
,
Philipp Wanko
Train Scheduling with Hybrid ASP.
LPNMR
(2019)