Joshua S. Hodas

According to our database, Joshua S. Hodas authored at least 12 papers between 1990 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Isolating Resource Consumption in Linear Logic Proof Search.

Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

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

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

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

lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic.

Joshua S. Hodas, Naoyuki Tamura

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Efficient resource management for linear logic proof search.

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning

Theor. Comput. Sci., 2000

1998

Efficient Implementation of a Linear Logic Programming Language.

Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997

A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies.

Joshua S. Hodas

Proceedings of the Logical Aspects of Computational Linguistics, 1997

1996

Forum as a Logic Programming Language.

Joshua S. Hodas, Jeffrey Polakow

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1994

Logic Programming in a Fragment of Intuitionistic Linear Logic

Joshua S. Hodas, Dale Miller

Inf. Comput., May, 1994

1993

Logic Programming with Multiple Context Management Schemes.

Joshua S. Hodas

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992

Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language.

Joshua S. Hodas

Proceedings of the Logic Programming, 1992

1990

Representing Objects in a Logic Programming Langueage with Scoping Constructs.

Joshua S. Hodas, Dale Miller

Proceedings of the Logic Programming, 1990