Jacqueline Vauzeilles

MaRDI QIDQ534714zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Linear logic as a tool for planning under temporal uncertainty Theoretical Computer Science	2011-05-10	Paper
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) Theoretical Computer Science	2007-07-16	Paper
Computer Science Logic Lecture Notes in Computer Science	2007-06-21	Paper
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity Mathematical Structures in Computer Science	2002-10-13	Paper
scientific article; zbMATH DE number 1231515 (Why is no real title available?)	1998-12-13	Paper
scientific article; zbMATH DE number 1104362 (Why is no real title available?)	1998-06-14	Paper
Ordinals. II: Some applications and a functorial approach Annals of Mathematics and Artificial Intelligence	1997-01-29	Paper
Ordinals. I: Basic notions Annals of Mathematics and Artificial Intelligence	1996-12-01	Paper
scientific article; zbMATH DE number 786492 (Why is no real title available?)	1996-11-04	Paper
Linear Logic and Exceptions Journal Of Logic And Computation	1995-02-13	Paper
scientific article; zbMATH DE number 500955 (Why is no real title available?)	1994-09-21	Paper
Generating plans in linear logic. I: Actions as proofs Theoretical Computer Science	1994-05-23	Paper
Cut elimination for the unified logic Annals of Pure and Applied Logic	1993-08-09	Paper
scientific article; zbMATH DE number 18649 (Why is no real title available?)	1992-06-26	Paper
Cut-elimination and interpolation for \(\Omega\)-logic Archive for Mathematical Logic	1988-01-01	Paper
Functors and ordinal notations. IV: The Howard ordinal and the functor ∧. Journal of Symbolic Logic	1985-01-01	Paper
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs Archiv für Mathematische Logik und Grundlagenforschung	1984-01-01	Paper
Functors and ordinal notations. I: A functorial construction of the veblen hierarchy Journal of Symbolic Logic	1984-01-01	Paper
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy Journal of Symbolic Logic	1984-01-01	Paper
scientific article; zbMATH DE number 3906494 (Why is no real title available?)	1982-01-01	Paper

Research outcomes over time

This page was built for person: Jacqueline Vauzeilles