In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
A Domain-Specific Modeling Language (DSMLs) describes the concepts and their relationships of a particular domain, in a metamodel. Using a DSML, it is possible to describe a wide ...
Brice Morin, Gilles Perrouin, Philippe Lahire, Oli...
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...