1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
From Probabilistic Programming to Complexity-based Programming
Giovanni Sileno, Jean-Louis Dessalles
The paper presents the main characteristics and a preliminary implementation of a novel computational framework named CompLog. Inspired by probabilistic programming systems like Pr…
DPCL: a Language Template for Normative Specifications
Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci +1
Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies ha…
Logic Conditionals, Supervenience, and Selection Tasks
Giovanni Sileno
Principles of cognitive economy would require that concepts about objects, properties and relations should be introduced only if they simplify the conceptualisation of a domain. Un…
The Role of Normware in Trustworthy and Explainable AI
Giovanni Sileno, Alexander Boer, Tom van Engers
For being potentially destructive, in practice incomprehensible and for the most unintelligible, contemporary technology is setting high challenges on our society. New conception m…