Guillaume Feuillade

According to our database, Guillaume Feuillade authored at least 16 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Database Repair via Event-Condition-Action Rules in Dynamic Logic.

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis

Proceedings of the Foundations of Information and Knowledge Systems, 2022

2020

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes.

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

A Dynamic Logic Account of Active Integrity Constraints.

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis

Fundam. Informaticae, 2019

2018

A Dynamic Extension of ALCO for Repairing via Preferred Updates.

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Repairing ABoxes through Active Integrity Constraints.

Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig

Proceedings of the 30th International Workshop on Description Logics, 2017

2015

On-the-fly algorithm for the service composition problem.

Hikmat Farhat, Guillaume Feuillade

Proceedings of the 7th International Conference on New Technologies, Mobility and Security, 2015

2014

A Dynamic View of Active Integrity Constraints.

Guillaume Feuillade, Andreas Herzig

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Trust-based Personal Information Management in SOA.

Guillaume Feuillade, Andreas Herzig, Seifeddine Kramdi

Proceedings of the ICAART 2014, 2014

Modal Specifications for Composition of Agent Behaviors.

Hikmat Farhat, Guillaume Feuillade

Proceedings of the ICAART 2014, 2014

2010

Trust in complex actions.

Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini

Proceedings of the ECAI 2010, 2010

2009

Controller/Orchestrator Synthesis via Filtration.

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

Proceedings of the 6th Workshop on Methods for Modalities, 2009

2008

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition.

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Composition of Interactive Web Services Based on Controller Synthesis.

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

2007

Modal Specifications for the Control Theory of Discrete Event Systems.

Guillaume Feuillade, Sophie Pinchinat

Discret. Event Dyn. Syst., 2007

2004

Reachability Analysis over Term Rewriting Systems.

Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong

J. Autom. Reason., 2004

2003

Reachability in Conditional Term Rewriting Systems.

Guillaume Feuillade, Thomas Genet

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003