In this report, we extend-calculi of explicit substitutions by an Eta rule. We do this in the framework of , a-calculus of explicit substitutions introduced by Lescanne (1994) and thoroughly studied by Lescanne and Rouyer-Degli (1994). The main feature of such a calculus is that the classical-contraction is expressed by a rst-order term rewriting system. Our main result is the explicitation of ...

We present a hybrid way to extend taxonomic reasoning using inference fusion, i.e. the dynamic combination of inferences from distributed heterogeneous reasoners. Our approach integrates results from a DL-based taxonomic reasoner with results from a constraint solver. Inference fusion is carried out by (i) parsing heterogeneous input knowledge, producing suitable homogeneous subset of the input...

The paper examines, through a case study on the Arizona Stock Exchange, how computerization challenged the definition of the stock exchange in the context of North-American financial markets in the 1990’s. It analyses exchange automation in terms of trials of explicitness: the computational formulation of what an exchange is calls for a detailed explication of the (variable, often conflicting a...

Instructional texts consist of sequences of instructions designed in order to reach an objective. The user must follow step by step the instructions in order to reach the results expected. In this short paper, we explore the different facets of natural argumentation used in such texts. Our study is based on an extensive corpus study, and within a language generation perspective. 1 General typol...

Ontologies are the kernel of semantic Web. They allow the explicitation of the semantic purpose for structuring different fields of interest. In order to harmonize them and to guarantee the interoperability between these resources, the topic of alignment of ontologies has emerged as an important process to reduce their heterogeneity and improve their exploitation. The paper introduces a new met...

code Reflections on how collaboration happened in the Organization Explicitation of viewpoints There is an open dispute for the best ideas in order to convince the other area on the best decision to be made. To do that, a dialogue is encouraged and conflicts between departments are exposed. ́You have to be exhaustive, always feel that the other is important, that another area is important, not o...

A wealth of Open Educational Resources is now available, and beyond the first and evident problem of finding them, the issue of articulating a set of resources is arising. When using audiovisual resources, among different possibilities, annotating a video resource with additional resources linked to specific fragments can constitute one of the articulation modalities. Annotating a video is a co...

As Architectural Research is in the process of re-establishing itself as a research discipline according to university standards, it may appear as if the pool of knowledge generated by more than three millennia of experimental research and its internal systems of evaluation are being grossly devalued and colonized by attitudes to research that are imported or even imposed from the outside. Does...

The help project proposes a model of data-parallel programming allowing a programmer to develop an algorithm the nearest of his thought. Usually, for many parts of a data-parallel program, the manipulations of data could be modelized as geometrical migrations inside a cartesian reference space. We de ne the language C-help in the frame of explicit data-parallel languages, the communications and...