10 citations · 41 across the 24 of their papers we have counts for
6 papers · 1 filter
Value-based Practical Reasoning: Modal Logic + Argumentation
Jieting Luo, Beishui Liao, Dov Gabbay
Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions. Since there might exist multip…
Theory of Semi-Instantiation in Abstract Argumentation
D. M. Gabbay
We study instantiated abstract argumentation frames of the form , where is an abstract argumentation frame and where the arguments of are instantiated by $…
Equilibrium States in Numerical Argumentation Networks
D. Gabbay, O. Rodrigues
Given an argumentation network with initial values to the arguments, we look for algorithms which can yield extensions compatible with such initial values. We find that the best wa…
Abduction and Dialogical Proof in Argumentation and Logic Programming
Richard Booth, Dov Gabbay, Souhila Kaci +2
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialog…
The Equational Approach to CF2 Semantics
Dov M. Gabbay
We introduce a family of new equational semantics for argumentation networks which can handle odd and even loops in a uniform manner. We offer one version of equational semantics w…
Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Christoph Benzmueller, Dov Gabbay, Valerio Genovese +1
A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated…