Richard Taupe

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