Edit Profile (opens in new tab) Béatrix, Christopher Co-Author Distance Author ID: beatrix.christopher Published as: Béatrix, Christopher Documents Indexed: 2 Publications since 2016 Co-Authors: 3 Co-Authors with 2 Joint Publications 17 Co-Co-Authors Co-Authors 0 single-authored 2 Garcia, Laurent 2 Lefèvre, Claire 2 Stéphan, Igor Serials 1 Theory and Practice of Logic Programming Fields 2 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 13 times in 12 Documents Cited by ▼ Year ▼ {ASPeRiX}, a first-order forward chaining approach for answer set computing. Zbl 1379.68075Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent 12 2017 Justifications and blocking sets in a rule-based answer set computation. Zbl 1428.68090Béatrix, Christopher; Lefèvre, Claire; Garcia, Laurent; Stéphan, Igor 1 2016 {ASPeRiX}, a first-order forward chaining approach for answer set computing. Zbl 1379.68075Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent 12 2017 Justifications and blocking sets in a rule-based answer set computation. Zbl 1428.68090Béatrix, Christopher; Lefèvre, Claire; Garcia, Laurent; Stéphan, Igor 1 2016 all cited Publications top 5 cited Publications all top 5 Cited by 30 Authors 4 Zangari, Jessica 3 Calimeri, Francesco 3 Perri, Simona 3 Schüller, Peter 2 Dodaro, Carmine 2 Friedrich, Gerhard E. 2 Ianni, Giovambattista 2 Pacenza, Francesco 2 Ricca, Francesco 2 Taupe, Richard 2 Weinzierl, Antonius 1 Baget, Jean-François 1 Béatrix, Christopher 1 Bouraoui, Zied 1 Cuteri, Bernardo 1 Eiter, Thomas 1 Fandinno, Jorge 1 Fuscà, Davide 1 Garcia, Laurent 1 Gebser, Martin 1 Lefèvre, Claire 1 Maratea, Marco 1 Nouioua, Farid 1 Papini, Odile 1 Rocher, Swan 1 Saribatur, Zeynep Gozen 1 Schekotihin, Konstantin 1 Schulz, Claudia 1 Stéphan, Igor 1 Wurbel, Eric Cited in 2 Serials 8 Theory and Practice of Logic Programming 1 Artificial Intelligence Cited in 1 Field 12 Computer science (68-XX) Citations by Year