Search Results for author:
Found 4 papers, 0 papers with code
Value-based Practical Reasoning: Modal Logic + Argumentation
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.
BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic
In this paper, we propose a novel interpretable method, BTPK (Binary Talmudic Public Announcement Logic model), to help users understand the internal recognition logic of the name entity recognition tasks based on Talmudic Public Announcement Logic.
Abduction and Dialogical Proof in Argumentation and Logic Programming
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.
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Interpolation is an important property of classical and many non-classical logics that has been shown to have interesting applications in computer science and AI.
