Profil

DODER Dragan

Main Referenced Co-authors
Ognjanovic, Zoran (4)
VAN ZEE, Marc  (4)
Dastani, Mehdi (2)
VAN DER TORRE, Leon  (2)
Vesic, Srdjan (2)
Main Referenced Keywords
AGM theory of belief revision (1); semantics for actions over time (1);
Main Referenced Disciplines
Computer science (10)
Mathematics (5)

Publications (total 13)

The most downloaded
186 downloads
Van Zee, M., Doder, D., Dastani, M., & van der Torre, L. (2015). AGM Revision of Beliefs about Action and Time. In Proceedings of the International Joint Conference on Artificial Intelligence. https://hdl.handle.net/10993/21354

The most cited

38 citations (Scopus®)

Amgoud, L., Ben-Naim, J., Doder, D., & Vesic, S. (2016). Ranking Arguments With Compensation-Based Semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. https://hdl.handle.net/10993/31054

Van Zee, M., & Doder, D. (2016). AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version). In Proceedings of the 16th International Workshop on Non-Monotonic Reasoning. doi:10.3233/978-1-61499-672-9-1511
Peer reviewed

Van Zee, M., & Doder, D. (2016). AGM-Style Revision of Beliefs and Intentions. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16). doi:10.3233/978-1-61499-672-9-1511
Peer reviewed

Amgoud, L., Ben-Naim, J., Doder, D., & Vesic, S. (2016). Ranking Arguments With Compensation-Based Semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016.
Peer reviewed

Perovi, A., Doder, D., Ognjanovi, Z., & Ra\vskovi, M. (2016). On evaluations of propositional formulas in countable structures. Filomat, 30 (1), 1--13.
Peer reviewed

Doder, D., & Vesic, S. (2015). How to Decrease and Resolve Inconsistency of a Knowledge Base? In S. Loiseau, J. Filipe, B. Duval, ... J. van den Herik (Eds.), ICAART 2015, Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2 (pp. 27-37).
Peer reviewed

Tomovic, S., Ognjanovic, Z., & Doder, D. (2015). Probabilistic Common Knowledge Among Infinite Number of Agents. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. doi:10.1007/978-3-319-20807-7_45
Peer reviewed

Doder, D., & Ognjanovic, Z. (2015). Probabilistic logics with independence and probabilistic support [Paper presentation]. 7th Workshop on Combining Probability and Logic.

Doder, D., & Ognjanovic, Z. (2015). A Probabilistic Logic for Reasoning about Uncertain Temporal Information. In Uncertainty in Artificial Intelligence: Proceedings of the Thirty-First Conference (2015) (pp. 267-276).
Peer reviewed

Savic, N., Doder, D., & Ognjanovic, Z. (2015). A logic with Upper and Lower Probability Operators. In ISIPTA ’15: Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications (pp. 248-257).
Peer reviewed

Van Zee, M., Doder, D., Dastani, M., & van der Torre, L. (2015). Consistency Conditions for Beliefs and Intentions [Paper presentation]. the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning.

Van Zee, M., Doder, D., Dastani, M., & van der Torre, L. (2015). AGM Revision of Beliefs about Action and Time. In Proceedings of the International Joint Conference on Artificial Intelligence.
Peer reviewed

Doder, D., & Woltran, S. (2014). Probabilistic Argumentation Frameworks - A Logical Approach. In U. Straccia & A. Cali (Eds.), Scalable Uncertainty Management, 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings (pp. 134-147). Springer.
Peer reviewed

Polberg, S., & Doder, D. (2014). Probabilistic Abstract Dialectical Frameworks. In E. Fermé & J. Leite (Eds.), Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings (pp. 591-599). Springer.
Peer reviewed

Contact ORBilu