Dragan Doder

Learn More
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)
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)
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)