Matteo Pascucci | DeepAI

DeepAI

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

Featured Co-authors

Tim S. Lyon
14 publications
Giovanni Sileno
7 publications
Kees van Berkel
6 publications
Tomer Libal
4 publications
Tom van Engers
2 publications
Thomas van Binsbergen
1 publication

research

∙ 09/06/2022

A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations

This article proposes the use of temporal logic for an analysis of instr...

0 Kees van Berkel, et al. ∙

research

∙ 01/12/2022

DPCL: a Language Template for Normative Specifications

Several solutions for specifying normative artefacts (norms, contracts, ...

2 Giovanni Sileno, et al. ∙

research

∙ 10/23/2018

Automated Reasoning in Normative Detachment Structures with Ideal Conditions

Systems of deontic logic suffer either from being too expressive and the...

0 Tomer Libal, et al. ∙