research
∙
02/08/2022
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
We describe a natural deduction formalization of intuitionistic and clas...
research
∙
04/18/2021
A recipe for annotating grounded clarifications
In order to interpret the communicative intents of an utterance, it need...
research
∙
10/30/2020