Publications de
Philippe Balbiani, Antoun Yaacoub
Deciding the bisimilarity relation between Datalog goals (regular paper)
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, 26/09/12-28/09/12, Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (Eds.), Springer, p. 67-79, septembre 2012.
Ali Awada, Philippe Balbiani, Antoun Yaacoub
Information flow in logic programming
Dans : Journées dIntelligence Artificielle Fondamentale, Lyon, 08/06/11-10/06/11.
Résumé Accès : http://gdri3iaf.info.univ-angers.fr/IMG/pdf/awada-balbiani-yaacoub.pdf
BibTeX
Information flow in logic programming
Thèse de doctorat, Université Paul Sabatier, novembre 2012.
Résumé Accès : http://www.irit.fr/publis/LILAC/Theses_et_habilitations/2012_Yaacoub_PhD.pdf
BibTeX