Slide 1 Ontologies Reasoning Components Agents Simulations Constraint Solving: Problems and Domains Jacques Robin Slide 2 Outline What is constraint solving? Constraint…