Philip Gasteiger

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 7

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-ground ASP Programs: Technique and Graphical Tools. Theory Pract. Log. Program. 19 (2) (2019)
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR (2018)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Driving CDCL Search. CoRR (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Theory Pract. Log. Program. 16 (5-6) (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). CoRR (2016)
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
An integrated Graphical User Interface for Debugging Answer Set Programs. CoRR (2016)
Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
Interactive Debugging of Non-ground ASP Programs. LPNMR (2015)