References of "Doder, Dragan 50001708"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)
Van Zee, Marc UL; Doder, Dragan UL

in Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (2016, April)

Detailed reference viewed: 54 (1 UL)
Full Text
Peer Reviewed
See detailAGM-Style Revision of Beliefs and Intentions
Van Zee, Marc UL; Doder, Dragan UL

in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16) (2016)

Detailed reference viewed: 38 (0 UL)
Full Text
Peer Reviewed
See detailOn evaluations of propositional formulas in countable structures
Perovi, Aleksandar; Doder, Dragan UL; Ognjanovi, Zoran et al

in Filomat (2016), 30(1), 1--13

Detailed reference viewed: 19 (1 UL)
Full Text
Peer Reviewed
See detailRanking Arguments With Compensation-Based Semantics
Amgoud, Leila; Ben-Naim, Jonathan; Doder, Dragan UL et al

in Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. (2016)

Detailed reference viewed: 26 (1 UL)
Peer Reviewed
See detailProbabilistic logics with independence and probabilistic support
Doder, Dragan UL; Ognjanovic, Zoran

Scientific Conference (2015)

Detailed reference viewed: 18 (0 UL)
Full Text
Peer Reviewed
See detailProbabilistic Common Knowledge Among Infinite Number of Agents
Tomovic, Sinisa; Ognjanovic, Zoran; Doder, Dragan UL

in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings (2015)

Detailed reference viewed: 50 (0 UL)
Full Text
Peer Reviewed
See detailHow to Decrease and Resolve Inconsistency of a Knowledge Base?
Doder, Dragan UL; Vesic, Srdjan

in Loiseau, Stephane; Filipe, Joaquim; Duval, Béatrice (Eds.) et al ICAART 2015, Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2 (2015)

Detailed reference viewed: 86 (13 UL)
Full Text
Peer Reviewed
See detailA logic with Upper and Lower Probability Operators
Savic, Nenad; Doder, Dragan UL; Ognjanovic, Zoran

in ISIPTA ’15: Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications (2015)

Detailed reference viewed: 44 (2 UL)
Full Text
Peer Reviewed
See detailConsistency Conditions for Beliefs and Intentions
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

Scientific Conference (2015)

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show ... [more ▼]

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic [less ▲]

Detailed reference viewed: 107 (6 UL)
Full Text
Peer Reviewed
See detailAGM Revision of Beliefs about Action and Time
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to ... [more ▼]

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to- morrow it will rain), possibility (it may rain tomor- row), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl repre- sentation theorems by restricting the logic to for- mulas representing beliefs up to certain time. We illustrate our belief change model through several examples [less ▲]

Detailed reference viewed: 110 (9 UL)
Full Text
Peer Reviewed
See detailA Probabilistic Logic for Reasoning about Uncertain Temporal Information
Doder, Dragan UL; Ognjanovic, Zoran

in Uncertainty in Artificial Intelligence: Proceedings of the Thirty-First Conference (2015) (2015)

Detailed reference viewed: 36 (3 UL)
Full Text
Peer Reviewed
See detailProbabilistic Abstract Dialectical Frameworks
Polberg, Sylwia; Doder, Dragan UL

in Fermé, Eduardo; Leite, Joao (Eds.) Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings (2014)

Detailed reference viewed: 72 (1 UL)
Full Text
Peer Reviewed
See detailProbabilistic Argumentation Frameworks - A Logical Approach
Doder, Dragan UL; Woltran, Stefan

in Straccia, Umberto; Cali, Andrea (Eds.) Scalable Uncertainty Management, 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings (2014)

Detailed reference viewed: 74 (2 UL)