Name Card

Full name Familienname, Vorname
Friedrich, Gerhard
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Comploi-Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic ApproachArticle Artikel 5-Jan-2023
2Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Solving Configuration Problems with ASP and Declarative Domain Specific HeuristicsKonferenzbeitrag Inproceedings 2021
3Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePreprint Preprint2020
4Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPreprint Preprint2020
5Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePräsentation Presentation2020
6Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPräsentation Presentation2020
7Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
8Weinzierl, 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
9Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
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 Article 2018
12Frühstück, Melanie ; Puehrer, Joerg ; Friedrich, Gerhard Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion PluginKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Abseher, Michael ; Moldovan, Marius ; Woltran, Stefan Providing Built-In Counters in a Declarative Dynamic Programming EnvironmentKonferenzbeitrag Inproceedings 2016
2Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract)Konferenzbeitrag Inproceedings 2016
3Dunne, Paul E. ; Linsbichler, Thomas ; Spanring, Christof ; Woltran, Stefan Investigating the relationship between argumentation semantics via signaturesKonferenzbeitrag Inproceedings2016
4Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014