Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rafael Kiesel

Rafael P. D. Kiesel

> Home > Persons

Person information

affiliation: Vienna University of Technology, Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/EiterHK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterHK24
Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: New frontiers of algebraic answer set counting. Artif. Intell. 330: 104109 (2024)
2023
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/EiterK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/EiterK23
Thomas Eiter, Rafael Kiesel:
Semiring Reasoning Frameworks in AI and Their Computational Complexity. J. Artif. Intell. Res. 77: 207-293 (2023)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/KieselRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/KieselRW23
Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper:
"What if?" in Probabilistic Logic Programming. Theory Pract. Log. Program. 23(4): 884-899 (2023)
2022
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/KieselTK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/KieselTK22
Rafael Kiesel, Pietro Totis, Angelika Kimmig:
Efficient Knowledge Compilation Beyond Weighted Model Counting. Theory Pract. Log. Program. 22(4): 505-522 (2022)
2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BozzatoEK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BozzatoEK21
Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory Pract. Log. Program. 21(5): 593-609 (2021)
2020
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterK20
Thomas Eiter, Rafael Kiesel:
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. Theory Pract. Log. Program. 20(6): 895-910 (2020)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HecherK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HecherK24
Markus Hecher, Rafael Kiesel:
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024: 10535-10543
2023
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/alenex/KieselS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alenex/KieselS23
Rafael Kiesel, André Schidler:
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. ALENEX 2023: 39-52
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/BozzatoEK023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BozzatoEK023
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. ICLP Workshops 2023
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/HecherK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HecherK23
Markus Hecher, Rafael Kiesel:
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. KR 2023: 344-354
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/KieselE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/KieselE23
Rafael Kiesel, Thomas Eiter:
Knowledge Compilation and More with SharpSAT-TD. KR 2023: 406-416
2022
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BozzatoEK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BozzatoEK22
Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). Description Logics 2022
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iwpec/KieselS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpec/KieselS22
Rafael Kiesel, André Schidler:
PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT. IPEC 2022: 32:1-32:4
2021
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EiterK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterK21
Thomas Eiter, Rafael Kiesel:
On the Complexity of Sum-of-Products Problems over Semirings. AAAI 2021: 6304-6311
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/EiterHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/EiterHK21
Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: An Algebraic Answer Set Counter. ICLP Workshops 2021
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/EiterHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterHK21
Thomas Eiter, Markus Hecher, Rafael Kiesel:
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. KR 2021: 269-279
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-08281
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-08281
Rafael Kiesel:
Quantitative and Stream Extensions of Answer Set Programming. ICLP Technical Communications 2021: 267-275
2020
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/EiterK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/EiterK20
Thomas Eiter, Rafael Kiesel:
Weighted LARS for Quantitative Stream Reasoning. ECAI 2020: 729-736
2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12553
David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya:
A Mobile Application for Self-Guided Study of Formal Reasoning. ThEdu@CADE 2019: 35-53
2018
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/KieselAS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/KieselAS18
Rafael Kiesel, Erman Acar, Stefan Schlobach:
Preferential Default Reasoning on the Semantic Web. Description Logics 2018
2017
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecal/JelisavcicKGHE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecal/JelisavcicKGHE17
Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben:
Analysis of Lamarckian evolution in morphologically evolving robots. ECAL 2017: 214-221
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/JelisavcicKGHE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/JelisavcicKGHE17
Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben:
Benefits of lamarckian evolution for morphologically evolving robots. GECCO (Companion) 2017: 65-66

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-03539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-03539
Markus Hecher, Rafael Kiesel:
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? CoRR abs/2402.03539 (2024)
2023
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02255
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Contextual Reasoning for Scene Generation (Technical Report). CoRR abs/2305.02255 (2023)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-15318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-15318
Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper:
"What if?" in Probabilistic Logic Programming. CoRR abs/2305.15318 (2023)
2022
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-07496
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-07496
Rafael Kiesel, Pietro Totis, Angelika Kimmig:
Efficient Knowledge Compilation Beyond Weighted Model Counting. CoRR abs/2205.07496 (2022)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-06109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-06109
Rafael Kiesel, André Schidler:
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. CoRR abs/2211.06109 (2022)
2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-03100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-03100
Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. CoRR abs/2108.03100 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-10445
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-10445
Rafael Kiesel, Anna Rapberger:
Concurrence for well-formed CAFs: Naive Semantics. CoRR abs/2112.10445 (2021)
2020
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-04008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-04008
Thomas Eiter, Rafael Kiesel:
ASP(AC): Answer Set Programming with Algebraic Constraints. CoRR abs/2008.04008 (2020)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.