 |
Communication dans un congrès
Justifications and Blocking Sets in a Rule-Based Answer Set Computation
Christopher Beatrix
1
Claire Lefèvre
1
Laurent Garcia
1
Igor Stephan
1
Manuel Carro
2
Andy King
3, 4
Neda Saeedloei
Marina de Vos
Christopher Beatrix 1
Auteur
Claire Lefèvre 1
Auteur
Laurent Garcia 1
Auteur IdHAL : laurent-garcia ORCID : https://orcid.org/0000-0001-8921-2488
Igor Stephan 1
Auteur
1
LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers (Université d'Angers, LERIA - Facultés des Sciences, 2 Boulevard Lavoisier, Bâtiments G et H - 49045 Angers CEDEX 01 - France)
- UA - Université d'Angers : EA2645 (Université d'Angers - 40 Rue de Rennes, BP 73532 - 49035 Angers CEDEX 01 - France)
2
Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarcón Madrid - Espagne)
3
ESRF - European Synchrotron Radiation Facility (6 rue Jules Horowitz BP220 38043 GRENOBLE CEDEX - France)
4
SSOLEIL - Synchrotron SOLEIL (L'Orme des Merisiers Saint-Aubin - BP 48 91192 GIF-sur-YVETTE CEDEX - France)
- CNRS - Centre National de la Recherche Scientifique : UR1 (France)
Type de document :
Communication dans un congrès
Domaine :
Liste complète des métadonnées
https://hal.univ-angers.fr/hal-02709504
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : lundi 1 juin 2020 - 16:53:35
Dernière modification le : lundi 10 janvier 2022 - 10:16:07
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : lundi 1 juin 2020 - 16:53:35
Dernière modification le : lundi 10 janvier 2022 - 10:16:07
Identifiants
- HAL Id : hal-02709504, version 1
- OKINA : ua15324
Collections
Citation
Christopher Beatrix, Claire Lefèvre, Laurent Garcia, Igor Stephan, Manuel Carro, et al.. Justifications and Blocking Sets in a Rule-Based Answer Set Computation. 32nd International Conference on Logic Programming (ICLP 2016), 2016, New york, United States. ⟨hal-02709504⟩
Métriques
Consultations de la notice