Trees FAst RashoMon Sets

PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random …

d4 Model Counter

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

a visual dictionary of Bayesian Networks and Causal Inference.

Popper is an inductive logic programming (ILP) system.

Deep Insight And Neural Network Analysis

Lime: Explaining the predictions of any machine learning classifier

A Script for calculating Abstract Dialectical Frameworks (ADFs)

A game theoretic approach to explain the output of any machine learning model.

Python Library for learning (Structure and Parameter), inference (Probabilistic and Causal), and simulations in Bayesian Networks.

Fit interpretable models. Explain blackbox machine learning.

The code part of the paper called 'On Evaluating Feature Attribution Algorithms with Propositional Logic'

An interpreter for a subset of Scheme written in Java

The cuteness implementation of a dependently typed language.

Journal of Statistical Education Paper on Using OkCupid Data for Data Science Courses

An inductive logic programming system

A curated list of awesome responsible machine learning resources.

TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Polynomial-time Meta-Interpretive Learning

An implementation of Implicative Bayesian Networks.

AMD am799x PCnet-II PCI (Lance) Ethernet network driver for AIX PS/2 1.3, ported from NetBSD 1.1

An emulator, written from scratch, for the Z80-based MSX computer.

Easy-mode A/UX installation image for SD Card

An operating system written in Common Lisp

By the Bluebook implementation of Smalltalk-80

NeXTSTEP-like desktop environment for Linux

Pythonic Bayesian Belief Network Package, supporting creation of and exact inference on Bayesian Belief Networks specified as pure python functions.

Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor