Reasoning, Rationality & Science

Tag: lodex

13 items with this tag.

Oct 28, 2026
Research Project: Lodex
- lodex
- christian
Oct 28, 2026
Aleks Knoks joined us for a guest professorship
Oct 28, 2026
Luca gave several talks at the LoDEx workshop in Luxembourg
Oct 28, 2026
Andrea Sabatini joined our team to work on the Lodex project
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 "Ignorance is not Bliss: Deontic Risk and the Asking of Questions" forthcoming in the proceedings of AI^3
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
Visitors: Badran Raddaoui and Leander Hirschsteiner
Oct 28, 2026
New Paper by Luca Redondi on Defeasible Case-Based Reasoning in Ethics in COMMA 2026
Oct 28, 2026
New paper in KR 2026
Oct 28, 2026
Andrea Sabatini
- lodex
- andrea

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community