Talks and Poster Presentations (with Proceedings-Entry):
R. Kiesel:
"Quantitative and Stream Extensions of Answer Set Programming.";
Talk: 37th International Conference on Logic Programming (ICLP 2021),
Porto, Portugal (virtual);
2021-09-20
- 2021-09-27; in: "Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021",
(2021).
English abstract:
Answer Set Programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We propose the introduction and analysis of a general framework that incorporates all three directions of extension by exploiting the strengths of Here-and-There Logic and Weighted Logic.
German abstract:
Answer Set Programming wurde gesondert um Constraints, um den Bereich des Streaming und um die Möglichkeit, über die mit den Antwortmengen verbundenen Mengen zu schließen, erweitert. Wir schlagen die Einführung und Analyse eines allgemeinen Rahmens vor, der alle drei Erweiterungsrichtungen umfasst, indem die Stärken der Here-and-There-Logik und der gewichteten Logik genutzt werden.
Keywords:
Weighted Logic, ASP
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302175.pdf
Created from the Publication Database of the Vienna University of Technology.