Philip Gasteiger | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Carmine Dodaro
26 publications
Francesco Ricca
25 publications
Konstantin Schekotihin
20 publications
Nicola Leone
17 publications
Kostyantyn Shchekotykhin
9 publications
Benjamin Musitsch
3 publications
Kristian Reale
2 publications

research

∙ 08/01/2018

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

Answer Set Programming (ASP) is one of the major declarative programming...

0 Carmine Dodaro, et al. ∙

research

∙ 11/16/2016

Driving CDCL Search

The CDCL algorithm is the leading solution adopted by state-of-the-art s...

0 Carmine Dodaro, et al. ∙

research

∙ 11/15/2016

An integrated Graphical User Interface for Debugging Answer Set Programs

Answer Set Programming (ASP) is an expressive knowledge representation a...

0 Philip Gasteiger, et al. ∙

research

∙ 08/02/2016

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)

Answer Set Programming (ASP) is a popular logic programming paradigm tha...

0 Carmine Dodaro, et al. ∙