Christopher B\'eatrix
Identifiers
- name variant Christopher B\'eatrix 0.60 · backfill
Papers (1)
- ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing cs.LO · 2015 · author #2
Mentions
- 1503.07717 #2 · backfill · confidence 0.70 Christopher B\'eatrix
Frequent Coauthors
- Claire Lef\`evre 1 shared papers
- Igor St\'ephan 1 shared papers
- Laurent Garcia 1 shared papers