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:
2002
1999
19991998
1995Wrote 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.