2022W

• Introduction to Knowledge-based Systems / 184.737 / VU

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

• 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