Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Bogaerts, S. Marynissen, A. Weinzierl:
"Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming";
Vortrag: NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING,
Rhodes, Greece;
12.09.2020
- 18.09.2020; in: "NMR 2020 Workshop Notes",
M. Martinez, I. Varzinczak (Hrg.);
(2020),
Paper-Nr. 6,
9 S.
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_293477.pdf
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
DynaCon
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.