Joshua S. Hodas

Publication Activity (10 Years)

Years Active: 1990-2002
Publications (10 Years): 0

Publications

Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
Isolating Resource Consumption in Linear Logic Proof Search. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. CSL (2002)
Joshua S. Hodas, Naoyuki Tamura
lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. IJCAR (2001)
Joshua S. Hodas, Neel Sundaresan, Jared Jackson, Brandon L. Duncan, Walter I. Nissen, Jude Battista
NOVeLLA: A Multi-Modal Electronic-Book Reader With Visual and Auditory Interfaces. Int. J. Speech Technol. 4 (3-4) (2001)
Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
Efficient resource management for linear logic proof search. Theor. Comput. Sci. 232 (1-2) (2000)
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang
Efficient Implementation of a Linear Logic Programming Language. IJCSLP (1998)
Joshua S. Hodas
A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies. LACL (1997)
Joshua S. Hodas, Jeffrey Polakow
Forum as a Logic Programming Language. Electron. Notes Theor. Comput. Sci. 3 (1996)
Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
Efficient Resource Management for Linear Logic Proof Search. ELP (1996)
Joshua S. Hodas, Dale Miller
Logic Programming in a Fragment of Intuitionistic Linear Logic Inf. Comput. 110 (2) (1994)
Joshua S. Hodas
Logic Programming with Multiple Context Management Schemes. ELP (1993)
Joshua S. Hodas
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. JICSLP (1992)
Joshua S. Hodas, Dale Miller
Logic Programming in a Fragment of Intuitionistic Linear Logic LICS (1991)
Joshua S. Hodas, Dale Miller
Representing Objects in a Logic Programming Langueage with Scoping Constructs. ICLP (1990)