466 citations
- Université Grenoble AlpesFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR19 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- Institut polytechnique de GrenobleFR4 papers
- Institut de Planétologie et d'Astrophysique de GrenobleFR3 papers
- Université Paris CitéFR3 papers
- Laboratoire de l'Informatique du ParallélismeFR2 papers
- Technische Universität BraunschweigDE2 papers
- Translational Innovation in Medicine and ComplexityFR2 papers
- Universidad de MálagaES2 papers
- Université Joseph FourierFR2 papers
- Université Toulouse III - Paul SabatierFR2 papers
5 papers · 1 filter
Instantiation Schemes for Nested Theories
Mnacho Echenim, Nicolas Peltier
This paper investigates under which conditions instantiation-based proof procedures can be combined in a nested way, in order to mechanically construct new instantiation procedures…
Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries
Thierry Boy de la Tour, Mnacho Echenim
Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usuall…
MeLinDa: an interlinking framework for the web of data
François Scharffe, Jérôme Euzenat
The web of data consists of data published on the web in such a way that they can be interpreted and connected together. It is thus critical to establish links between these data,…
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata i…
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation
Dominique Duval, Rachid Echahed, Frédéric Prost
Rewriting systems are often defined as binary relations over a given set of objects. This simple definition is used to describe various properties of rewriting such as termination,…