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

TitreJustifications and Blocking Sets in a Rule-Based Answer Set Computation
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2016
LangueAnglais
Date du colloque16-21/10/2016
Titre du colloque32nd International Conference on Logic Programming (ICLP 2016)
Titre des actes ou de la revueOASICS
Volume 52
AuteurBéatrix, Christopher , Lefevre, Claire , Garcia, Laurent , Stéphan, Igor
Editeur scientifiqueCarro, Manuel, King, Andy, Saeedloei, Neda, De Vos, Marina
PaysEtats-Unis
VilleNew york
ISBN978-3-95977-007-1
Mots-clésAnswer set programming, Justification, Rule-based Computation
URL de la noticehttp://okina.univ-angers.fr/publications/ua15324
Lien vers le document en ligne

http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol52-icl...