Publications de Guillaume FEUILLADE
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
A Dynamic Logic Account of Active Integrity Constraints
Fundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩
Guillaume Feuillade, Sophie Pinchinat
Modal Specifications for the Control Theory of Discrete Events Systems
Dans : Discrete Event Dynamic Systems, Springer, Vol. Hors-série, (en ligne), janvier 2007.
Résumé Accès : http://dx.doi.org/10.1007/s10626-006-0008-6
BibTeX
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
Database Repair via Event-Condition-Action Rules in Dynamic Logic
12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Jun 2022, Helsinki, Finland. pp.75-92, ⟨10.1007/978-3-031-11321-5_5⟩
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes
33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
A Dynamic Extension of ALCO for Repairing via Preferred Updates
International Workshop on Description Logics (DL workshop 2018), Oct 2018, Tempe, United States. pp.1-13
Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig
Repairing ABoxes through Active Integrity Constraints
30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13
Hikmat Farhat, Guillaume Feuillade
On the Fly Algorithm for the Service Composition Problem (regular paper)
Dans : IFIP International Conference on New Technologies, Mobility and Security (NTMS 2015), Paris France, 27/07/15-29/07/15, IEEExplore digital library, (support électronique), juillet 2015.
Guillaume Feuillade, Andreas Herzig
A dynamic view of active integrity constraints (regular paper)
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2014), Madeira, 24/09/14-26/09/14, Eduardo Ferme, Joao Leite (Eds.), Springer, p. 486-499, septembre 2014.
Guillaume Feuillade, Andreas Herzig, Seiffedine Kramdi
Trust-based personal information management in SOA (regular paper)
Dans : International Conference on Agents and Artificial Intelligence (ICAART 2014), Anger, France, 06/03/14-08/03/14, SciTePress, (support électronique), mars 2014.
Hikmat Farhat, Guillaume Feuillade
Modal Specifications for Composition of Agent Behaviors (short paper)
Dans : International Conference on Agents and Artificial Intelligence (ICAART 2014), Anger, France, 06/03/14-08/03/14, SciTePress, (support électronique), mars 2014.
Hikmat Farhat, Guillaume Feuillade
A symbolic method for the web service composition problem (regular paper)
Dans : IEEE International Conference on Advances in Computational Tools for Engineering Applications (ACTEA 2012), Notre Dame University, Lebanon, 12/12/12-15/12/12, IEEExplore digital library, p. 182-185, décembre 2012.
Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions (poster)
Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, p. 1037-1038, août 2010.
Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions
Dans : Workshop ‘Logics in Security’ at ESSLLI 2010, Copenhagen, 09/08/10-13/08/10, Dov Gabbay, Leendert van der Torre (Eds.).
Résumé Accès : http://www.irit.fr/PERSONNEL/LILaC/Herzig/P/Lis10_trust.html
BibTeXPhilippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Controller/orchestrator synthesis via filtration (regular paper)
Dans : Methods for Modalities (MAM 2009), Copenhague, Danemark, 12/11/09-14/11/09, Vol. 262, Electronic Notes in Theoretical Computer Science, p. 33-48, 2010.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Résultats de complexité pour le problème de la composition d’agents (regular paper)
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2009), Lannion, France, 03/06/09-05/06/09, Nicolas Maudet , Pierre-Yves Schobben , Marc Guyomaud (Eds.), Université de Rennes 1, p. 25-34, 2009.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Automata synthesis by asynchronous orchestration with applications to web services composition (regular paper)
Dans : Interaction and Concurrency Experience (ICE 2008), Reykjavik – Iselande, 06/07/08-06/07/08, Vol. 229, Elsevier Science, p. 3-18, 2009.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Composition of Interactive Web Services Based on Controller Synthesis.
Dans : International Workshop on Web Service Composition and Adaptation, Honolulu, USA, 08/07/08-11/07/08, IEEE : Institute of Electrical and Electronics Engineers, p. 521-528, 2008.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Considérations relatives à la décidabilité et à la complexité du problème de la composition de services.
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, p. 261-268, 2007.
Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions (poster)
Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, p. 1037-1038, août 2010.