Claire Lef\`evre

Identifiers

• name variant Claire Lef\`evre 0.60 · backfill

Papers (1)

1. ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing cs.LO · 2015 · author #1

Mentions

• 1503.07717 #1 · backfill · confidence 0.70 Claire Lef\`evre

Frequent Coauthors

• Christopher B\'eatrix 1 shared papers
• Igor St\'ephan 1 shared papers
• Laurent Garcia 1 shared papers