2025W

• Declarative Problem Solving / 192.187 / VU
• Introduction to Knowledge-based Systems / 192.023 / VU

• A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals / Aguilera-Ventura, C., Liu, X., Lorini, E., & Rozplokhas, D. (2025). A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals. In J. Kwok (Ed.), Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 4301–4310). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2025/479
• Why This and Not That? A Logic-Based Framework for Contrastive Explanations / Geibinger, T., Jaakkola, R., Kuusisto, A., Liu, X., & Vilander, M. (2025). Why This and Not That? A Logic-Based Framework for Contrastive Explanations. In G. Casini, B. Dundua, & T. Kutsia (Eds.), Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I (pp. 45–60). Springer. https://doi.org/10.34726/11634
  Download: Preprint (495 KB)
  Project: BILAI (2024–2029)
• Hydrodynamic and Morphological Adaptation of Two Consecutive Sharp Bends of the Middle Yangtze River to Upstream Damming / Liu, X., Xia, J., Deng, S., Zhou, M., Mao, B., & Blanckaert, K. (2023). Hydrodynamic and Morphological Adaptation of Two Consecutive Sharp Bends of the Middle Yangtze River to Upstream Damming. Water Resources Research, 60(1), 1–22. https://doi.org/10.1029/2023WR034990