Dragan Doder
10 papers
· 2015–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π§
Keyword Pioneer
π
Cross-Pollinator
(13)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(15)
π§¬
Topic Evolution
π
Century Club
(10)
Conferences
IJCAI (8)
AAAI (2)
Top co-authors
Research topics
Keywords
argumentation framework
(3)
gradual semantics
(2)
formal argumentation
(2)
weighted argument
(2)
attack semantics
(2)
belief revision
(2)
model checking
(2)
probabilistic temporal logic
(2)
argumentation graph
(2)
argumentation semantics
(1)
argument strength
(1)
alternating-time temporal logic
(1)
formal semantics
(1)
bipolar argumentation
(1)
weighted argumentation
(1)
policy verification
(1)
acceptability semantics
(1)
actual causality
(1)
ranking semantics
(1)
compensation degree
(1)
Papers
Rational Revision of Group Intentions
AAAI 2026
Compilation of Logical Arguments
IJCAI 2019