ONERA
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.
Markov Decision Making (MDM) is a library to support the deployment of decision-making methodologies
A decision-making framework for active perception with POMDPs.
Petri Net Plans is a set of libraries and tools to define and execute high-level multi-agent plans
Dockerized/ACUMOS Ready PDDL planners (ff, fd, popf, optic-clp)