Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Justifications and Blocking Sets in a Rule-Based Answer Set Computation

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02709504
Contributeur : Okina Université d'Angers <>
Soumis le : lundi 1 juin 2020 - 16:53:35
Dernière modification le : mardi 2 juin 2020 - 04:03:49

Identifiants

  • HAL Id : hal-02709504, version 1
  • OKINA : ua15324

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⟩

Partager

Métriques

Consultations de la notice

14