#### Filter Results:

- Full text PDF available (19)

#### Publication Year

1994

2017

- This year (6)
- Last 5 years (30)
- Last 10 years (39)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
- Int. J. Approx. Reasoning
- 2010

- Sylwia Polberg, Dragan Doder
- JELIA
- 2014

- Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder
- ECSQARU
- 2013

- Johannes Peter Wallner, Verfassung der Arbeit, +27 authors Martin Kronegger
- 2014

In the last couple of decades argumentation emerged as an important topic in Artificial Intelligence (AI). Having its origin in philosophy, law and formal logic, argumentation in combination with computer science has developed into various formal models, which nowadays are found in diverse applications including legal reasoning, E-Democracy tools, medical… (More)

In almost all existing semantics in argumentation, a strong attack has a lethal effect on its target that a set of several weak attacks may not have. This paper investigates the case where several weak attacks may compensate one strong attack. It defines a broad class of ranking semantics, called α−BBS, which satisfy compensation. α−BBS assign a burden… (More)

- Marc van Zee, Dragan Doder, Mehdi Dastani, Leon van der Torre
- IJCAI
- 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, containing expressions about temporal propositions (tomorrow it will rain), possibility (it may rain tomorrow), actions (the robot enters the room) and preand post-conditions of these actions. We prove the… (More)

- Dragan Doder, Stefan Woltran
- SUM
- 2014

- Dragan Doder, Zoran Ognjanovic, Zoran Markovic
- J. UCS
- 2010

We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no finitary axiomatization. We offer a sound and strongly complete axiomatization for the considered logic.

- Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
- J. Applied Logic
- 2014

Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to ordinal ω (concatenation of ω copies of ω). If we think of ω as lexicographically ordered ω×ω, then any particular zero-time transition can be represented by states whose indices… (More)