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 python implementation of the various ripple down rules versions, including Single Classification (SCRDR), Multi Classification (MCRDR), and Generalised Ripple Down Rules (GRDR).

A collection of CS50AI projects I've worked on.

A concise, research‑oriented Python toolkit for DSAI 104 “Knowledge Representation & Reasoning,” featuring an interactive Jupyter notebook on business‑rule encoding and salary computation plus two standalone logic engines—a Knights & Knaves solver and an English–predicate logic translator.

This repository contains my coursework (assignments & semester exams) for the Artificial Intelligence course at IIIT Delhi in Monsoon 2024.

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

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.

A defeasible reasoning tool using Rational Closure and Lexicographic Closure.

An AI tutor for strengthening your concepts

Implementation and Evaluation of KLM-Style Defeasible Entailment and Explanation Algorithms - A project of the University of Cape Town

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