Следене
Dominik Rusovac
Dominik Rusovac
TU-Dresden, Germany, Faculty of Computer Science
Потвърден имейл адрес: tu-dresden.de - Начална страница
Заглавие
Позовавания
Позовавания
Година
Rushing and strolling among answer sets–navigation made easy
JK Fichte, SA Gaggl, D Rusovac
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5651-5659, 2022
162022
Nexas: A visual tool for navigating and exploring argumentation solution spaces
R Dachselt, SA Gaggl, M Krötzsch, J Méndez, D Rusovac, M Yang
Computational Models of Argument, 116-127, 2022
72022
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022
22022
Representative answer sets: Collecting something of everything
E Böhl, SA Gaggl, D Rusovac
Proceedings of the 26th European Conference on Artificial Intelligence (ECAI …, 2023
12023
IASCAR: Incremental Answer Set Counting by Anytime Refinement
JK Fichte, SA Gaggl, M Hecher, D Rusovac
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022
12022
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.
S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner
COMMA, 355-356, 2022
12022
Preliminary Evaluation Data for adf-bdd v 0.2. 4-beta. 1
S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner
2022
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
J Karge, JM Burkhardt, S Rudolph, D Rusovac
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
D Rusovac, P Johannes
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–9