Richard Taupe | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Konstantin Schekotihin
20 publications
Peter Schüller
13 publications
Gerhard Friedrich
13 publications
Antonius Weinzierl
6 publications

research

∙ 08/08/2020

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

Answer-Set Programming (ASP) is a powerful and expressive knowledge repr...

0 Antonius Weinzierl, et al. ∙

research

∙ 08/07/2020

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

Generalising and re-using knowledge learned while solving one problem in...

0 Richard Taupe, et al. ∙

research

∙ 09/18/2019

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP

Domain-specific heuristics are an important technique for solving combin...

0 Richard Taupe, et al. ∙

research

∙ 03/29/2019

Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving

The traditional ground-and-solve approach to Answer Set Programming (ASP...

0 Richard Taupe, et al. ∙