- Full text PDF available (15)
- This year (4)
- Last 5 years (27)
- Last 10 years (33)
Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief-intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.'s definition… (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 pre-and post-conditions of these actions. We prove the… (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)
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 axiomati-zation for the considered logic.