default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDragan Doder
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j15]Dragan Doder, Zoran Ognjanovic:
Probabilistic temporal logic with countably additive semantics. Ann. Pure Appl. Log. 175(9): 103389 (2024)- [c39]Leila Amgoud, Dragan Doder, Marie-Christine Lagasquie-Schiex:
Higher-Order Argumentation Frameworks: Principles and Gradual Semantics. IJCAI 2024: 3224-3231 - [c38]Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Revising Beliefs and Intentions in Stochastic Environments. IJCAI 2024: 3513-3522 - 2023
- [j14]Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer:
Probabilistic Deontic Logics for Reasoning about Uncertain Norms. FLAP 10(2): 193-220 (2023) - [j13]Sejla Dautovic
, Dragan Doder, Zoran Ognjanovic:
Reasoning about knowledge and conditional probability. Int. J. Approx. Reason. 163: 109037 (2023) - [c37]Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee:
Rights and Practical Reasoning in Deontic Logic. DEON 2023: 1-19 - [c36]Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan:
Dynamic Causality. ECAI 2023: 867-874 - [c35]Jeroen Paul Spaans, Dragan Doder:
Graduality in Probabilistic Argumentation Frameworks. ECAI 2023: 2186-2193 - [c34]Saul Gebhardt, Dragan Doder:
Determining Preferences over Extensions: A Cautious Approach to Preference-Based Argumentation Frameworks. ECSQARU 2023: 109-120 - [c33]Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Dynamics of Causal Dependencies in Multi-agent Settings. EMAS 2023: 95-112 - [c32]Dragan Doder, Leila Amgoud, Srdjan Vesic:
Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation. IJCAI 2023: 3176-3183 - [c31]Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan:
Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI 2023: 3296-3303 - [c30]Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Group Responsibility for Exceeding Risk Threshold. KR 2023: 322-332 - 2022
- [j12]Leila Amgoud, Dragan Doder, Srdjan Vesic:
Evaluation of argument strength in attack graphs: Foundations and semantics. Artif. Intell. 302: 103607 (2022) - 2021
- [j11]Sejla Dautovic, Dragan Doder, Zoran Ognjanovic:
Logics for reasoning about degrees of confirmation. J. Log. Comput. 31(8): 2189-2217 (2021) - [c29]Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer:
A Probabilistic Deontic Logic. ECSQARU 2021: 616-628 - [c28]Sejla Dautovic, Dragan Doder, Zoran Ognjanovic:
An Epistemic Probabilistic Logic with Conditional Probabilities. JELIA 2021: 279-293 - 2020
- [j10]Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit:
Intention as commitment toward time. Artif. Intell. 283: 103270 (2020) - [j9]Dragan Doder, Nenad Savic, Zoran Ognjanovic:
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. J. Log. Lang. Inf. 29(1): 77-107 (2020) - [j8]Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder:
A First-order Logic for Reasoning about Knowledge and Probability. ACM Trans. Comput. Log. 21(2): 16:1-16:30 (2020) - [c27]Sejla Dautovic, Dragan Doder, Zoran Ognjanovic:
Reasoning About Degrees of Confirmation. CLAR 2020: 80-95 - [c26]Dragan Doder, Srdjan Vesic, Madalina Croitoru:
Ranking Semantics for Argumentation Systems With Necessities. IJCAI 2020: 1912-1918 - [i4]Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit:
Intention as Commitment toward Time. CoRR abs/2004.08144 (2020)
2010 – 2019
- 2019
- [c25]Leila Amgoud, Dragan Doder:
Gradual Semantics Accounting for Varied-Strength Attacks. AAMAS 2019: 1270-1278 - [c24]Leila Amgoud, Victor David, Dragan Doder:
Similarity Measures Between Arguments Revisited. ECSQARU 2019: 3-13 - [c23]Sejla Dautovic, Dragan Doder:
Probabilistic Logic for Reasoning About Actions in Time. ECSQARU 2019: 385-396 - [c22]Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer:
Probabilistic Consensus of the Blockchain Protocol. ECSQARU 2019: 469-480 - [c21]Leila Amgoud, Dragan Doder:
Compilation of Logical Arguments. IJCAI 2019: 1502-1508 - [c20]Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer:
Incomplete Information and Justifications. TbiLLC 2019: 258-278 - [i3]Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder:
A First-Order Logic for Reasoning about Knowledge and Probability. CoRR abs/1901.06886 (2019) - 2018
- [c19]Dragan Doder, Nenad Savic, Zoran Ognjanovic:
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. FoIKS 2018: 170-185 - [c18]Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet:
Gradual Semantics Accounting for Similarity between Arguments. KR 2018: 88-97 - [c17]Leila Amgoud, Dragan Doder:
Gradual Semantics for Weighted Graphs: An Unifying Approach. KR 2018: 613-614 - 2017
- [j7]Nenad Savic, Dragan Doder, Zoran Ognjanovic:
Logics with lower and upper probability operators. Int. J. Approx. Reason. 88: 148-168 (2017) - [j6]Dragan Doder, Zoran Ognjanovic:
Probabilistic Logics with Independence and Confirmation. Stud Logica 105(5): 943-969 (2017) - [c16]Nenad Savic, Dragan Doder, Zoran Ognjanovic:
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. ECSQARU 2017: 491-500 - [c15]Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic:
Acceptability Semantics for Weighted Argumentation Frameworks. IJCAI 2017: 56-62 - 2016
- [c14]Marc van Zee, Dragan Doder:
AGM-Style Revision of Beliefs and Intentions. ECAI 2016: 1511-1519 - [c13]Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic:
Ranking Arguments With Compensation-Based Semantics. KR 2016: 12-21 - [i2]Marc van Zee, Dragan Doder:
AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version). CoRR abs/1604.07183 (2016) - 2015
- [c12]Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert W. N. van der Torre:
Consistency Conditions for Beliefs and Intentions. AAAI Spring Symposia 2015 - [c11]Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder:
Probabilistic Common Knowledge Among Infinite Number of Agents. ECSQARU 2015: 496-505 - [c10]Dragan Doder, Srdjan Vesic:
How to Decrease and Resolve Inconsistency of a Knowledge Base?. ICAART (2) 2015: 27-37 - [c9]Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre:
AGM Revision of Beliefs about Action and Time. IJCAI 2015: 3250-3256 - [c8]Dragan Doder, Zoran Ognjanovic:
A Probabilistic Logic for Reasoning about Uncertain Temporal Information. UAI 2015: 248-257 - 2014
- [j5]Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic:
A propositional linear time logic with time flow isomorphic to ω2. J. Appl. Log. 12(2): 208-229 (2014) - [c7]Sylwia Polberg, Dragan Doder:
Probabilistic Abstract Dialectical Frameworks. JELIA 2014: 591-599 - [c6]Dragan Doder, Stefan Woltran:
Probabilistic Argumentation Frameworks - A Logical Approach. SUM 2014: 134-147 - 2013
- [j4]Dragan Doder, John Grant, Zoran Ognjanovic:
Probabilistic logics for objects located in space and time. J. Log. Comput. 23(3): 487-515 (2013) - [c5]Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder:
A First-Order Dynamic Probability Logic. ECSQARU 2013: 461-472 - [i1]Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic:
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. CoRR abs/1309.0829 (2013) - 2012
- [j3]Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic:
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Ann. Math. Artif. Intell. 65(2-3): 217-243 (2012) - [c4]Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic:
On Real-Valued Evaluation of Propositional Formulas. FoIKS 2012: 264-277 - 2011
- [c3]Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic:
Probabilistic Approach to Nonmonotonic Consequence Relations. ECSQARU 2011: 459-471 - [c2]Zoran Ognjanovic, Dragan Doder, Zoran Markovic:
A Branching Time Logic with Two Types of Probability Operators. SUM 2011: 219-232 - 2010
- [j2]Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic:
Measures of inconsistency and defaults. Int. J. Approx. Reason. 51(7): 832-845 (2010) - [j1]Dragan Doder, Zoran Ognjanovic, Zoran Markovic:
An Axiomatization of a First-order Branching Time Temporal Logic. J. Univers. Comput. Sci. 16(11): 1439-1451 (2010) - [c1]Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. FoIKS 2010: 9-24
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
