2025W

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Logic and Computability / 185.A45 / VU
• Research Seminar for Master and PhD students / 185.A39 / SE
• Scientific Research and Writing / 193.052 / SE

2026S

• Logic and Reasoning in Computer Science / 192.033 / VU
• Research Seminar for Master and PhD students / 185.A39 / SE
• Scientific Research and Writing / 193.052 / SE

• Rule-based Classifier Models / Di Florio, C., Dong, H., & Rotolo, A. (2026). Rule-based Classifier Models. In J. Maranhão (Ed.), ICAIL ’25: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law (pp. 465–469). ACM. https://doi.org/10.1145/3769126.3769243
• A Modal Logic for Temporal and Jurisdictional Classifier Models / Di Florio, C., Dong, H., & Rotolo, A. (2025). A Modal Logic for Temporal and Jurisdictional Classifier Models. In C. Dima, A. Ferrando, & V. Malvone (Eds.), PRIMA 2025: Principles and Practice of Multi-Agent Systems : 26th International Conference, Modena, Italy, December 16–19, 2025, Proceedings (pp. 251–259). Springer. https://doi.org/10.1007/978-3-032-13562-9_18
• The Structure of Precedents Matter / Dong, H. (2025, December 4). The Structure of Precedents Matter [Conference Presentation]. LuxLogAI 2025, Luxemburg, Luxembourg. http://hdl.handle.net/20.500.12708/224486
• Permissible Shared Knowledge / Dong, H. (2025, July 7). Permissible Shared Knowledge [Conference Presentation]. Logic Colloquium 2025, Wien, Austria.
• Contrary-to-Duty Rights: From Hohfeld to Agreement Revision / Dong, H., van der Torre, L., & Yu, L. (2025). Contrary-to-Duty Rights: From Hohfeld to Agreement Revision. In R. Markovich, L. Di Caro, A. Rapp, & C. Schifanella (Eds.), Legal Knowledge and Information Systems : JURIX 2025: The Thirty-eighth Annual Conference (pp. 61–73). IOS Press. https://doi.org/10.3233/FAIA251577
• Permissible Shared Knowledge / Dong, H. (2024, October 15). Permissible Shared Knowledge [Conference Presentation]. ENIGMA 2024, Luxemburg, Luxembourg. http://hdl.handle.net/20.500.12708/207869
• Permissible Knowledge Sharing / Dong, H. (2024, September 11). Permissible Knowledge Sharing [Presentation]. From Complex to Simple Workshop 2024, Wien, Austria. http://hdl.handle.net/20.500.12708/207951
• Stability and Balance in Weighted Networks / Wang Y. N., & Dong H. (2024). Stability and Balance in Weighted Networks. Luojixue Yanjiu = Studies in Logic, 17(4), 35–53. http://hdl.handle.net/20.500.12708/205809
• Epistemic Positions: Towards a Formal Theory of Epistemic Injustice / Dong, H. (2024, August 20). Epistemic Positions: Towards a Formal Theory of Epistemic Injustice [Conference Presentation]. International Conference on Advances in Modal Logic (AiML 2024), Prag, Czechia. http://hdl.handle.net/20.500.12708/208165
• When Precedents Clash / Di Florio, C., Dong, H., & Rotolo, A. (2024). When Precedents Clash. In J. Savelka, J. Harasta, T. Novotna, & J. Misek (Eds.), Legal Knowledge and Information Systems (pp. 37–47). IOS Press. https://doi.org/10.3233/FAIA241232
  Download: PDF (230 KB)