Reasoning, Rationality & Science

Tag: AI

9 items with this tag.

Oct 28, 2026
Nonmonotonic Logic
- AI
Oct 28, 2026
AI Deception
- AI
- tomfelix
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
New paper on Representation Considerations for Logical Argumentation Frameworks: Minimality, Consistency, Compactness and Logical Preservation out on Argument and Computation
- christian
- ofer
- AI
- SBA
- 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
Oct 28, 2026
New paper in KR 2026
Oct 28, 2026
Christian gave a talk in Hagen on Inconsistency Measures
Oct 28, 2026
Tom-Felix abstract on AI Deception got accepted for ECAP

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community