AbdelrhmanBassiouny/ripple_down_rules

Language: Python - Size: 4.08 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2 - Forks: 0

jluisvim/jluisvim.github.io

My personal website.

Language: HTML - Size: 41.3 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0

ErgoAI/ErgoEngine

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

Language: OpenEdge ABL - Size: 40.7 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 34 - Forks: 3

henrietteharmse/uml2semantics

Translates UML class diagrams to OWL2

Language: Scala - Size: 2.65 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 15 - Forks: 1

thabomoloi/extrc

A defeasible reasoning tool using Rational Closure and Lexicographic Closure.

Language: TypeScript - Size: 19.3 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

felix-martel/taxonomy-extraction

Unsupervised, geometry-based taxonomy learning for knowledge graphs

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

DACUS1995/Knowledge-Representation-and-Reasoning-Coursework

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

Language: JavaScript - Size: 740 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

ctomtom/ms_

Language: Java - Size: 5.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year 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 at: about 1 year ago - Pushed at: about 1 year 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 at: over 1 year ago - Pushed at: over 1 year 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 at: over 1 year ago - Pushed at: over 2 years 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 at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

ErgoAI/Studio_fidji

ErgoAI's Java IDE

Language: Java - Size: 8.47 MB - Last synced at: over 1 year ago - Pushed at: over 1 year 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 at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

ashukla411/comp4418

Language: Python - Size: 13.4 MB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 2

shubham0704/ai_tutor

An AI tutor for strengthening your concepts

Language: Python - Size: 73.2 KB - Last synced at: over 2 years ago - Pushed at: about 7 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 at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

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 at: over 1 year ago - Pushed at: over 2 years 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 at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

pstlab/KOaLaR

Knowledge-based cOntinuous Loop Semantic Reasoner

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

K4R-IAI/NonFoodKG

Non-food product knowledge graph

Language: HTML - Size: 26.6 MB - Last synced at: over 1 year ago - Pushed at: over 2 years 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 at: over 2 years ago - Pushed at: over 4 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 at: about 2 years ago - Pushed at: almost 4 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 at: about 2 years ago - Pushed at: about 5 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 at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

mdtanrikulu/action-language

Action Language Implementation for Knowledge Representation and Reasoning

Language: JavaScript - Size: 128 KB - Last synced at: 4 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0