rzese

BundleQueryInterface

Corso_Deep_Learning_UNIFE

Jupyter notebooks used in the course Deep Learning of the Department of Engineering at the University of Ferrara. Some notebooks are taken from Tensorflow tutorial and presents minor changes to fit the course needs.

docker-trill

This repository contains the commands to create a docker image with TRILL reasoner.

Intra-Domestic-Water-Leaks-Dataset

thea

OWL2 library for Prolog

TransKeyR

This is a fork from Mauro97P / TransKeyR

trill

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

trill_inc

TRILL INC (temporary name) is an extension of the reasoner TRILL (https://github.com/rzese/trill) able to compute probability of queries from inconsistent probabilistic knowledge bases.

Vitis-AI

Vitis AI is Xilinx’s development stack for AI inference on Xilinx hardware platforms, including both edge devices and Alveo cards.

swipl-devel

SWI-Prolog Main development repository

rzese/trill

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

rzese/BundleQueryInterface

rzese/Corso_Deep_Learning_UNIFE

Jupyter notebooks used in the course Deep Learning of the Department of Engineering at the University of Ferrara. Some notebooks are taken from Tensorflow tutorial and presents minor changes to fit the course needs.

rzese/docker-trill

This repository contains the commands to create a docker image with TRILL reasoner.

rzese/Intra-Domestic-Water-Leaks-Dataset

rzese/thea

OWL2 library for Prolog

rzese/TransKeyR

This is a fork from Mauro97P / TransKeyR

rzese/trill_inc

TRILL INC (temporary name) is an extension of the reasoner TRILL (https://github.com/rzese/trill) able to compute probability of queries from inconsistent probabilistic knowledge bases.

rzese/Vitis-AI

Vitis AI is Xilinx’s development stack for AI inference on Xilinx hardware platforms, including both edge devices and Alveo cards.