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...
share
research
∙
01/12/2022
DPCL: a Language Template for Normative Specifications
Several solutions for specifying normative artefacts (norms, contracts, ...
research
∙
10/23/2018
