Đorđe Marković - Ђорђе Марковић

📅 Last updated: Nov 11. 2024

[February 5. 2023]

I am a PhD student at KULeuven University. Happy to be a member of the Knowledge Representation and Reasoning group, under the supervision of Professor Marc Denecker.

📚 Publications [DBLP, Scholar]

2024

📄 Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts [PDF]
Proceedings 40th International Conference on Logic Programming
Djordje Markovic, Marc Denecker

📄 Solving “Greeting a Customer with Unknown Data” Challenge with Epistemic DMN [PDF]
Proceedings of RuleML+ RR 2024
Djordje Markovic, Marc Denecker

📄 An epistemic logic for modeling decisions in the context of incomplete knowledge
SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing
Author's (full) version is part of the open-access archive Arxiv [PDF Author's version]
Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker

2023

📄 Towards Systematic Treatment of Partial Functions in Knowledge Representation
Logics in Artificial Intelligence JELIA 2023, part of Lecture Notes in Computer Science
Djordje Markovic, Maurice Bruynooghe, Marc Denecker

2022

📄 On the Semantics of “null” in DMN: Undefined is not Unknown [PDF]
Proceedings of RuleML+ RR 2022
Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker