`Travelled to:`

1 × France

1 × Italy

1 × Spain

2 × USA

`Collaborated with:`

L.Lu L.E.Trigg R.Clayton B.Pfahringer M.Utting

`Talks about:`

program (2) logic (2) type (2) use (2) construct (1) structur (1) properti (1) starlog (1) regular (1) learner (1)

## Person: John G. Cleary

### DBLP: Cleary:John_G=

### Contributed to:

### Wrote 5 papers:

- LOPSTR-2002-ClaytonCPU #bottom-up #logic programming
- Tabling Structures for Bottom-Up Logic Programming (RC, JGC, BP, MU), pp. 50–51.
- ICLP-1999-LuC #analysis #logic programming #source code
- A Regular Type Analysis of Logic Programs (LL, JGC), p. 613.
- PPDP-1999-LuC #semantics
- An Operational Semantics of Starlog (LL, JGC), pp. 294–310.
- ALP-PLILP-1998-ClearyL #using
- Constructive Negation Using Typed Existence Properties (JGC, LL), pp. 411–426.
- ICML-1995-ClearyT #distance #using
- K*: An Instance-based Learner Using and Entropic Distance Measure (JGC, LET), pp. 108–114.