A Mobile Application for Self-Guided Study of Formal Reasoning
Cerna, David M., Kiesel, Rafael P.D., Dzhiganskaya, Alexandra
Published in Electronic proceedings in theoretical computer science (28.02.2020)
Published in Electronic proceedings in theoretical computer science (28.02.2020)
Get full text
Journal Article
Semiring Reasoning Frameworks in AI and Their Computational Complexity
Eiter, Thomas, Kiesel, Rafael
Published in The Journal of artificial intelligence research (01.01.2023)
Published in The Journal of artificial intelligence research (01.01.2023)
Get full text
Journal Article
“What if?” in Probabilistic Logic Programming
KIESEL, RAFAEL, RÜCKSCHLOß, KILIAN, WEITKÄMPER, FELIX
Published in Theory and practice of logic programming (01.07.2023)
Published in Theory and practice of logic programming (01.07.2023)
Get full text
Journal Article
Efficient Knowledge Compilation Beyond Weighted Model Counting
KIESEL, RAFAEL, TOTIS, PIETRO, KIMMIG, ANGELIKA
Published in Theory and practice of logic programming (01.07.2022)
Published in Theory and practice of logic programming (01.07.2022)
Get full text
Journal Article