Travelled to:1 × Denmark
1 × Spain
1 × Sweden
1 × Switzerland
1 × USA
Collaborated with:G.Baliga C.Lynes C.Smith F.Stephan W.Merkle S.Jain T.D.Le Y.S.Ong P.Semukhin
Talks about:languag (3) induct (2) infer (2) hypersimpl (1) hierarchi (1) subclass (1) learnabl (1) unlearn (1) pattern (1) identif (1)
Person: John Case
DBLP: Case:John
Contributed to:
2011
200019931982
1978Wrote 5 papers:
- LATA-2011-CaseJLOSS #automation #learning #pattern matching #subclass
- Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
- ICALP-2000-BaligaCMS
- Unlearning Helps (GB, JC, WM, FS), pp. 844–855.
- ICALP-1993-BaligaC #named
- Learnability: Admissible, Co-finite, and Hypersimple Languages (GB, JC), pp. 289–300.
- ICALP-1982-CaseL #identification #induction
- Machine Inductive Inference and Language Identification (JC, CL), pp. 107–115.
- STOC-1978-CaseS #induction
- Anomaly Hierarchies of Mechanized Inductive Inference (JC, CS), pp. 314–319.