2023W

• Introduction to Knowledge-based Systems / 192.023 / VU

2024S

• Introduction to Artificial Intelligence / 192.027 / VU

• ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems / Soldà, D., Fabiano, F., & Dovier, A. (2023). ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. Journal of Logic and Computation, 33(8), 1804–1831. https://doi.org/10.1093/logcom/exad036
  Download: PDF (2.44 MB)
• Progression for Monitoring in Temporal ASP / Soldà, D., Lopez-Miguel, I. D., Bartocci, E., & Eiter, T. (2023). Progression for Monitoring in Temporal ASP. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 2170–2177). Frontiers. https://doi.org/10.3233/FAIA230513
  Download: PDF (343 KB)
  Project: TAIGER (2023–2027)