Searching for authors named "Jacqueline Vauzeilles" – sorted by Relevance.
-
Linear Logic for Taxonomical Networks and Database Updates
- The aim of this paper is to propose a logical way to handle uncertain knowledge and change. Databases, diagnostic, planification, taxonomy are some of the domains concerned by this problem. This paper focuses on the means Linear Logic offers to represent taxonomical networks and to perform updates o
- Add To MetaCart
-
Tree Adjoining Grammars in Noncommutative Linear Logic (Extended Abstract)
- V. Michele Abrusci 1 , Christophe Fouquer'e 2 , and Jacqueline Vauzeilles 2 1 CILA, Universit'a di Bari, 70121 Bari, Italy 2 LIPN-CNRS URA 1507, Universit'e Paris-Nord, 93430 Villetaneuse Abstract. This paper 1 presents a logical formalization of Tree-Adjoining Grammar (TAG). TAG deals wit
- Add To MetaCart

