An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption

This repository describes kinematics of shoulder joint which is highly complex with multiple internal joints rather than conventional 3 DOF ball joint model.

Implementation of a new scenario for the Neural-Symbolic system NEUROLOG

Interpret natural language using abductive inference

Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"

A Mathematical Theory of Abductive Logical Reasoning.

A Python interface of Open-David, an abductive reasoner

Implementation of syllogistic reasoning using a new cognitive theory based on the Weak Completion Semantics.

Abduction test code by F# for my learning.

Seminar paper on Abduction and Logic Programming with some Abstract Argumentation

Source code for the paper: Espinosa Dice N, Kaye M, Ahmed H, Montanez G, "A Probabilistic Theory of Abductive Reasoning," ICAART 2021. Work supported in part by the National Science Foundation under Grant No. 1950885.