Talks and Poster Presentations (with Proceedings-Entry):
B. Bogaerts, S. Marynissen, A. Weinzierl:
"Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming";
Talk: NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING,
Rhodes, Greece;
2020-09-12
- 2020-09-18; in: "NMR 2020 Workshop Notes",
M. Martinez, I. Varzinczak (ed.);
(2020),
Paper ID 6,
9 pages.
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_293477.pdf
Related Projects:
Project Head Thomas Eiter:
DynaCon
Created from the Publication Database of the Vienna University of Technology.