Reasoning, Rationality & Science

Tag: DAC

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

    New paper on "Ignorance is not Bliss: Deontic Risk and the Asking of Questions" forthcoming in the proceedings of AI^3

    • christian
    • hauke
    • isabella
    • leander
    • questions
    • SBA
    • AC
    • DAC
    • news
    • lodex

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community