Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
R. Kiesel:
"Quantitative and Stream Extensions of Answer Set Programming.";
Vortrag: 37th International Conference on Logic Programming (ICLP 2021),
Porto, Portugal (virtual);
20.09.2021
- 27.09.2021; in: "Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021",
(2021).
Kurzfassung deutsch:
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.
Kurzfassung englisch:
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.
Schlagworte:
Weighted Logic, ASP
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_302175.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.