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 | 125 | 2018 |
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 | 19 | 2017 |
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 | 18 | 2020 |
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 | 18 | 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 |
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 |
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 |
Solving Configuration Problems with ASP and Declarative Domain-Specific Heuristics R Taupe, G Friedrich, K Schekotihin, A Weinzierl Configuration Workshop, 13-20, 2021 | 7 | 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 |
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 | 5 | 2023 |
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 | 5 | 2022 |
Constraint Solver Requirements for Interactive Configuration. AA Falkner, A Haselböck, G Krames, G Schenner, R Taupe ConfWS, 65-72, 2019 | 5 | 2019 |
Deriving tighter component cardinality bounds for product configuration R Taupe, A Falkner, G Schenner 18 th International Configuration Workshop, 47, 2016 | 5 | 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 | 3 | 2021 |
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 |
Interactive Configuration with ASP Multi-Shot Solving. R Comploi-Taupe, AA Falkner, S Hahn, T Schaub, G Schenner ConfWS, 95-103, 2023 | 2 | 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 | 2 | 2020 |
Lazy Grounding for Dynamic Configuration: Efficient Large-Scale (Re) Configuration of Cyber-Physical Systems with ASP T Eiter, G Friedrich, R Taupe, A Weinzierl KI-Künstliche Intelligenz 32, 197-198, 2018 | 2 | 2018 |