Mes publications
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⟩
Accès : https://hal.science/hal-02891607
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
Accès : https://hal.science/hal-03015763
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
Accès : https://hal.science/hal-02147891
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
Accès : https://hal.science/hal-02064232
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⟩
Accès : https://hal.science/hal-03198232
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
Accès : https://hal.science/hal-01159678
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
Accès : https://hal.science/hal-01188251
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⟩
Accès : https://hal.science/hal-04081399
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.
Philippe 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
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.
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 : https://www.irit.fr/PERSONNEL/LILaC/Herzig/P/Lis10_trust.html
BibTeXPhilippe 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
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.