Travelled to:1 × Israel
1 × Italy
1 × The Netherlands
1 × USA
2 × United Kingdom
Collaborated with:D.Miller N.Tamura ∅ K.M.Watkins K.Kang P.López J.Polakow L.Stoilova E.Pimentel
Talks about:logic (8) program (5) linear (5) implement (2) languag (2) intuitionist (1) construct (1) lollicop (1) langueag (1) fragment (1)
Person: Joshua S. Hodas
DBLP: Hodas:Joshua_S=
Contributed to:
2002
2001
19981992
19911990Wrote 6 papers:
- CSL-2002-HodasLPSP #logic programming #proving #resource management
- A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming (JSH, PL, JP, LS, EP), pp. 167–182.
- IJCAR-2001-HodasT #agile #first-order #implementation #linear #logic #named #proving #theorem proving
- lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (JSH, NT), pp. 670–684.
- JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language
- Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.
- JICSLP-1992-Hodas #dependence #logic programming #programming language #semiparsing #specification
- Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.
- LICS-1991-HodasM #linear #logic programming
- Logic Programming in a Fragment of Intuitionistic Linear Logic (JSH, DM), pp. 32–42.
- CLP-1990-HodasM90 #logic programming #representation
- Representing Objects in a Logic Programming Langueage with Scoping Constructs (JSH, DM), pp. 511–526.