Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

OpenCog Framework

Compare

  Analyzed about 2 months ago

The Open Cognition Framework (OpenCog) is software for the collaborative development of safe and beneficial Artificial General Intelligence. OpenCog provides research scientists and software developers with a common platform to build and share artificial intelligence programs. Programs written ... [More] or adapted for OpenCog may be combined and used in concert with one another for experimentation or to achieve better results compared to their stand-alone counterparts. OpenCog is under active development, but doesn't yet have a official release. It is currently best suited for machine learning developers, but have an interest in making more accessible to new comers. [Less]

124K lines of code

23 current contributors

about 2 months since last commit

9 users on Open Hub

Activity Not Available
5.0
 
I Use This

UnBBayes

Compare

  Analyzed 9 months ago

UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports BN, ID, MSBN, OOBN, HBN, MEBN/PR-OWL, structure, parameter and incremental learning.

1.41M lines of code

5 current contributors

9 months since last commit

6 users on Open Hub

Activity Not Available
4.2
   
I Use This

grools-application

Compare

  Analyzed 20 days ago

GROOLS is a powerfull reasoner to deal with uncertainties and contradiction. This application is a standalone tools to show a possible usage of GROOLS API.

1.43K lines of code

3 current contributors

2 months since last commit

1 users on Open Hub

New Project
0.0
 
I Use This

HERA

Compare

  Analyzed almost 6 years ago

Hera is a library for Equational Reasoning.

5.54K lines of code

0 current contributors

over 9 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

qualitative-system-identification

Compare

  Analyzed 12 months ago

This project concerns the development of an algorithm for Qualitative System Identification for Forbus' process based approach to Qualitative Reasoning. The project uses the GARP3 software package. State-graphs are used as input, and a model is the output. This project is done for the BSc thesis ... [More] in Artificial Intelligence at the Unviersity of Amsterdam. [Less]

4.39K lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

open-nars

Compare

  Analyzed 12 months ago

Open-nars is the open source version of the NARS project, which attempts to uniformly explain and reproduce many cognitive facilities, including reasoning, learning, planning, etc, so as to provide a unified theory, model, and system for AI as a whole. What makes this system different from ... [More] conventional reasoning systems is its ability to learn from its experience and to work with insufficient knowledge and resources. The ultimate goal of this research is to build a thinking machine. This project is still at the conceptual design stage. If you are interested to join this research, the best place to start reading is the publications, not the source code. [Less]

48.3K lines of code

0 current contributors

over 2 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

ScavengerProver

Compare

  Analyzed about 2 months ago

Scavenger is an automated theorem prover based on the new conflict resolution calculus, which lifts some aspects of the conflict-drive clause learning approach used by sat-solvers to logics with quantifiers.

3.97K lines of code

8 current contributors

about 2 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: No declared licenses

human-reasoning

Compare

  Analyzed 12 months ago

In http://xkcd.com/258/ Randall Munroe pointed to the viability of conspiracy-theory memes as "a known glitch in human reasoning". This project exists to collect and catalog other such glitches with descriptions, examples, possible explanations, interrelations, and known workarounds. Click on issues to contribute to the effort.

0 lines of code

0 current contributors

about 8 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: Apache-2.0

Xcerpt

Compare

  Analyzed 10 months ago

Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica

21.6K lines of code

0 current contributors

over 3 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

knot-geomatics

Compare

  No analysis available

KNOwledge-based TechnologyThe use of traditional GIS technology is not always sufficient for answering complex spatial problems. Knowledge-based systems can be used to answer some of these problems. I expect this project to contain some interesting, experimental code bits which help solve these problems.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-2.0+