2008 |
17 | EE | Christophe Fouqueré,
Virgile Mogbil:
Rewritings for Polarized Multiplicative and Exponential Proof Structures.
Electr. Notes Theor. Comput. Sci. 203(1): 109-121 (2008) |
2007 |
16 | EE | Pascal Coupey,
Christophe Fouqueré,
Jean-Vincent Loddo:
Tree Components Programming: An Application to XML.
ICTAC 2007: 139-153 |
15 | EE | Christophe Fouqueré:
A Logical Calculus for Modelling Interferences.
ICTAC 2007: 216-230 |
14 | EE | Christophe Fouqueré:
A Sequent Calculus for Modelling Interferences
CoRR abs/0706.3341: (2007) |
2004 |
13 | EE | Alexandru Suna,
Amal El Fallah-Seghrouchni,
Christophe Fouqueré,
Patrick Baillot:
Mobile Multi-Agent Systems: A Programming Language and Its Semantics.
AAMAS 2004: 1386-1387 |
12 | EE | Christophe Fouqueré,
Virgile Mogbil:
Modules and Logic Programming
CoRR cs.LO/0411029: (2004) |
1999 |
11 | | V. Michele Abrusci,
Christophe Fouqueré,
Jacqueline Vauzeilles:
Tree Adjoining Grammars in a Fragment of the Lambek Calculus.
Computational Linguistics 25(2): 209-236 (1999) |
1998 |
10 | EE | Pascal Coupey,
Christophe Fouqueré,
Sylvie Salotti:
Formalizing Partial Matching and Similarity in Case-Based Reasoning with a Description Logic.
Applied Artificial Intelligence 12(1): 71-112 (1998) |
1997 |
9 | | Pascal Coupey,
Christophe Fouqueré:
Extending Conceptual Definitions with Default Knowledge.
Computational Intelligence 13(2): 258-299 (1997) |
1996 |
8 | | Augusta Mela,
Christophe Fouqueré:
Coordination as a Direct Process.
ACL 1996: 124-130 |
7 | EE | V. Michele Abrusci,
Christophe Fouqueré,
Jacqueline Vauzeilles:
Tree Adjoining Grammars in Noncommutative Linear Logic.
LACL 1996: 96-117 |
6 | EE | Augusta Mela,
Christophe Fouqueré:
Coordination as a Direct Process
CoRR cmp-lg/9606008: (1996) |
5 | EE | Christophe Fouqueré,
Jacqueline Vauzeilles:
Linear Logic for Taxonomical Networks and Database Updates.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
1994 |
4 | | Pascal Coupey,
Christophe Fouqueré:
Classer des concepts déefinis avec des déefauts et des exceptions.
LMO 1994: 69-80 |
3 | | Christophe Fouqueré,
Jacqueline Vauzeilles:
Linear Logic and Exceptions.
J. Log. Comput. 4(6): 859-876 (1994) |
1993 |
2 | | Christophe Fouqueré,
Jacqueline Vauzeilles:
Taxonomic Linear Theories.
ECSQARU 1993: 121-128 |
1992 |
1 | EE | Lorne H. Bouchard,
Louisette Emirkanian,
Dominique Estival,
Christine Fay-Varnier,
Christophe Fouqueré,
Gilles Prigent,
Pierre Zweigenbaum:
First Results of a French Linguistic Development Environment.
COLING 1992: 1177-1181 |