Richard Taupe

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 16

Top Topics

Constraint Solvers

Product Configuration

Answer Set Programming

Semantic Web Technologies

Top Venues

Künstliche Intell.

Theory Pract. Log. Program.

Publications

Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics. ConfWS (2021)
Antonius Weinzierl, Richard Taupe, Gerhard Friedrich
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. CoRR (2020)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. Theory Pract. Log. Program. 20 (5) (2020)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. CoRR (2020)
Antonius Weinzierl, Richard Taupe, Gerhard Friedrich
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. Theory Pract. Log. Program. 20 (5) (2020)
Andreas A. Falkner, Alois Haselböck, Gerfried Krames, Gottfried Schenner, Herwig Schreiner, Richard Taupe
Solver Requirements for Interactive Configuration. J. Univers. Comput. Sci. 26 (3) (2020)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. LPNMR (2019)
Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. ICLP Technical Communications (2019)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving. CoRR (2019)
Andreas A. Falkner, Alois Haselböck, Gerfried Krames, Gottfried Schenner, Richard Taupe
Constraint Solver Requirements for Interactive Configuration. ConfWS (2019)
Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl
Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. Künstliche Intell. 32 (2-3) (2018)
Andreas A. Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, Erich Christian Teppan
Industrial Applications of Answer Set Programming. Künstliche Intell. 32 (2-3) (2018)
Richard Taupe
Speeding up Lazy-Grounding Answer Set Solving. ICLP (Technical Communications) (2018)
Stefan Bischof, Gottfried Schenner, Simon Steyskal, Richard Taupe
Integrating Semantic Web Technologies and ASP for Product Configuration. ConfWS (2018)
Deepak Dhungana, Andreas A. Falkner, Alois Haselböck, Richard Taupe
Enabling Integrated Product and Factory Configuration in Smart Production Ecosystems. SEAA (2017)
Richard Taupe, Erich Teppan
Influence of ASP Language Constructs on the Performance of State-of-the-Art Solvers. KI (2016)