Christopher Béatrix

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Normal Logic Programs

Answer Set Programming

Defeasible Logic

Top Venues

ICLP (Technical Communications)

Theory Pract. Log. Program.

University of Angers, France (PHD)

Education History

University of Angers, France

PHD

Publications

Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
ASPeRiX, a first-order forward chaining approach for answer set computing. Theory Pract. Log. Program. 17 (3) (2017)
Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan
Justifications and Blocking Sets in a Rule-Based Answer Set Computation. ICLP (Technical Communications) (2016)
Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing. CoRR (2015)