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

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

A Python interface of Open-David, an abductive reasoner

A Mathematical Theory of Abductive Logical Reasoning.

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

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.

Interpret natural language using abductive inference

Abduction test code by F# for my learning.

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

Seminar paper on Abduction and Logic Programming with some Abstract Argumentation

TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption

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