Joshua S. Hodas

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