ErgoAI/ErgoEngine

The ErgoAI reasoning engine, an advanced object-oriented knowledge management system

Language: OpenEdge ABL - Size: 38.2 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 22 - Forks: 1

sushmaakoju/research-experience

Research experience

Size: 32 MB - Last synced: 27 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

henrietteharmse/uml2semantics

Translates UML class diagrams to OWL2

Language: Scala - Size: 1.46 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 7 - Forks: 1

DACUS1995/Knowledge-Representation-and-Reasoning-Coursework

Coursework for the Knowledge Representation and Reasoning course from master program.

Language: JavaScript - Size: 740 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

mdtanrikulu/action-language

Action Language Implementation for Knowledge Representation and Reasoning

Language: JavaScript - Size: 128 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

ctomtom/ms_

Language: Java - Size: 5.6 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

OllieKampo/anivia

A wrapper for easing the integration of Answer Set Programs to Python with Clingo 4.

Size: 19.5 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

ThaddeusOwl/propositional_logic_tool

Educational propositional logic tool for producing truth tables and checking logical properties.

Language: Dart - Size: 798 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

tsafavi/codex

CoDEx: A set of knowledge graph Completion Datasets Extracted from Wikidata and Wikipedia

Language: Python - Size: 206 MB - Last synced: 7 months ago - Pushed: over 1 year ago - Stars: 130 - Forks: 22

vaishnavibatni/PersonalTourGuide

A tour guide personalized as per the user's requirements

Language: C++ - Size: 12.7 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

jluisvim/jluisvim.github.io

My personal website.

Language: HTML - Size: 34.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

ErgoAI/Studio_fidji

ErgoAI's Java IDE

Language: Java - Size: 8.47 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 4 - Forks: 0

sjyothul/answer-set-programming

Uses declarative programming language - clingo based on programming method - ASP

Language: Classic ASP - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

shubham0704/ai_tutor

An AI tutor for strengthening your concepts

Language: Python - Size: 73.2 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

Anri-Lombard/Defeasible-Reasoning

Learn Ratiional Closure step by step for Knowledge Representation in Artificial Intelligence

Language: TypeScript - Size: 47.8 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

felix-martel/taxonomy-extraction

Unsupervised, geometry-based taxonomy learning for knowledge graphs

Language: Python - Size: 19.6 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 5 - Forks: 1

manahilfatima31/Knowledge-Representation-and-Reasoning

We were provided with a project in Knowledge Representation and Reasoning (KRR) and we have to apply rdf, sparql and make ontology

Language: Jupyter Notebook - Size: 4.51 MB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

showman-sharma/ALC_tableau

Implementing ALC Tableau. For an ALC KB and a query given in Negation Normal Form pre-generated, using ALC Tableau to determine whether the query is entailed by the KB.

Language: Jupyter Notebook - Size: 238 KB - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

pstlab/KOaLaR

Knowledge-based cOntinuous Loop Semantic Reasoner

Language: Java - Size: 335 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1

K4R-IAI/NonFoodKG

Non-food product knowledge graph

Language: HTML - Size: 26.6 MB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

sichkar-valentyn/Matlab_implementation_of_Neural_Networks

Matlab implementation of Neural Networks Results for Alarm-Warning Control System of mobile robot with five Ultrasonic sensors

Language: MATLAB - Size: 5.64 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 12 - Forks: 4

valerija-h/ICS1019-Assignment

Assignment for Knowledge Representation and Reasoning (University of Malta) 2017/18 - Horn Clauses and constructing an Inheritance Network with query handling

Language: HTML - Size: 855 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

martinodb/bobtailbot

A simple chatbot written in Clojure to test ideas related to KRR and AI in general.

Language: Clojure - Size: 998 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 6 - Forks: 0

kwasnydam/KRR

exercises from Knowledge Representation and Reasoning course on 1st semester of Computer Science master degree

Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0