3 citations · 4 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
An Unofficial FastLAS Tutorial: A Programmer's Guide
Fabio Aurelio D'Asaro
FastLAS is a scalable system for Inductive Logic Programming (ILP): you give it some background knowledge, a language bias, and a set of examples, and it searches for a set of logi…
cs.LO2022★ 3 cited
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
Fabio Aurelio D'Asaro, Francesco Genco, Giuseppe Primiero
In this paper we present the probabilistic typed natural deduction calculus TPTND, designed to reason about and derive trustworthiness properties of probabilistic computational pro…