Name Card

Full name Familienname, Vorname
Kiesel, Rafael Peter David
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kiesel Rafael Peter David - 2024 - Streaming and Quantitative Extensions of...pdf.jpgKiesel, Rafael Peter David Streaming and Quantitative Extensions of Answer Set ProgrammingThesis Hochschulschrift 2024
2Eiter, Thomas ; Kiesel, Rafael Peter David Semiring Reasoning Frameworks in AI and Their Computational ComplexityArticle Artikel 31-May-2023
3BOZZATO-2023-Contextual Reasoning for Scene Generation Technical Report-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Contextual Reasoning for Scene Generation. Technical ReportReport Bericht 3-May-2023
4BOZZATO-2023-Semantically Guided Scene Generation via Contextual Reasonin...-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Semantically Guided Scene Generation via Contextual Reasoning and Algebraic MeasuresInproceedings Konferenzbeitrag 2023
5Kiesel, Rafael ; Schidler, André A Dynamic MaxSAT-based Approach to Directed Feedback Vertex SetsInproceedings Konferenzbeitrag 2023
6Kiesel-2023-Knowledge Compilation and More with SharpSAT-TD-vor.pdf.jpgKiesel, Rafael ; Eiter, Thomas Knowledge Compilation and More with SharpSAT-TDInproceedings Konferenzbeitrag 2023
7Kiesel, Rafael ; Schidler, André PACE Solver Description: DAGer – Cutting out Cycles with MaxSATInproceedings Konferenzbeitrag 1-Dec-2022
8Schetinger, Victor ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Miksch, Silvia The Combinatorics of HumaneAIPresentation Vortrag16-Nov-2022
9Bozzato, 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
10Kiesel, Rafael ; Totis, Pietro ; Kimmig, Angelika Efficient Knowledge Compilation Beyond Weighted Model CountingArticle Artikel 3-Jul-2022
11Eiter, Thomas ; Kiesel, Rafael Peter David On the Complexity of Sum-of-Products Problems over Semirings.Konferenzbeitrag Inproceedings 2021
12Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
13Bozatto, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic MeasuresArtikel Article 2021
14Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
15Kiesel, Rafael Quantitative and Stream Extensions of Answer Set ProgrammingKonferenzbeitrag Inproceedings 2021
16Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningKonferenzbeitrag Inproceedings 2020
17Eiter, Thomas ; Kiesel, Rafael ASP(AC): Answer Set Programming with Algebraic ConstraintsArtikel Article 2020
18Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningPräsentation Presentation2020
19Eiter, Thomas ; Kiesel, Rafael Peter David Quantities in Stream ReasoningPräsentation Presentation2020
20Kiesel, Rafael Peter David Quantitative and Stream Extensions of Answer Set ProgrammingPräsentation Presentation2020