Đorđe Marković - Ђорђе Марковић
About | Posts | Presentations | Contact
📅 Last updated: Jan 8. 2024
📦 Presentations
This page hosts presentation materials. Slides and posters are distinguished by the respective (prefix) icons 📊 and 📜.
| 📰 Title | 🏫 Location | 📅 Date (^) | 📥 |
|---|---|---|---|
| 📊 A Prudent Logic of Partial Functions as a Unifying Framework of Many Sorted Logics | Cape-KR 2025 symposium | Feb 13. 2025 | [PDF] |
| 📊 IDP sistem baze znanja – Rešavanje praktičnih problema | PMF Kragujevac ScIMI seminar | Nov 27. 2024 | [PDF] |
| 📊 A Prudent Logic of Partial Functions | KU Leuven DTAI seminar | Nov 11. 2024 | [PDF] |
| 📊 Language Constructs for Eliminating Ambiguities in Knowledge Representation | Lecture at TTU (Lubbock) 2024 | Oct 20. 2024 | [PDF] |
| 📊 Order-sorted intensional logic: Expressing subtyping polymorphism with typing assertions and quantification over concepts | ICLP'24 | Oct 14. 2024 | [PDF] |
| 📊 Solving "Greeting a Customer with Unknown Data" Challenge with Epistemic DMN | RuleML+RR'24 | Sep 17. 2024 | [PDF] |
| 📜 An epistemic logic for modeling decisions in the context of incomplete knowledge | ACM-SIGAPP'24 | Apr 3. 2024 | [PDF] |
| 📊Order-sorted logic meets intensional logic | KU Leuven DTAI seminar | Nov 30. 2023 | [PDF] |