Jacqueline Vauzeilles

According to our database, Jacqueline Vauzeilles authored at least 21 papers between 1984 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Linear logic as a tool for planning under temporal uncertainty.

Max I. Kanovich, Jacqueline Vauzeilles

Theor. Comput. Sci., 2011

2007

Strong planning under uncertainty in domains with numerous but identical elements (a generic approach).

Max I. Kanovich, Jacqueline Vauzeilles

Theor. Comput. Sci., 2007

2003

Coping Polynomially with Numerous but Identical Elements within Planning Problems.

Max I. Kanovich, Jacqueline Vauzeilles

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2001

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity.

Max I. Kanovich, Jacqueline Vauzeilles

Math. Struct. Comput. Sci., 2001

1999

Tree Adjoining Grammars in a Fragment of the Lambek Calculus.

V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles

Comput. Linguistics, 1999

1996

Linear Logic for Taxonomical Networks and Database Updates.

Christophe Fouqueré, Jacqueline Vauzeilles

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Ordinals II: Some Applications and a Functorial Approach.

Jacqueline Vauzeilles

Ann. Math. Artif. Intell., 1996

Ordinals I: Basic Notions.

Marie C. Ferbus, Jacqueline Vauzeilles

Ann. Math. Artif. Intell., 1996

Tree Adjoining Grammars in Noncommutative Linear Logic.

V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles

Proceedings of the Logical Aspects of Computational Linguistics, 1996

1994

Linear Logic and Exceptions.

Christophe Fouqueré, Jacqueline Vauzeilles

J. Log. Comput., 1994

1993

Generating Plans in Linear Logic I. Actions as Proofs.

M. Masseron, Christophe Tollu, Jacqueline Vauzeilles

Theor. Comput. Sci., 1993

Cut Elimination for the Unified Logic.

Jacqueline Vauzeilles

Ann. Pure Appl. Log., 1993

Taxonomic Linear Theories.

Christophe Fouqueré, Jacqueline Vauzeilles

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1991

Intuitionistic three-valued logic and logic programming.

Jacqueline Vauzeilles

RAIRO Theor. Informatics Appl., 1991

Negation as failure and intuitionistic three-valued logic.

Jacqueline Vauzeilles

Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

1990

Generating Plans in Linear Logic.

M. Masseron, Christophe Tollu, Jacqueline Vauzeilles

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

1988

Cut-elimination and interpolation for Ω-logic.

Jacqueline Vauzeilles

Arch. Math. Log., 1988

1985

Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??.

Jacqueline Vauzeilles

J. Symb. Log., 1985

1984

Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.

Jean-Yves Girard, Jacqueline Vauzeilles

J. Symb. Log., 1984

Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy.

Jean-Yves Girard, Jacqueline Vauzeilles

J. Symb. Log., 1984

Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs.

Jean-Yves Girard, Jacqueline Vauzeilles

Arch. Math. Log., 1984