Đorđe Marković - Ђорђе Марковић
CV | ORCID | DBLP | SCHOLAR | markovic [at] djordje [dot] rs | dorde [dot] markovic [at] aau [dot] at | Sep 16. 2026
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.
Publications
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
2025
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
2024
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 RepresentationLogics 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
Research Positions
Postdoctoral Researcher, Institut für Artificial Intelligence und Cybersecurity, University of Klagenfurt, Nov 2025 - Present
Education
[2021 - 2025] KU Leuven Computer Science
[2020 - 2021] KU Leuven Computer Science
[2018 - 2019] Faculty of Science, University of Kragujevac Computer Science
[2013 - 2018] Faculty of Science, University of Kragujevac Computer Science
[2009 - 2013] Prva Kragujevačka Gimnazija Natural Sciences
Additional education
[2021] Midlands Graduate School in the Foundations of Computing Science 2021 (In Cyberspace)
[2022] 33th European Summer School in Logic, Language and Information (ESSLLI) (Galway, Ireland)
[2024] 35th European Summer School in Logic, Language and Information (ESSLLI) (Leuven, Belgium)
Teaching Experience
University of Klagenfurt
Lecturer
Introduction to Artificial Inteligence 1
Jan 2026 - Sep 2026
KU Leuven
Teaching assistant
Jan 2021 - Jan 2026
Working Experience
Technomedia d.o.o
Software Engineer
Part time
Oct 2018 - Aug 2019 (11 mos)
DM Dokumenten Management GmbH
Software Engineer Intern
Full time
Jul 2017 - Aug 2017 (2 mos)
Neutrinos
Software Engineer Intern
Part time
Apr 2016 - Apr 2017 (12 mos)