 | 2007 |
|---|
| 18 |       | Max I. Kanovich,
Jacqueline Vauzeilles:
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach).
Theor. Comput. Sci. 379(1-2): 84-119 (2007) |
| 2003 |
|---|
| 17 | | Max I. Kanovich,
Jacqueline Vauzeilles:
Coping Polynomially with Numerous but Identical Elements within Planning Problems.
CSL 2003: 285-298 |
| 2001 |
|---|
| 16 |  | Max I. Kanovich,
Jacqueline Vauzeilles:
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity.
Mathematical Structures in Computer Science 11(6): 689-716 (2001) |
| 1999 |
|---|
| 15 | | V. Michele Abrusci,
Christophe Fouqueré,
Jacqueline Vauzeilles:
Tree Adjoining Grammars in a Fragment of the Lambek Calculus.
Computational Linguistics 25(2): 209-236 (1999) |
| 1996 |
|---|
| 14 | | V. Michele Abrusci,
Christophe Fouqueré,
Jacqueline Vauzeilles:
Tree Adjoining Grammars in Noncommutative Linear Logic.
LACL 1996: 96-117 |
| 13 | | Marie C. Ferbus,
Jacqueline Vauzeilles:
Ordinals I: Basic Notions.
Ann. Math. Artif. Intell. 16: 1-26 (1996) |
| 12 | | Jacqueline Vauzeilles:
Ordinals II: Some Applications and a Functorial Approach.
Ann. Math. Artif. Intell. 16: 27-57 (1996) |
| 11 | | Christophe Fouqueré,
Jacqueline Vauzeilles:
Linear Logic for Taxonomical Networks and Database Updates.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1994 |
|---|
| 10 | | Christophe Fouqueré,
Jacqueline Vauzeilles:
Linear Logic and Exceptions.
J. Log. Comput. 4(6): 859-876 (1994) |
| 1993 |
|---|
| 9 | | Christophe Fouqueré,
Jacqueline Vauzeilles:
Taxonomic Linear Theories.
ECSQARU 1993: 121-128 |
| 8 | | Jacqueline Vauzeilles:
Cut Elimination for the Unified Logic.
Ann. Pure Appl. Logic 62(1): 1-16 (1993) |
| 7 | | M. Masseron,
Christophe Tollu,
Jacqueline Vauzeilles:
Generating Plans in Linear Logic I. Actions as Proofs.
Theor. Comput. Sci. 113(2): 349-370 (1993) |
| 1991 |
|---|
| 6 | | Jacqueline Vauzeilles:
Negation as failure and intuitionistic three-valued logic.
FAIR 1991: 227-241 |
| 5 | | Jacqueline Vauzeilles:
Intuitionistic three-valued logic and logic programming.
ITA 25: 557- (1991) |
| 1990 |
|---|
| 4 | | M. Masseron,
Christophe Tollu,
Jacqueline Vauzeilles:
Generating Plans in Linear Logic.
FSTTCS 1990: 63-75 |
| 1985 |
|---|
| 3 | | Jacqueline Vauzeilles:
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??.
J. Symb. Log. 50(2): 331-338 (1985) |
| 1984 |
|---|
| 2 | | Jean-Yves Girard,
Jacqueline Vauzeilles:
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy.
J. Symb. Log. 49(3): 713-729 (1984) |
| 1 | | Jean-Yves Girard,
Jacqueline Vauzeilles:
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.
J. Symb. Log. 49(4): 1079-1114 (1984) |
