Reasoning, Rationality & Science
Search
Search
Dark mode
Light mode
Explorer
Tag: kees
3 items with this tag.
Oct 28, 2026
Talks on Cut-Freeness and Integrating Questions in the Argument Calculi at the Lodex Workshop in Luxembourg
andrea
christian
AC
DAC
AI
lodex
kees
news
Oct 28, 2026
New paper on "Making Argument Calculi Proof-Theoretically Robust: Cut-Elimination, Analyticity, and Interpolation" is forthcoming in the Proceedings of AI^3
kees
christian
andrea
DAC
AC
AI
news
lodex
Oct 28, 2026
Now Paper "A Characterization of ASPIC+ Frameworks in Sequent-Based Formal Argumentation" has been published in the proceedings of LNGAI 2026
luca
christian
kees
AI
conferences
ASPIC
SBA
news
lodex