Philip Gasteiger

According to our database, Philip Gasteiger authored at least 5 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Debugging Non-ground ASP Programs: Technique and Graphical Tools.

Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

Theory Pract. Log. Program., 2019

2016

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).

Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin

Theory Pract. Log. Program., 2016

An integrated Graphical User Interface for Debugging Answer Set Programs.

Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

CoRR, 2016

Driving CDCL Search.

Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin

CoRR, 2016

2015

Interactive Debugging of Non-ground ASP Programs.

Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015