Full name Familienname, Vorname
Taupe, Richard
 

Results 1-12 of 12 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Solving Configuration Problems with ASP and Declarative Domain Specific HeuristicsKonferenzbeitrag Inproceedings 2021
2Dhungana, Deepak ; Haselböck, Alois ; Schmidbauer, Christina ; Taupe, Richard ; Wallner, Stefan ; Andersen, Ann-Louise ; Andersen Rasmus ; Brunoe, Thomas Ditlev ; Larsen, Maria Stoettrup Schioenning ; Hansen, Kjeld ; Napoleone, Alessia ; Kjeldgaard, Stefan Enabling Resilient Production Through Adaptive Human-Machine Task SharingKonferenzbeitrag Inproceedings 2021
3Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePräsentation Presentation2020
4Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPräsentation Presentation2020
5Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePreprint Preprint2020
6Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPreprint Preprint2020
7Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
8Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard ; Bogaerts, Bart ; Erdem, Esra ; Fodor, Paul ; Formisano, Andrea ; Ianni, Giovambattista ; Inclezan, Daniela ; De Vos, Marina ; Yang, Fangkai Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
9Weinzierl, Antonius ; Bogaerts, Bart ; Bomanson, Jori ; Eiter, Thomas ; Friedrich, Gerhard ; Janhunen, Tomi ; Kaminski, Tobias ; Langowski, Michael ; Leutgeb, Lorenz ; Schenner, Gottfried ; Taupe, Richard The Alpha Solver for Lazy-GroundingAnswer-Set ProgrammingArtikel Article2019
10Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2018
11Eiter, Thomas ; Friedrich, Gerhard ; Taupe, Richard ; Weinzierl, Antonius Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASPArtikel Article2018
12Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried ; Gebser, Martin ; Maratea, Marco ; Ricca, Francesco Introducing Heuristics for Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2017