pith. sign in

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