40 citations · 80 across the 13 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and More
Antonius Weinzierl, Richard Taupe, Gerhard Friedrich
Answer-Set Programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic-based AI. The traditional ground-and-…
cs.AI2020
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Generalising and re-using knowledge learned while solving one problem instance has been neglected by state-of-the-art answer set solvers. We suggest a new approach that generalises…