CSLI title

Home  |   Articles  |   Search  |  About  |  Other Works   |

Photos | Videos | What's New


Language and Logic

1990 —An equational deductive system for the differential and integral calculus

1991 —Definition II: Rules of definition

1992 —Complexity issues in robotic machine learning of natural language
1992 —Comprehension grammars generated from machine learning of natural language

1993 —An Analysis of `If' Sentences from the Standpoint of Communication
1993 —A finitarily consistent free-variable positive fragment of infinitesimal analysis

1994 —A brief survey of Adams’ contributions to philosophy
1994 —Some questions about Adams’ conditionals

1995 —Machine learning of natural language: problems and prospects
1995 —Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
1995 —Comprehension grammars generated from machine learning of natural language

1996 —Finite models of elementary recursive nonstandard analysis
1996 —Probabilistic association and denotation in machine learning of natural language
1996 —Hierarchical learning of Boolean functions
1996 —Machine learning comprehension grammars for ten languages
1996 —Foreword

1997 —Dispensing with the continuum

1998 —Robotic Machine Learning of Anaphora
1998 —Machine Learning of Physics Word Problems: A Preliminary Report


© CSLI 2002-2006