Statistics
Publications
2
Citations
39
H-Index
2
Active since
2015
Affiliations
Université d'Angers(Current)
Christopher Béatrix is an author at Université d'Angers specializing in knowledge compilation, formal methods, and artificial intelligence.
Publications per year
2015–2017
2
2
ASPeRiX, a First Order Forward Chaining Approach for Answer Set\n Computing
Claire Lefèvre, Christopher Béatrix, Igor Stéphan et al. · arXiv (Cornell University) · 2015 · 10 citations · Full text
1–2 of 2