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

📅 Last updated: Mar 23. 2026

[August 14. 2024]

I am a postdoctoral researcher at the University of Klagenfurt, working on the EX3 project (EXplain and EXploit Knowledge EXtracted to Improve ASP Performance) under the supervision of Professor Tarzariol Alice. I obtained my PhD from KU Leuven University, where I was a member of the Knowledge Representation and Reasoning group under the supervision of Professor Marc Denecker.

I’ve launched a blog at blogic.ink.

[ORCID, DBLP, SCHOLAR]

2026

A Prudent Logic of Partial Functions [Online Access][PDF Author's version]
Annals of Mathematics and Artificial Intelligence (2026)
Djordje Markovic, Robbe Van den Eede, Marc Denecker

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

Modeling and verifying simple vehicle controller, such as the Triton unmanned aircraft systems of the US Navy: using Imandra system and first-order logic
In book Demystifying Artificial Intelligence Symbolic, Data-Driven, Statistical and Ethical AI, Chapter 4 Reasoning with first-order logic. Published by De Gruyter (p. 136)
Djordje Markovic, Bart Bogaerts, Grant Passmore

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