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

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

UFO Raider is a synthwave arcade side-scroller about human abduction — flying a Class-9 Extractor through five hostile sectors while Earth's military response escalates in real time.

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

Interpret natural language using abductive inference

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

Abduction test code by F# for my learning.

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

Seminar paper on Abduction and Logic Programming with some Abstract Argumentation

A Python interface of Open-David, an abductive reasoner

A Mathematical Theory of Abductive Logical Reasoning.

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.

CATS (Comenius-Abduction-Team Solver) is an experimental tool for solving A-Box abduction problems in description logics using various algorithms.