2020W

• Introduction to Knowledge-based Systems / 184.737 / VU

• ASP(AC): Answer Set Programming with Algebraic Constraints / T. Eiter, R. Kiesel / Talk: 36th International Conference on Logic Programming (ICLP 2020), Rende, Italien; 2020-09-18 - 2020-09-25
• Quantities in Stream Reasoning / T. Eiter, R. Kiesel / Talk: Reasoning about ACtions and Events over Streams (RACES), Rhodes, Greece; 2020-09-12
• Quantitative and Stream Extensions of Answer Set Programming / R. Kiesel / Talk: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, Greece; 2020-09-12 - 2020-09-18
• Weighted LARS for Quantitative Stream Reasoning / T. Eiter, R. Kiesel / Talk: ECAI 2020, Santiago de Compostela, Spain; 2020-08-29 - 2020-09-05; in: "24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)", (2020), 729 - 736
• Weighted LARS for Quantitative Stream Reasoning / T. Eiter, R. Kiesel / Talk: Austrian Workshop on Logic in Computer Science, Turracher Höhe; 2020-01-26 - 2020-01-29
• ASP(AC): Answer Set Programming with Algebraic Constraints / T. Eiter, R. Kiesel / Theory and Practice of Logic Programming, 20 (2020), 6; 895 - 910