Travelled to:
1 × Germany
1 × Sweden
3 × USA
Collaborated with:
∅ K.Benkerimi M.H.v.Emden A.F.Bowers C.G.Giraud-Carrier
Talks about:
program (3) logic (3) reconstruct (1) structur (1) procedur (1) intellig (1) individu (1) function (1) artifici (1) partial (1)
Person: John W. Lloyd
DBLP: Lloyd:John_W=
Facilitated 2 volumes:
Contributed to:
Wrote 5 papers:
- ICFP-2007-Lloyd #declarative #programming
- Declarative programming for artificial intelligence applications (JWL), pp. 123–124.
- ICML-2000-BowersGL #classification
- Classification of Individuals with Complex Structure (AFB, CGGC, JWL), pp. 81–88.
- ILPS-1994-Lloyd #functional #logic programming #programming language
- Combining Functional and Logic Programming Languages (JWL), pp. 43–57.
- NACLP-1990-BenkerimiL #logic programming #partial evaluation #source code
- A Partial Evaluation Procedure for Logic Programs (KB, JWL), pp. 343–358.
- ILPC-1984-EmdenL84 #logic #prolog #re-engineering
- A Logical Reconstruction of Prolog II (MHvE, JWL), pp. 35–40.