Följ
Richard Comploi-Taupe
Richard Comploi-Taupe
Andra namnRichard Taupe
Siemens AG Österreich
Verifierad e-postadress på siemens.com
Titel
Citeras av
Citeras av
År
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
1062018
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
212017
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
172019
Introducing heuristics for lazy-grounding ASP solving
R Taupe, A Weinzierl, G Schenner
1st International Workshop on Practical Aspects of Answer Set Programming …, 2017
132017
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
122020
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
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
92020
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
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
Deriving tighter component cardinality bounds for product configuration
R Taupe, A Falkner, G Schenner
18 th International Configuration Workshop 47, 2016
62016
Solving Configuration Problems with ASP and Declarative Domain-Specific Heuristics
R Taupe, G Friedrich, K Schekotihin, A Weinzierl
Configuration Workshop, 13-20, 2021
52021
Integrating Semantic Web Technologies and ASP for Product Configuration.
S Bischof, G Schenner, S Steyskal, R Taupe
ConfWS, 53-60, 2018
52018
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
42022
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
32023
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
22021
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
Speeding up lazy-grounding answer set solving
R Taupe
Technical Communications of the 34th International Conference on Logic …, 2018
22018
Towards exploiting partial knowledge in declarative domainspecific heuristics for ASP
R Taupe, K Schekotihin, P Schüller, A Weinzierl, G Friedrich
Workshop on Trends and Applications of Answer Set Programming, 15, 2018
22018
Encoding object-oriented models in MiniZinc
G Schenner, R Taupe
Fifteenth International Workshop on Constraint Modelling and Reformulation, 2016
22016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20