2021W

• Introduction to Knowledge-based Systems / 184.737 / VU

2022S

• Introduction to Artificial Intelligence / 184.735 / VU

• Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. / T. Eiter, M. Hecher, R. Kiesel / Talk: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event; 2021-11-03 - 2021-11-12; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021", (2021), 269 - 279
• Quantitative and Stream Extensions of Answer Set Programming. / R. Kiesel / 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)
• On the Complexity of Sum-of-Products Problems over Semirings. / T. Eiter, R. Kiesel / Talk: 35th AAAI 2021, virtual event; 2021-02-02 - 2021-02-09; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021", (2021), 6304 - 6311
• Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures / L. Bozatto, T. Eiter, R. Kiesel / TPLP - Theory and Practice of Logic Programming, 5 (2021), 593 - 609
• aspmc: An Algebraic Answer Set Counter. / T. Eiter, M. Hecher, R. Kiesel / Talk: 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal; 2020-09-20 - 2020-09-21; in: "Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021", (2021)
• 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