Search Results for author: Claire Lefèvre

Found 1 papers, 0 papers with code

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

no code implementations26 Mar 2015 Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia

In a preliminary step this program with variables is translated in an equivalent propositional one by a first tool: the grounder.

Negation

Cannot find the paper you are looking for? You can Submit a new open access paper.