8 citations · 9 across the 7 of their papers we have counts for
7 papers
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…
Enriching a CP-Net by Asymmetric Merging
Stijn Henckens, Mostafa Mohajeri Parizi, Giovanni Sileno
Conditional ceteris paribus preference networks (CP-nets) are commonly used to capture qualitative conditional preferences. In many use cases, when the preferential structure of an…
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…
Anchoring Distributed Agency: Institutional Metaphors for Designing Large-Scale AI and AI Techniques for Running Institutions
Alexander Boer, Giovanni Sileno
Artificial Intelligence (AI) started out with the ambition to reproduce the human mind, but as soon as the sheer scale of that ambition became apparent, it retreated into either st…
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)
Giovanni Sileno
Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain. The paper reports on…