| Industrial applications of answer set programming A Falkner, G Friedrich, K Schekotihin, R Taupe, EC Teppan KI-Künstliche Intelligenz 32 (2), 165-176, 2018 | 154 | 2018 |
| Advancing Lazy-Grounding ASP Solving Techniques–Restarts, Phase Saving, Heuristics, and More A Weinzierl, R Taupe, G Friedrich Theory and Practice of Logic Programming 20 (5), 609-624, 2020 | 26 | 2020 |
| Enabling integrated product and factory configuration in smart production ecosystems D Dhungana, A Falkner, A Haselböck, R Taupe 2017 43rd Euromicro Conference on Software Engineering and Advanced …, 2017 | 21 | 2017 |
| Solver Requirements for Interactive Configuration. AA Falkner, A Haselböck, G Krames, G Schenner, H Schreiner, R Taupe J. Univers. Comput. Sci. 26 (3), 343-373, 2020 | 20 | 2020 |
| Degrees of laziness in grounding: Effects of lazy-grounding strategies on ASP solving R Taupe, A Weinzierl, G Friedrich International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 16 | 2019 |
| Solving Configuration Problems with ASP and Declarative Domain-Specific Heuristics R Taupe, G Friedrich, K Schekotihin, A Weinzierl Configuration Workshop, 13-20, 2021 | 15 | 2021 |
| Introducing heuristics for lazy-grounding ASP solving R Taupe, A Weinzierl, G Schenner 1st International Workshop on Practical Aspects of Answer Set Programming …, 2017 | 14 | 2017 |
| Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach R Comploi-Taupe, G Friedrich, K Schekotihin, A Weinzierl Journal of Artificial Intelligence Research 76, 59-114, 2023 | 13 | 2023 |
| A Marketplace for Smart Production Ecosystems: Managing Variability of Products and Factories D Dhungana, A Haselböck, R Taupe Customization 4.0: Proceedings of the 9th World Mass Customization …, 2018 | 12 | 2018 |
| Applying incremental answer set solving to product configuration R Comploi-Taupe, G Francescutto, G Schenner Proceedings of the 26th ACM International Systems and Software Product Line …, 2022 | 8 | 2022 |
| Constraint Solver Requirements for Interactive Configuration. AA Falkner, A Haselböck, G Krames, G Schenner, R Taupe ConfWS, 65-72, 2019 | 7 | 2019 |
| Deriving tighter component cardinality bounds for product configuration R Taupe, A Falkner, G Schenner 18 th International Configuration Workshop, 47, 2016 | 7 | 2016 |
| Enabling Resilient Production Through Adaptive Human-Machine Task Sharing D Dhungana, A Haselböck, C Schmidbauer, R Taupe, S Wallner Towards Sustainable Customization: Bridging Smart Products and Manufacturing …, 2021 | 6 | 2021 |
| Exploiting partial knowledge in declarative domain-specific heuristics for ASP R Taupe, K Schekotihin, P Schüller, A Weinzierl, G Friedrich arXiv preprint arXiv:1909.08231, 2019 | 6 | 2019 |
| Integrating Semantic Web Technologies and ASP for Product Configuration. S Bischof, G Schenner, S Steyskal, R Taupe ConfWS, 53-60, 2018 | 6 | 2018 |
| Techniques for solving large-scale product configuration problems with ASP G Schenner, R Taupe Proceedings of the 19th International Configuration Workshop, 12-19, 2017 | 6 | 2017 |
| Interactive Configuration with ASP Multi-Shot Solving. R Comploi-Taupe, AA Falkner, S Hahn, T Schaub, G Schenner ConfWS, 95-103, 2023 | 4 | 2023 |
| Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints R Taupe, A Weinzierl, G Friedrich Theory and Practice of Logic Programming 20 (5), 799-814, 2020 | 3 | 2020 |
| The Alpha solver for lazy-grounding answer-set programming A Weinzierl, B Bogaerts, J Bomanson, T Eiter, G Friedrich, T Janhunen, ... ALP Newsletter, 12, 2019 | 3 | 2019 |
| Encoding object-oriented models in MiniZinc G Schenner, R Taupe Fifteenth International Workshop on Constraint Modelling and Reformulation, 2016 | 3 | 2016 |
Gerhard FriedrichProfessor of Computer Science, Alpen-Adria Universität KlagenfurtVerified email at aau.at
