BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cleary:John_G=

Contributed to:

LOPSTR 20022002
ICLP 19991999
PPDP 19991999
ALP/PLILP 19981998
ICML 19951995

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.