Jacqueline Vauzeilles

Publication Activity (10 Years)

Years Active: 1984-2011
Publications (10 Years): 0

Publications

Max I. Kanovich, Jacqueline Vauzeilles
Linear logic as a tool for planning under temporal uncertainty. Theor. Comput. Sci. 412 (20) (2011)
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) (2007)
Max I. Kanovich, Jacqueline Vauzeilles
Coping Polynomially with Numerous but Identical Elements within Planning Problems. CSL (2003)
Max I. Kanovich, Jacqueline Vauzeilles
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity. Math. Struct. Comput. Sci. 11 (6) (2001)
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
Tree Adjoining Grammars in a Fragment of the Lambek Calculus. Comput. Linguistics 25 (2) (1999)
Jacqueline Vauzeilles
Ordinals II: Some Applications and a Functorial Approach. Ann. Math. Artif. Intell. 16 (1996)
Marie C. Ferbus, Jacqueline Vauzeilles
Ordinals I: Basic Notions. Ann. Math. Artif. Intell. 16 (1996)
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
Tree Adjoining Grammars in Noncommutative Linear Logic. LACL (1996)
Christophe Fouqueré, Jacqueline Vauzeilles
Linear Logic for Taxonomical Networks and Database Updates. Electron. Notes Theor. Comput. Sci. 3 (1996)
Christophe Fouqueré, Jacqueline Vauzeilles
Linear Logic and Exceptions. J. Log. Comput. 4 (6) (1994)
Jacqueline Vauzeilles
Cut Elimination for the Unified Logic. Ann. Pure Appl. Log. 62 (1) (1993)
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
Generating Plans in Linear Logic I. Actions as Proofs. Theor. Comput. Sci. 113 (2) (1993)
Christophe Fouqueré, Jacqueline Vauzeilles
Taxonomic Linear Theories. ECSQARU (1993)
Jacqueline Vauzeilles
Negation as failure and intuitionistic three-valued logic. FAIR (1991)
Jacqueline Vauzeilles
Intuitionistic three-valued logic and logic programming. RAIRO Theor. Informatics Appl. 25 (1991)
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
Generating Plans in Linear Logic. FSTTCS (1990)
Jacqueline Vauzeilles
Cut-elimination and interpolation for Ω-logic. Arch. Math. Log. 27 (2) (1988)
Jacqueline Vauzeilles
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??. J. Symb. Log. 50 (2) (1985)
Jean-Yves Girard, Jacqueline Vauzeilles
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. J. Symb. Log. 49 (4) (1984)
Jean-Yves Girard, Jacqueline Vauzeilles
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs. Arch. Math. Log. 24 (1) (1984)
Jean-Yves Girard, Jacqueline Vauzeilles
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. J. Symb. Log. 49 (3) (1984)