Automated theorem prover for Reasoning @ UoB
-
Updated
Mar 16, 2015 - Python
Automated theorem prover for Reasoning @ UoB
sets a roundtable of reasoning paradigms to respond to a query with stated available resources.
A Reasoning Tool for Argumentation Framework, powered by Logic Programming and Game Theory
Python implementation of CASPAR (Cognitive Architecture System Planned and Reactive)
Jupyter notebooks with examples of Logical Neural Networks (LNN) by IBM
Demonstrations for the Koreografeye project
Author's repository for GSM8K-AI-SubQ reasoning dataset
Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"
a clojure lib for reasoning about semantic web owl, based on hermit
Implementation of Facebook AI Memory Networks
AI-based reasoning using pythonlog
A Simple jumping frog like game. An Agent try to learn how to play the game with simple reasoning and choose a decision based on it's experience. Semi-learning, still need our help to learn.
Some creative programming challenges in the style of the Euler Project; language-agnostic, but solutions are written in Python.
Add a description, image, and links to the reasoning topic page so that developers can more easily learn about it.
To associate your repository with the reasoning topic, visit your repo's landing page and select "manage topics."