Stars
ubc-systopia / treeFarms
Forked from ubc-systopia/gosdt-guessesTrees 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 …
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
a visual dictionary of Bayesian Networks and Causal Inference.
JackWahlig / popper
Forked from logic-and-learning-lab/PopperPopper 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 Toolkit for Causal and Probabilistic Reasoning
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.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
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.
An operating system written in Common Lisp
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