research
∙
08/30/2023
Deontic Paradoxes in ASP with Weak Constraints
The rise of powerful AI technology for a range of applications that are ...
share
research
∙
06/15/2023
Streamlining Input/Output Logics with Sequent Calculi
Input/Output (I/O) logic is a general framework for reasoning about cond...
research
∙
04/26/2023
Cut-restriction: from cuts to analytic cuts
Cut-elimination is the bedrock of proof theory with a multitude of appli...
research
∙
03/03/2022
A theory of cut-restriction: first steps
Cut-elimination is the bedrock of proof theory. It is the algorithm that...
research
∙
11/06/2019
Display to Labelled Proofs and Back Again for Tense Logics
We introduce translations between display calculus proofs and labelled c...
research
∙
07/01/2019
Dermtrainer: A Decision Support System for Dermatological Diseases
Dermtrainer is a medical decision support system that assists general pr...
research
∙
02/11/2019
A typed parallel λ-calculus for graph-based communication
We introduce λ_∥ - a simple yet powerful parallel extension of simply ty...
research
∙
09/10/2018