Order:
  1.  2
    Evaluation of argument strength in attack graphs: Foundations and semantics.Leila Amgoud, Dragan Doder & Srdjan Vesic - 2022 - Artificial Intelligence 302 (C):103607.
  2.  11
    Probabilistic Logics with Independence and Confirmation.Dragan Doder & Zoran Ognjanović - 2017 - Studia Logica 105 (5):943-969.
    The main goal of this work is to present the proof-theoretical and model-theoretical approaches to probabilistic logics which allow reasoning about independence and probabilistic support. We extend the existing formalisms [14] to obtain several variants of probabilistic logics by adding the operators for independence and confirmation to the syntax. We axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and strongly complete, and discuss decidability issues.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  21
    Intention as commitment toward time.Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani, Thomas Icard & Eric Pacuit - 2020 - Artificial Intelligence 283 (C):103270.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  13
    A propositional linear time logic with time flow isomorphic to ω2.Bojan Marinković, Zoran Ognjanović, Dragan Doder & Aleksandar Perović - 2014 - Journal of Applied Logic 12 (2):208-229.
  5.  5
    Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.Dragan Doder, Nenad Savić & Zoran Ognjanović - 2020 - Journal of Logic, Language and Information 29 (1):77-107.
    We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  1
    Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.Dragan Doder, Nenad Savić & Zoran Ognjanović - 2020 - Journal of Logic, Language and Information 29 (1):77-107.
    We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark