ONERA
A neurosymbolic framework that supports querying, learning and reasoning with both rich data and rich abstract knowledge about the world
This is a 30 hour introductory course taught to fourth year engineering students at the ENSIMAG school of Informatics and Applied Mathematics at Grenoble Polytechnique Institut, Univ Grenoble Alpes.
State-of-the-art solver for logic programming under the answer set semantics.
Datalog rewriter for defeasible multi-relational Contextualized Knowledge Repositories in OWL RL
REST web service simulating the Wumpus World intelligent agent environment popularised by Russell & Norvig's seminal textbook Artificial Intelligence: A Modern Approach.
Tutorial for the Lyrics framework, which provides a Python library to integrate learning from logic constraints and Deep learning models
A lightweight approach for implementing constructive disjunction for in SICStus Prolog.
The Lyrics framework injects logic knowledge into a learner using Semantic Based Regularization
AI Drummer that responds in real-time to the playing of a Human pianist.