Autonomous Theorem Prover for First Order Predicate Logic

GNOme - Glycan Naming and Subsumption Ontology.

Code for Autnomous Car built for Bosch Future Mobility Challenge 2022. (Subsumption AI, Yolo V8, Computer Vision for Lane Keeping, Multiprocessing and Pub Sub)

A simple method of obstacle avoidance in LeJOS, using subsumption.

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

wall following lego robot

Ontology Domain Subsumption A package for enforcing domain subsumption constraints on inserts and updates issued to an arbitrary NoSQL database.