research
∙
04/11/2022
Value-based Practical Reasoning: Modal Logic + Argumentation
Autonomous agents are supposed to be able to finish tasks or achieve goa...
share
research
∙
01/24/2022
BTPK-based learning: An Interpretable Method for Named Entity Recognition
Named entity recognition (NER) is an essential task in natural language ...
research
∙
07/15/2014
Abduction and Dialogical Proof in Argumentation and Logic Programming
We develop a model of abduction in abstract argumentation, where changes...
research
∙
01/16/2014
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Interpolation is an important property of classical and many non-classic...
research
∙
06/18/2011
Embedding and Automating Conditional Logics in Classical Higher-Order Logic
A sound and complete embedding of conditional logics into classical high...
research
∙
12/17/2010