Richard Comploi-Taupe

According to our database, Richard Comploi-Taupe authored at least 20 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.

Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

J. Artif. Intell. Res., 2023

Inductive Learning of Declarative Domain-Specific Heuristics for ASP.

Richard Comploi-Taupe

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Dynamic Aggregates in Expressive ASP Heuristics for Configuration Problems.

Richard Comploi-Taupe, Gerhard Friedrich, Tilman Niestroj

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

Interactive Configuration with ASP Multi-Shot Solving.

Richard Comploi-Taupe, Andreas A. Falkner, Susana Hahn, Torsten Schaub, Gottfried Schenner

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

2022

Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming.

Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

CoRR, 2022

Applying incremental answer set solving to product configuration.

Richard Comploi-Taupe, Giulia Francescutto, Gottfried Schenner

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Towards Inductive Learning of Domain-Specific Heuristics for ASP.

Richard Comploi-Taupe

Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022

2021

Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics.

Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

2020

Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More.

Antonius Weinzierl, Richard Taupe, Gerhard Friedrich

Theory Pract. Log. Program., 2020

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints.

Richard Taupe, Antonius Weinzierl, Gerhard Friedrich

Theory Pract. Log. Program., 2020

Solver Requirements for Interactive Configuration.

Andreas A. Falkner, Alois Haselböck, Gerfried Krames, Gottfried Schenner, Herwig Schreiner, Richard Taupe

J. Univers. Comput. Sci., 2020

2019

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP.

Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving.

Richard Taupe, Antonius Weinzierl, Gerhard Friedrich

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Constraint Solver Requirements for Interactive Configuration.

Andreas A. Falkner, Alois Haselböck, Gerfried Krames, Gottfried Schenner, Richard Taupe

Proceedings of the 21st Configuration Workshop, Hamburg, Germany, September 19-20, 2019., 2019

2018

Industrial Applications of Answer Set Programming.

Andreas A. Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, Erich Christian Teppan

Künstliche Intell., 2018

Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP.

Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl

Künstliche Intell., 2018

Speeding up Lazy-Grounding Answer Set Solving.

Richard Taupe

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Integrating Semantic Web Technologies and ASP for Product Configuration.

Stefan Bischof, Gottfried Schenner, Simon Steyskal, Richard Taupe

Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018., 2018

2017

Enabling Integrated Product and Factory Configuration in Smart Production Ecosystems.

Deepak Dhungana, Andreas A. Falkner, Alois Haselböck, Richard Taupe

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

2016

Influence of ASP Language Constructs on the Performance of State-of-the-Art Solvers.

Richard Taupe, Erich Teppan

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016