CoDEx: A set of knowledge graph Completion Datasets Extracted from Wikidata and Wikipedia
The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
Translates UML class diagrams to OWL2
Matlab implementation of Neural Networks Results for Alarm-Warning Control System of mobile robot with five Ultrasonic sensors
Unsupervised, geometry-based taxonomy learning for knowledge graphs
ErgoAI's Java IDE
A simple chatbot written in Clojure to test ideas related to KRR and AI in general.
Knowledge-based cOntinuous Loop Semantic Reasoner
A collection of CS50AI projects I've worked on.
Non-food product knowledge graph
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.
Coursework for the Knowledge Representation and Reasoning course from master program.
Learn Ratiional Closure step by step for Knowledge Representation in Artificial Intelligence
An AI tutor for strengthening your concepts
Uses declarative programming language - clingo based on programming method - ASP
Assignment for Knowledge Representation and Reasoning (University of Malta) 2017/18 - Horn Clauses and constructing an Inheritance Network with query handling
Educational propositional logic tool for producing truth tables and checking logical properties.
A tour guide personalized as per the user's requirements
Add a description, image, and links to the knowledge-representation-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the knowledge-representation-reasoning topic, visit your repo's landing page and select "manage topics."