Jacqueline Vauzeilles - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2011

Linear logic as a tool for planning under temporal uncertaintyMax I. Kanovich, Jacqueline Vauzeilles. TCS, 412(20):2072-2092, 2011. [doi]

2007

Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)Max I. Kanovich, Jacqueline Vauzeilles. TCS, 379(1-2):84-119, 2007. [doi]

2003

Coping Polynomially with Numerous but Identical Elements within Planning ProblemsMax I. Kanovich, Jacqueline Vauzeilles. csl 2003: 285-298 [doi]

2001

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexityMax I. Kanovich, Jacqueline Vauzeilles. mscs, 11(6):689-716, 2001.

1999

Tree Adjoining Grammars in a Fragment of the Lambek CalculusV. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles. coling, 25(2):209-236, 1999.

1996

Tree Adjoining Grammars in Noncommutative Linear LogicV. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles. lacl 1997: 96-117 [doi]

Ordinals I: Basic NotionsMarie C. Ferbus, Jacqueline Vauzeilles. AMAI, 16:1-26, 1996.

Linear Logic for Taxonomical Networks and Database UpdatesChristophe Fouqueré, Jacqueline Vauzeilles. ENTCS, 3:61-74, 1996. [doi]

Ordinals II: Some Applications and a Functorial ApproachJacqueline Vauzeilles. AMAI, 16:27-57, 1996.

1994

Linear Logic and ExceptionsChristophe Fouqueré, Jacqueline Vauzeilles. logcom, 4(6):859-876, 1994.

1993

Taxonomic Linear TheoriesChristophe Fouqueré, Jacqueline Vauzeilles. ecsqaru 1993: 121-128

Generating Plans in Linear Logic I. Actions as ProofsM. Masseron, Christophe Tollu, Jacqueline Vauzeilles. TCS, 113(2):349-370, 1993.

Cut Elimination for the Unified LogicJacqueline Vauzeilles. APAL, 62(1):1-16, 1993.

1991

Negation as failure and intuitionistic three-valued logicJacqueline Vauzeilles. fair 1991: 227-241

Intuitionistic three-valued logic and logic programmingJacqueline Vauzeilles. ita, 25:557, 1991.

1990

Generating Plans in Linear LogicM. Masseron, Christophe Tollu, Jacqueline Vauzeilles. fsttcs 1990: 63-75

1988

Cut-elimination and interpolation for Ω-logicJacqueline Vauzeilles. AML, 27(2):161-175, 1988. [doi]

1985

Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??Jacqueline Vauzeilles. JSYML, 50(2):331-338, 1985.

1984

Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann HierarchyJean-Yves Girard, Jacqueline Vauzeilles. JSYML, 49(4):1079-1114, 1984.

Functors and Ordinal Notations. I: A Functorial Construction of the Veblen HierarchyJean-Yves Girard, Jacqueline Vauzeilles. JSYML, 49(3):713-729, 1984.

Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateursJean-Yves Girard, Jacqueline Vauzeilles. AML, 24(1):167-191, 1984. [doi]

Sign in or sign up to see more results.

runs on WebDSL