10 citations · 41 across the 24 of their papers we have counts for
26 papers
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…
BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic
Yulin Chen, Beishui Liao, Bruno Bentzen +4
As one of the basic tasks in natural language processing (NLP), named entity recognition (NER) is an important basic tool for downstream tasks of NLP, such as information extractio…
A geometrical view of I/O logic
D. Gabbay, X. Parent, L. van der Torre
We describe a geometrical account of the I/O logic put forth by Makinson and van der Torre. A soundness and completeness results was reported for the simplest I/O operation called…
The Attack as Intuitionistic Negation
Dov Gabbay, Michael Gabbay
We translate the argumentation networks into a theory of intuitionistic logic, retaining as the domain and using intuitionistic negation to model the atta…
The Attack as Strong Negation, Part I
Dov Gabbay, Michael Gabbay
We add strong negation to classical logic and interpret the attack relation of " attacks " in argumentation as . We write a corresponding object level (using $…
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 $…