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

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

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

Translates UML class diagrams to OWL2

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.

A collection of CS50AI projects I've worked on.

Knowledge-based cOntinuous Loop Semantic Reasoner

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.

Non-food product knowledge graph

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

Research experience

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