Representing Objects in a Logic Programming Langueage with Scoping Constructs. - Joshua S. Hodas; Dale Miller 001 (ICLP, 1990)

Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. - Joshua S. Hodas (JICSLP, 1992)

Logic Programming with Multiple Context Management Schemes. - Joshua S. Hodas (ELP, 1993)

Logic Programming in a Fragment of Intuitionistic Linear Logic - Joshua S. Hodas; Dale Miller 001 (Inf. Comput., 1994)

Forum as a Logic Programming Language. - Joshua S. Hodas; Jeffrey Polakow (Linear Logic Tokyo Meeting, 1996)

A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies. - Joshua S. Hodas (LACL, 1997)

Efficient Implementation of a Linear Logic Programming Language. - Joshua S. Hodas; K. M. Watkins; Naoyuki Tamura; Kyoung-Sun Kang (IJCSLP, 1998)

Efficient resource management for linear logic proof search. - Iliano Cervesato; Joshua S. Hodas; Frank Pfenning (Theor. Comput. Sci., 2000)

lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. - Joshua S. Hodas; Naoyuki Tamura (IJCAR, 2001)

NOVeLLA: A Multi-Modal Electronic-Book Reader With Visual and Auditory Interfaces. - Joshua S. Hodas; Neel Sundaresan; Jared Jackson; Brandon L. Duncan; Walter I. Nissen; Jude Battista (Int. J. Speech Technol., 2001)

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. - Joshua S. Hodas; Pablo López; Jeffrey Polakow; Lubomira Stoilova; Ernesto Pimentel 001 (CSL, 2002)

Isolating Resource Consumption in Linear Logic Proof Search. - Pablo López; Ernesto Pimentel 001; Joshua S. Hodas; Jeffrey Polakow; Lubomira Stoilova (LFM, 2002)