2024W

• Introduction to Knowledge-based Systems / 192.023 / VU

2025S

• Introduction to Artificial Intelligence / 192.027 / VU
• Knowledge-based Systems / 184.730 / VU

• Contracted Temporal Equilibrium Logic / Cabalar, P., Eiter, T., & Soldà, D. (2024). Contracted Temporal Equilibrium Logic. In P. Marquis, M. M. Ortiz de la Fuente, & M. Pagnucco (Eds.), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 221–231). IJCAI Organization. https://doi.org/10.24963/kr.2024/21
  Download: PDF (296 KB)
• 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., López 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)