knowledge-representation-reasoning
There are 28 repositories under knowledge-representation-reasoning topic.
tsafavi/codex
CoDEx: A set of knowledge graph Completion Datasets Extracted from Wikidata and Wikipedia
ErgoAI/ErgoEngine
The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
henrietteharmse/uml2semantics
Translates UML class diagrams to OWL2
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
felix-martel/taxonomy-extraction
Unsupervised, geometry-based taxonomy learning for knowledge graphs
ErgoAI/Studio_fidji
ErgoAI's Java IDE
martinodb/bobtailbot
A simple chatbot written in Clojure to test ideas related to KRR and AI in general.
pstlab/KOaLaR
Knowledge-based cOntinuous Loop Semantic Reasoner
armurox/AI_stuff
A collection of CS50AI projects I've worked on.
Anri-Lombard/Defeasible-Reasoning
Learn Ratiional Closure step by step for Knowledge Representation in Artificial Intelligence
DACUS1995/Knowledge-Representation-and-Reasoning-Coursework
Coursework for the Knowledge Representation and Reasoning course from master program.
K4R-IAI/NonFoodKG
Non-food product knowledge graph
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.
shubham0704/ai_tutor
An AI tutor for strengthening your concepts
sjyothul/answer-set-programming
Uses declarative programming language - clingo based on programming method - ASP
jluisvim/jluisvim.github.io
My personal website.
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
mdtanrikulu/action-language
Action Language Implementation for Knowledge Representation and Reasoning
OllieKampo/anivia
A wrapper for easing the integration of Answer Set Programs to Python with Clingo 4.
ThaddeusOwl/propositional_logic_tool
Educational propositional logic tool for producing truth tables and checking logical properties.
vaishnavibatni/PersonalTourGuide
A tour guide personalized as per the user's requirements
ComplexCollaborativeAgents/Troy
A trainable office secretary.
kwasnydam/KRR
exercises from Knowledge Representation and Reasoning course on 1st semester of Computer Science master degree
shobhitraj1/CSE643-Artificial-Intelligence
This repository contains my coursework (assignments & semester exams) for the Artificial Intelligence course at IIIT Delhi in Monsoon 2024.
thabomoloi/extrc
A defeasible reasoning tool using Rational Closure and Lexicographic Closure.
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