Linear logic as a tool for planning under temporal uncertainty | 2 | 0.37 | 2011 |
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) | 3 | 0.39 | 2007 |
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity | 17 | 0.65 | 2001 |
Tree Adjoining Grammars in a fragment of the Lambek calculus | 3 | 1.47 | 1999 |
Ordinals I: Basic Notions. | 1 | 0.36 | 1996 |
Linear Logic for Taxonomical Networks and Database Updates | 0 | 0.34 | 1996 |
Ordinals II: Some Applications and a Functorial Approach. | 1 | 0.36 | 1996 |
Tree Adjoining Grammars in Noncommutative Linear Logic | 3 | 0.57 | 1996 |
Linear Logic and Exceptions | 2 | 0.41 | 1994 |
Cut elimination for the unified logic | 1 | 0.96 | 1993 |
Taxonomic Linear Theories | 1 | 0.39 | 1993 |
Negation as failure and intuitionistic three-valued logic | 1 | 0.35 | 1991 |
Intuitionistic three-valued logic and logic programming | 1 | 0.36 | 1991 |
Generating plans in linear logic | 34 | 2.57 | 1990 |
Cut-elimination and interpolation for Ω-logic | 0 | 0.34 | 1988 |
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ?? | 3 | 0.51 | 1985 |
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy | 1 | 0.37 | 1984 |
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy | 7 | 0.89 | 1984 |