Stebėti
Richard Comploi-Taupe
Richard Comploi-Taupe
Kiti vardaiRichard Taupe
Siemens AG Österreich
Patvirtintas el. paštas siemens.com
Pavadinimas
Cituota
Cituota
Metai
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
1252018
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
192017
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
182020
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
182020
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
162019
Introducing heuristics for lazy-grounding ASP solving
R Taupe, A Weinzierl, G Schenner
1st International Workshop on Practical Aspects of Answer Set Programming …, 2017
142017
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
122018
Solving Configuration Problems with ASP and Declarative Domain-Specific Heuristics
R Taupe, G Friedrich, K Schekotihin, A Weinzierl
Configuration Workshop, 13-20, 2021
72021
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
62019
Integrating Semantic Web Technologies and ASP for Product Configuration.
S Bischof, G Schenner, S Steyskal, R Taupe
ConfWS, 53-60, 2018
62018
Techniques for solving large-scale product configuration problems with ASP
G Schenner, R Taupe
Proceedings of the 19th International Configuration Workshop, 12-19, 2017
62017
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
52023
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
52022
Constraint Solver Requirements for Interactive Configuration.
AA Falkner, A Haselböck, G Krames, G Schenner, R Taupe
ConfWS, 65-72, 2019
52019
Deriving tighter component cardinality bounds for product configuration
R Taupe, A Falkner, G Schenner
18 th International Configuration Workshop, 47, 2016
52016
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
32021
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
32019
Interactive Configuration with ASP Multi-Shot Solving.
R Comploi-Taupe, AA Falkner, S Hahn, T Schaub, G Schenner
ConfWS, 95-103, 2023
22023
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
22020
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
22018
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20