Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
R. Kiesel:
"Quantitative and Stream Extensions of Answer Set Programming";
Vortrag: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning,
Rhodes, Greece;
12.09.2020
- 18.09.2020.
Kurzfassung deutsch:
Answer Set Programming wurde separat mit Constraints, auf die Streaming-Domäne, und mit Fähigkeiten zum Schlussfolgern über die mit Antwortmengen verbundenen Mengen erweitert. Wir schlagen die Einführung und Analyse eines allgemeinen Rahmens vor, der alle drei Erweiterungsrichtungen einbezieht, indem er die Stärken der Here-and-There-Logik und der gewichteten Logik ausnutzt.
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, Semirings, Answer Set Programming, Aggregates, Quantitative Reasoning
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.