Rafael Kiesel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
PACE solver description: DAGer -- cutting out cycles with MaxSAT	2025-06-23	Paper
Solving decision theory problems with probabilistic answer set programming Theory and Practice of Logic Programming	2025-03-24	Paper
``What if?'' in probabilistic logic programming Theory and Practice of Logic Programming	2025-02-14	Paper
Aspmc: new frontiers of algebraic answer set counting Artificial Intelligence	2024-07-03	Paper
A dynamic MaxSAT-based approach to directed feedback vertex sets	2024-05-24	Paper
Semiring reasoning frameworks in AI and their computational complexity The Journal of Artificial Intelligence Research (JAIR)	2023-10-23	Paper
Efficient Knowledge Compilation Beyond Weighted Model Counting Theory and Practice of Logic Programming	2022-09-30	Paper
Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures Theory and Practice of Logic Programming	2022-01-10	Paper
Weighted Lars for quantitative stream reasoning	2021-07-06	Paper
\(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints Theory and Practice of Logic Programming	2020-12-13	Paper

Research outcomes over time

This page was built for person: Rafael Kiesel