Prefix title Titel (vorangestellt)
Projektass.
 
Full name Familienname, Vorname
Kiesel, Rafael Peter David
 
Postfix title Titel (nachgestellt)
MSc
 
Main Affiliation Organisations­zuordnung
 

Results 1-15 of 15 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kiesel, Rafael ; Schidler, André PACE Solver Description: DAGer – Cutting out Cycles with MaxSATInproceedings Konferenzbeitrag 1-Dec-2022
2Schetinger, Victor ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Miksch, Silvia The Combinatorics of HumaneAIPresentation Vortrag16-Nov-2022
3Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)Inproceedings Konferenzbeitrag 3-Nov-2022
4Kiesel, Rafael ; Totis, Pietro ; Kimmig, Angelika Efficient Knowledge Compilation Beyond Weighted Model CountingArticle Artikel 3-Jul-2022
5Bozatto, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic MeasuresArtikel Article 2021
6Eiter, Thomas ; Kiesel, Rafael Peter David On the Complexity of Sum-of-Products Problems over Semirings.Konferenzbeitrag Inproceedings 2021
7Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
8Kiesel, Rafael Quantitative and Stream Extensions of Answer Set ProgrammingKonferenzbeitrag Inproceedings 2021
9Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
10Eiter, Thomas ; Kiesel, Rafael Peter David ASP(AC): Answer Set Programming with Algebraic ConstraintsPräsentation Presentation2020
11Eiter, Thomas ; Kiesel, Rafael Peter David Quantities in Stream ReasoningPräsentation Presentation2020
12Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningPräsentation Presentation2020
13Kiesel, Rafael Peter David Quantitative and Stream Extensions of Answer Set ProgrammingPräsentation Presentation2020
14Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningKonferenzbeitrag Inproceedings 2020
15Eiter, Thomas ; Kiesel, Rafael ASP(AC): Answer Set Programming with Algebraic ConstraintsArtikel Article 2020