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
7th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2015), Jul 2015, Paris, France. pp.1-6, ⟨10.1109/NTMS.2015.7266511⟩
Guillaume Feuillade, Andreas Herzig
A dynamic view of active integrity constraints
14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499
Hikmat Farhat, Guillaume Feuillade
Modal Specifications for Composition of Agent Behaviors
6th International Conference on Agents and Artificial Intelligence (ICAART 2014), Mar 2014, Anger, France. pp.437-444, ⟨10.5220/0004817804370444⟩
Guillaume Feuillade, Andreas Herzig, Kramdi Seifeddine
Trust-based personal information management in SOA
International Conference on Agents and Artificial Intelligence – ICAART 2014, Mar 2014, Angers, France. pp. 667-672
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.