Igor Stéphan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Laurent Garcia
2 publications
Claire Lefèvre
1 publication
Christopher Béatrix
1 publication
Vincent Barichard
1 publication

research

∙ 09/18/2019

Quantified Constraint Handling Rules

We shift the QCSP (Quantified Constraint Satisfaction Problems) framewor...

0 Vincent Barichard, et al. ∙

research

∙ 03/26/2015

ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing

The natural way to use Answer Set Programming (ASP) to represent knowled...

0 Claire Lefèvre, et al. ∙