Picture for Giovanni Sileno

Giovanni Sileno

Three Conjectures on Unexpectedeness

Add code
Nov 15, 2023
Viaarxiv icon

From Probabilistic Programming to Complexity-based Programming

Add code
Jul 28, 2023
Viaarxiv icon

DPCL: a Language Template for Normative Specifications

Add code
Jan 12, 2022
Viaarxiv icon

Logic Conditionals, Supervenience, and Selection Tasks

Add code
Aug 11, 2019
Viaarxiv icon

The Role of Normware in Trustworthy and Explainable AI

Add code
Dec 06, 2018
Figure 1 for The Role of Normware in Trustworthy and Explainable AI
Figure 2 for The Role of Normware in Trustworthy and Explainable AI
Figure 3 for The Role of Normware in Trustworthy and Explainable AI
Viaarxiv icon

Institutional Metaphors for Designing Large-Scale Distributed AI versus AI Techniques for Running Institutions

Add code
Mar 09, 2018
Viaarxiv icon

Logic Programming Petri Nets

Add code
Jan 26, 2017
Figure 1 for Logic Programming Petri Nets
Figure 2 for Logic Programming Petri Nets
Figure 3 for Logic Programming Petri Nets
Figure 4 for Logic Programming Petri Nets
Viaarxiv icon