Patrick Blackburn | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jørgen Villadsen
12 publications
Asta Halkjær From
4 publications
Luciana Benotti
2 publications

research

∙ 02/08/2022

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle

We describe a natural deduction formalization of intuitionistic and clas...

0 Jørgen Villadsen, et al. ∙

research

∙ 04/18/2021

A recipe for annotating grounded clarifications

In order to interpret the communicative intents of an utterance, it need...

0 Luciana Benotti, et al. ∙

research

∙ 10/30/2020

Isabelle/HOL as a Meta-Language for Teaching Logic

Proof assistants are important tools for teaching logic. We support this...

0 Asta Halkjær From, et al. ∙