Implementation prototype for scene generation in Autonomous Driving with Multi-Relational CKRs and ASP with Algebraic Measures read more of Scene Modification with MR-CKR and ASP

A full implementation of the Institutional Analysis and Development framework. read more of ngames

Datalog rewriter for defeasible multi-relational Contextualized Knowledge Repositories in OWL RL read more of CKRew - CKR datalog rewriter

A lightweight approach for implementing constructive disjunction for in SICStus Prolog. read more of ITE for SICStus Prolog

Hexlite OWLAPI Plugin read more of Hexlite OWLAPI Plugin

A solver the HEX language which combines Logic Programming with Python-based plugins. read more of Hexlite