[Back]

R. Kiesel:
"Quantitative and Stream Extensions of Answer Set Programming";
Talk: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, Greece; 2020-09-12 - 2020-09-18.

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.

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.

Weighted Logic, Semirings, Answer Set Programming, Aggregates, Quantitative Reasoning