Jacqueline Vauzeilles

21 papers B 1C 1Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2011 J jnl
Linear logic as a tool for planning under temporal uncertainty.
Theor. Comput. Sci.
Max I. Kanovich, Jacqueline Vauzeilles
2007 J jnl
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach).
Theor. Comput. Sci.
Max I. Kanovich, Jacqueline Vauzeilles
2003 B conf
Coping Polynomially with Numerous but Identical Elements within Planning Problems.
CSL
Max I. Kanovich, Jacqueline Vauzeilles
2001 J jnl
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity.
Math. Struct. Comput. Sci.
Max I. Kanovich, Jacqueline Vauzeilles
1999 J jnl
Tree Adjoining Grammars in a Fragment of the Lambek Calculus.
Comput. Linguistics
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1996 — conf
Linear Logic for Taxonomical Networks and Database Updates.
Linear Logic Tokyo Meeting
Christophe Fouqueré, Jacqueline Vauzeilles
1996 J jnl
Ordinals I: Basic Notions.
Ann. Math. Artif. Intell.
Marie C. Ferbus, Jacqueline Vauzeilles
1996 J jnl
Ordinals II: Some Applications and a Functorial Approach.
Ann. Math. Artif. Intell.
Jacqueline Vauzeilles
1996 — conf
Tree Adjoining Grammars in Noncommutative Linear Logic.
LACL
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1994 J jnl
Linear Logic and Exceptions.
J. Log. Comput.
Christophe Fouqueré, Jacqueline Vauzeilles
1993 J jnl
Cut Elimination for the Unified Logic.
Ann. Pure Appl. Log.
Jacqueline Vauzeilles
1993 J jnl
Generating Plans in Linear Logic I. Actions as Proofs.
Theor. Comput. Sci.
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
1993 C conf
Taxonomic Linear Theories.
ECSQARU
Christophe Fouqueré, Jacqueline Vauzeilles
1991 J jnl
Intuitionistic three-valued logic and logic programming.
RAIRO Theor. Informatics Appl.
Jacqueline Vauzeilles
1991 — conf
Negation as failure and intuitionistic three-valued logic.
FAIR
Jacqueline Vauzeilles
1990 — conf
Generating Plans in Linear Logic.
FSTTCS
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
1988 J jnl
Cut-elimination and interpolation for Ω-logic.
Arch. Math. Log.
Jacqueline Vauzeilles
1985 J jnl
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??.
J. Symb. Log.
Jacqueline Vauzeilles
1984 J jnl
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy.
J. Symb. Log.
Jean-Yves Girard, Jacqueline Vauzeilles
1984 J jnl
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.
J. Symb. Log.
Jean-Yves Girard, Jacqueline Vauzeilles
1984 J jnl
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs.
Arch. Math. Log.
Jean-Yves Girard, Jacqueline Vauzeilles