1: \begin{thebibliography}{260}
2: \expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi
3:
4: \bibitem[Abney(1997)]{abney_1997}
5: S.~P. Abney.
6: \newblock Stochastic attribute-value grammars.
7: \newblock {\em Computational Linguistics}, 23\penalty0 (4):\penalty0 597--618,
8: 1997.
9:
10: \bibitem[Adleman(1994)]{adleman_1994}
11: L.~M. Adleman.
12: \newblock Molecular computation of solutions to combinatorial problems.
13: \newblock {\em Science}, 266:\penalty0 1021--1024, 1994.
14:
15: \bibitem[Adleman(1998)]{adleman_1998}
16: L.~M. Adleman.
17: \newblock Computing with {DNA}.
18: \newblock {\em Scientific American}, 279\penalty0 (2):\penalty0 54--61, 1998.
19:
20: \bibitem[Adriaans et~al.(2000)Adriaans, Trautwein, and
21: Vervoort]{adriaans_et_al_2000}
22: P.~Adriaans, M.~Trautwein, and M.~Vervoort.
23: \newblock Towards high speed grammar induction on large text corpora.
24: \newblock In V.~Hlav{\'a}{\"c}, K.~G. Jeffery, and J.~Wiedermann, editors, {\em
25: SOFSEM 2000}, volume 1963 of {\em Lecture Notes in Computer Science}, pages
26: 173--186. Springer, 2000.
27:
28: \bibitem[Allison et~al.(1992)Allison, Wallace, and
29: Yee]{allison_wallace_yee_1992}
30: L.~Allison, C.~S. Wallace, and C.~N. Yee.
31: \newblock Minimum message length encoding, evolutionary trees and
32: multiple-alignment.
33: \newblock In {\em Proceedings of the Hawaii International Conference on Systems
34: Science, HICCS-25}, January 1992.
35:
36: \bibitem[Anderson and Lebiere(1998)]{anderson_lebiere_1998}
37: J.~R. Anderson and C.~J. Lebiere.
38: \newblock {\em The Atomic Components of Thought}.
39: \newblock Lawrence Erlbaum, Mahwah, NJ, 1998.
40:
41: \bibitem[Attneave(1954)]{attneave_1954}
42: F.~Attneave.
43: \newblock Some informational aspects of visual perception.
44: \newblock {\em Psychological Review}, 61:\penalty0 183--193, 1954.
45:
46: \bibitem[Baader et~al.(1999)Baader, K{\"u}sters, Borgida, and
47: Mc{G}uinness]{baarder_etal_1999}
48: F.~Baader, R.~K{\"u}sters, A.~Borgida, and D.~L. Mc{G}uinness.
49: \newblock Matching in description logics.
50: \newblock {\em Journal of Logic and Computation}, 9\penalty0 (3):\penalty0
51: 411--447, 1999.
52:
53: \bibitem[Barlow(1959)]{barlow_1959}
54: H.~B. Barlow.
55: \newblock Sensory mechanisms, the reduction of redundancy, and intelligence.
56: \newblock In {HMSO}, editor, {\em The Mechanisation of Thought Processes},
57: pages 535--559. Her Majesty's Stationery Office, London, 1959.
58:
59: \bibitem[Barlow(1961)]{barlow_1961}
60: H.~B. Barlow.
61: \newblock The coding of sensory messages.
62: \newblock In W.~H. Thorpe and O.~L. Zangwill, editors, {\em Current Problems in
63: Animal Behaviour}, pages 331--360. Cambridge University Press, Cambridge,
64: 1961.
65: \newblock Chapter XIII.
66:
67: \bibitem[Barlow(1969)]{barlow_1969}
68: H.~B. Barlow.
69: \newblock Trigger features, adaptation and economy of impulses.
70: \newblock In K.~N. Leibovic, editor, {\em Information Processes in the Nervous
71: System}, pages 209--230. Springer, New York, 1969.
72:
73: \bibitem[Barlow(1982)]{barlow_1982}
74: H.~B. Barlow.
75: \newblock David {H}ubel and {T}orsten {W}iesel: their contribution towards
76: understanding the primary visual cortex.
77: \newblock {\em Trends in Neuroscience}, 5\penalty0 (5):\penalty0 145--152,
78: 1982.
79:
80: \bibitem[Barlow(1997)]{barlow_1997}
81: H.~B. Barlow.
82: \newblock The knowledge used in vision and where it comes from.
83: \newblock {\em Philosophical Transactions of the Royal Society London B},
84: 352:\penalty0 1141--1147, 1997.
85:
86: \bibitem[Barlow(2001{\natexlab{a}})]{barlow_2001_bbs}
87: H.~B. Barlow.
88: \newblock The exploitation of regularities in the environment by the brain.
89: \newblock {\em Behavioural and Brain Sciences}, 24\penalty0 (4):\penalty0
90: 602--607 and 748--749, 2001{\natexlab{a}}.
91:
92: \bibitem[Barlow(2001{\natexlab{b}})]{barlow_2001_network}
93: H.~B. Barlow.
94: \newblock Redundancy reduction revisited.
95: \newblock {\em Network: Computation in Neural Systems}, 12:\penalty0 241--253,
96: 2001{\natexlab{b}}.
97:
98: \bibitem[Barrow(1992)]{barrow_1992}
99: J.~D. Barrow.
100: \newblock {\em Pi in the Sky}.
101: \newblock Penguin Books, Harmondsworth, 1992.
102:
103: \bibitem[Barton(1990)]{barton_1990}
104: G.~J. Barton.
105: \newblock Protein multiple sequence alignment and flexible pattern matching.
106: \newblock {\em Methods in Enzymology}, 183:\penalty0 403--428, 1990.
107:
108: \bibitem[Belloti and Gammerman(1996)]{belloti_gammerman_1996}
109: T.~Belloti and A.~Gammerman.
110: \newblock Experiments in solving analogy problems using {M}inimal {L}ength
111: {E}ncoding.
112: \newblock In {\em Proceedings of Stream 1: ``Computational Learning and
113: Probabilistic Reasoning'', Applied Decision Technologies, Brunel University,
114: April 1995}, 1996.
115:
116: \bibitem[Berger et~al.(1996)Berger, {Della Pietra}, and {Della
117: Pietra}]{berger_etal_1996}
118: A.~L. Berger, S.~A. {Della Pietra}, and V.~J. {Della Pietra}.
119: \newblock A maximum entropy approach to natural language processing.
120: \newblock {\em Computational Linguistics}, 22\penalty0 (1):\penalty0 39--71,
121: 1996.
122:
123: \bibitem[Berners-Lee et~al.(2001)Berners-Lee, Hendler, and
124: Lassila]{berners-lee_etal_2001}
125: T.~Berners-Lee, J.~Hendler, and O.~Lassila.
126: \newblock The {S}emantic {W}eb.
127: \newblock {\em Scientific American}, May 2001.
128:
129: \bibitem[Bertino et~al.(2001)Bertino, Catania, and Zarri]{bertino_etal_2001}
130: E.~Bertino, B.~Catania, and G.~P. Zarri.
131: \newblock {\em Intelligent Database Systems}.
132: \newblock Addison-Wesley, Harlow, 2001.
133:
134: \bibitem[Bertossi et~al.(1992)Bertossi, Luccio, Pagli, and
135: Lodi]{bertossi_etal_1992}
136: A.~A. Bertossi, F.~Luccio, L.~Pagli, and E.~Lodi.
137: \newblock A parallel solution to the approximate string matching problem.
138: \newblock {\em Computer Journal}, 35\penalty0 (5):\penalty0 524--526, 1992.
139:
140: \bibitem[Black et~al.(1993)Black, Garside, and Leech]{black_etal_1993}
141: E.~Black, R.~Garside, and G.~Leech, editors.
142: \newblock {\em Statistically-driven computer grammars of English: the
143: IBM/Lancaster approach}.
144: \newblock Rodopi, Amsterdam, 1993.
145:
146: \bibitem[Bondarenko et~al.(1997)Bondarenko, Dung, Kowalski, and
147: Toni]{bondarenko_etal_1997}
148: A.~Bondarenko, P.~M. Dung, R.~A. Kowalski, and F.~Toni.
149: \newblock An abstract, argumentation-theoretic approach to default reasoning.
150: \newblock {\em Artificial Intelligence}, 93\penalty0 (1--2):\penalty0 63--101,
151: 1997.
152:
153: \bibitem[Boolos and Jeffrey(1980)]{boolos_jeffrey_1980}
154: G.~Boolos and R.~Jeffrey.
155: \newblock {\em Computability and Logic}.
156: \newblock Cambridge University Press, Cambridge, 1980.
157:
158: \bibitem[Borsley(1996)]{borsley_1996}
159: R.~Borsley.
160: \newblock {\em Modern Phrase Structure Grammar}.
161: \newblock Blackwell, Oxford, 1996.
162:
163: \bibitem[Braine et~al.(1995)Braine, O'Brien, Noveck, Samuels, Lea, Fisch, and
164: Yang]{braine_etal_1995}
165: M.~D.~S. Braine, D.~P. O'Brien, I.~A. Noveck, M.~C. Samuels, B.~L. Lea, S.~M.
166: Fisch, and Y.~Yang.
167: \newblock predicting intermediate and multiple conclusions in propositional
168: logic inference problems: further evidence for a mental logic.
169: \newblock {\em Journal of Experimental Psychology: General}, 124:\penalty0
170: 263--292, 1995.
171:
172: \bibitem[Brandt and Turhan(2001)]{brandt_turhan_2001}
173: S.~Brandt and A.-Y. Turhan.
174: \newblock Using non-standard inferences in description logics: what does it buy
175: me?
176: \newblock In {\em Proceedings of {KI}-2001 Workshop on Applications of
177: Description Logic ({KIDLWS}'01)}, 2001.
178:
179: \bibitem[Broekstra et~al.(2002)Broekstra, Klein, Decker, Fensel, {van
180: Harmelin}, and Horrocks]{broekstra_etal_2002}
181: J.~Broekstra, M.~Klein, S.~Decker, D.~Fensel, F.~{van Harmelin}, and
182: I.~Horrocks.
183: \newblock Enabling knowledge representation on the web by extending {RDF}
184: schema.
185: \newblock {\em Computer Networks}, 39:\penalty0 609--634, 2002.
186:
187: \bibitem[Brooks and Vokey(1991)]{brooks_vokey_1991}
188: L.~R. Brooks and J.~R. Vokey.
189: \newblock Abstract analogies and abstracted grammars. comments on {R}eber
190: (1989) and mathews {\em et al.} (1989).
191: \newblock {\em Journal of Experimental Psychology: General}, 120:\penalty0
192: 316--323, 1991.
193:
194: \bibitem[Brown(1989)]{brown_1989}
195: C.~Brown.
196: \newblock {\em My Left Foot}.
197: \newblock Mandarin, London, 1989.
198:
199: \bibitem[Brown(1973)]{brown_1973}
200: R.~Brown.
201: \newblock {\em A First Language: The Early Stages}.
202: \newblock Penguin, Harmondsworth, 1973.
203:
204: \bibitem[Carroll et~al.(1988)Carroll, Pogue, and Willett]{carroll_etal_1988}
205: D.~M. Carroll, C.~A. Pogue, and P.~Willett.
206: \newblock Bibliographic pattern matching using the {ICL} {D}istributed {A}rray
207: {P}rocessor.
208: \newblock {\em Journal of the American Society for Information Science},
209: 39\penalty0 (6):\penalty0 390--399, 1988.
210:
211: \bibitem[Chaitin(1987)]{chaitin_1987}
212: G.~J. Chaitin.
213: \newblock {\em Algorithmic Information Theory}.
214: \newblock Cambridge University Press, Cambridge, 1987.
215:
216: \bibitem[Chaitin(1988)]{chaitin_1988}
217: G.~J. Chaitin.
218: \newblock Randomness in arithmetic.
219: \newblock {\em Scientific American}, 259\penalty0 (1):\penalty0 80--85, 1988.
220:
221: \bibitem[Chan et~al.(1992)Chan, Wong, and Chiu]{chan_etal_1992}
222: S.~C. Chan, A.~K.~C. Wong, and D.~K. Y.~A. Chiu.
223: \newblock Survey of multiple sequence comparison methods.
224: \newblock {\em Bulletin of Mathematical Biology}, 54\penalty0 (4):\penalty0
225: 563--598, 1992.
226:
227: \bibitem[Chater(1996)]{chater_1996}
228: N.~Chater.
229: \newblock Reconciling simplicity and likelihood principles in perceptual
230: organisation.
231: \newblock {\em Psychological Review}, 103\penalty0 (3):\penalty0 566--581,
232: 1996.
233:
234: \bibitem[Chater(1999)]{chater_1999}
235: N.~Chater.
236: \newblock The search for simplicity: a fundamental cognitive principle?
237: \newblock {\em Quarterly Journal of Experimental Psychology}, 52 A\penalty0
238: (2):\penalty0 273--302, 1999.
239:
240: \bibitem[Chater and Hahn(1997)]{chater_hahn_1997}
241: N.~Chater and U.~Hahn.
242: \newblock Representational distortion, similarity and the universal law of
243: generalization.
244: \newblock In {\em Proceedings of the Similarity and Categorization Workshop 97,
245: University of Edinburgh}, pages 31--36, 1997.
246:
247: \bibitem[Cheeseman(1990)]{cheeseman_1990}
248: P.~Cheeseman.
249: \newblock On finding the most probable model.
250: \newblock In J.~Shrager and P.~Langley, editors, {\em Computational Models of
251: Scientific Discovery and Theory Formation}. Morgan Kaufmann, San Mateo, Ca.,
252: 1990.
253:
254: \bibitem[Chen(1976)]{chen_1976}
255: P.~P. Chen.
256: \newblock The entity-relationship model---toward a unified view of data.
257: \newblock {\em {ACM} Transactions on Database Systems}, 1\penalty0
258: (1):\penalty0 9--36, 1976.
259:
260: \bibitem[Cheng(1997)]{cheng_1997}
261: P.~W. Cheng.
262: \newblock From covariation to causation: a causal power theory.
263: \newblock {\em Psychological Review}, 104:\penalty0 367--405, 1997.
264:
265: \bibitem[Cheng and Holyoak(1985)]{cheng_holyoak_1985}
266: P.~W. Cheng and K.~J. Holyoak.
267: \newblock Pragmatic reasoning schemas.
268: \newblock {\em Cognitive Psychology}, 17:\penalty0 391--416, 1985.
269:
270: \bibitem[Cho and Colomb(1998)]{cho_colomb_1998}
271: O.~H. Cho and R.~M. Colomb.
272: \newblock Associative random access machines and data-parallel multiway
273: binary-search join.
274: \newblock {\em Future Generation Computer Systems}, 13\penalty0 (6):\penalty0
275: 451--467, 1998.
276:
277: \bibitem[Chomsky(1969)]{chomsky_c_1969}
278: C.~Chomsky.
279: \newblock {\em The Acquisition of Syntax in Children from 5 to 10}.
280: \newblock MIT Press, Cambridge, MA, 1969.
281:
282: \bibitem[Chomsky(1957)]{chomsky_1957}
283: N.~Chomsky.
284: \newblock {\em Syntactic Structures}.
285: \newblock Mouton, The Hague, 1957.
286:
287: \bibitem[Chomsky(1959)]{chomsky_1959}
288: N.~Chomsky.
289: \newblock A review of {B}. {F}. {S}kinner's {V}erbal {B}ehavior.
290: \newblock {\em Language}, 35\penalty0 (1):\penalty0 26--58, 1959.
291:
292: \bibitem[Chomsky(1965)]{chomsky_1965}
293: N.~Chomsky.
294: \newblock {\em Aspects of the Theory of Syntax}.
295: \newblock MIT Press, Cambridge, MA, 1965.
296:
297: \bibitem[Church(1941)]{church_1941}
298: A.~Church.
299: \newblock {\em The Calculi of Lamda-Conversion}, volume~6 of {\em Annals of
300: Mathematical Studies}.
301: \newblock Princeton University Press, Princeton, 1941.
302:
303: \bibitem[Clark(2001)]{clark_2001}
304: A.~Clark.
305: \newblock Unsupervised induction of stochastic context-free grammars using
306: distributional clustering.
307: \newblock In \citet{daelemans_zajac_2001}, pages 105--112.
308:
309: \bibitem[Codd(1970)]{codd_1970}
310: E.~F. Codd.
311: \newblock A relational model of data for large shared data banks.
312: \newblock {\em Communications of the {ACM}}, 13\penalty0 (6):\penalty0
313: 377--387, 1970.
314:
315: \bibitem[Collins and Quillian(1969)]{collins_quillian_1969}
316: A.~M. Collins and M.~R. Quillian.
317: \newblock Retrieval time from semantic memory.
318: \newblock {\em Journal of Verbal Learning and Verbal Behaviour}, 8:\penalty0
319: 240--248, 1969.
320:
321: \bibitem[Collins and Quillian(1972)]{collins_quillian_1972}
322: A.~M. Collins and M.~R. Quillian.
323: \newblock Experiments on semantic memory and language comprehension.
324: \newblock In L.~W. Gregg, editor, {\em Cognition in Learning and Memory}, pages
325: 117--147. Wiley, New York, 1972.
326:
327: \bibitem[Connolly and Begg(2002)]{connolly_begg_2002}
328: T.~Connolly and C.~Begg.
329: \newblock {\em Database Systems}.
330: \newblock Addison-Wesley, London, 2002.
331:
332: \bibitem[Copi(1986)]{copi_1986}
333: I.~M. Copi.
334: \newblock {\em Introduction to Logic}.
335: \newblock Macmillan, London, 1986.
336:
337: \bibitem[Corter and Gluck(1992)]{corter_gluck_1992}
338: J.~E. Corter and M.~A. Gluck.
339: \newblock Explaining basic categories: feature predictability and information.
340: \newblock {\em Psychological Bulletin}, 2:\penalty0 291--303, 1992.
341:
342: \bibitem[Cover and Thomas(1991)]{cover_thomas_1991}
343: T.~M. Cover and J.~A. Thomas.
344: \newblock {\em Elements of Information Theory}.
345: \newblock John Wiley, New York, 1991.
346:
347: \bibitem[Craig(1998)]{craig_1998}
348: E.~Craig, editor.
349: \newblock {\em Routledge Encyclopedia of Philosophy}, volume 1--10.
350: \newblock Routledge, London, 1998.
351:
352: \bibitem[Daelemans and Zajac(2001)]{daelemans_zajac_2001}
353: W.~Daelemans and R.~Zajac, editors.
354: \newblock {\em Proceedings of CoNLL-2001 (at ACL-2001, Toulouse, France)},
355: 2001.
356:
357: \bibitem[Dagun and Luby(1997)]{dagu_luby_1997}
358: P.~Dagun and M.~Luby.
359: \newblock An optimal approximation algorithm for bayesian inference.
360: \newblock {\em Artificial Intelligence}, 93\penalty0 (1--2):\penalty0 1--27,
361: 1997.
362:
363: \bibitem[Date(1986)]{date_1986}
364: C.~J. Date.
365: \newblock {\em An Introduction to Database Systems}, volume~1.
366: \newblock Addison-Wesley, Reading, Mass., 1986.
367:
368: \bibitem[Dawkins(1976)]{dawkins_1976}
369: R.~Dawkins.
370: \newblock Hierarchical organisation: a candidate principle for ethology.
371: \newblock In P.~P.~G. Bateson and R.~A. Hinde, editors, {\em Growing Points in
372: Ethology}. Cambridge University Press, Cambridge, 1976.
373:
374: \bibitem[Day and McMorris(1992)]{day_mcmorris_1992}
375: W.~H.~E. Day and F.~R. McMorris.
376: \newblock Critical comparison of consensus methods for molecular sequences.
377: \newblock {\em Journal of Verbal Learning and Verbal Behaviour}, 20\penalty0
378: (5):\penalty0 1093--1099, 1992.
379:
380: \bibitem[Denis(2001)]{denis_2001}
381: F.~Denis.
382: \newblock Learning regular languages from simple positive examples.
383: \newblock {\em Machine Learning}, 44\penalty0 (1/2):\penalty0 37--66, 2001.
384:
385: \bibitem[Devlin(1991)]{devlin_1991}
386: K.~Devlin.
387: \newblock {\em Logic and Information}.
388: \newblock Cambridge University Press, Cambridge, 1991.
389:
390: \bibitem[Devlin(1997)]{devlin_1997}
391: K.~Devlin.
392: \newblock {\em Mathematics: The Science of Patterns}.
393: \newblock Scientific American Library, New York, 1997.
394:
395: \bibitem[Dickinson(2001)]{dickinson_2001}
396: A.~Dickinson.
397: \newblock Causal learning: an associative analysis.
398: \newblock {\em The Quarterly Journal of Experimental Psychology}, 54B:\penalty0
399: 3--25, 2001.
400:
401: \bibitem[Dreuth and Ruber(1997)]{dreuth_ruber_1997}
402: E.~W. Dreuth and B.~Ruber.
403: \newblock Context-dependent probability adaptation in speech understanding.
404: \newblock {\em Computer Speech and Language}, 11:\penalty0 225--252, 1997.
405:
406: \bibitem[Dulany et~al.(1984)Dulany, Carlson, and Dewey]{dulany_etal_1984}
407: D.~E. Dulany, R.~A. Carlson, and G.~I. Dewey.
408: \newblock A case of syntactical learning and judgment: how conscious and how
409: abstract?
410: \newblock {\em Journal of Experimental Psychology: General}, 113:\penalty0
411: 541--555, 1984.
412:
413: \bibitem[Dulany et~al.(1985)Dulany, Carlson, and Dewey]{dulany_etal_1985}
414: D.~E. Dulany, R.~A. Carlson, and G.~I. Dewey.
415: \newblock On consciousness in syntactic learning and judgment: a reply to
416: {R}eber, {A}llen, and {R}egan.
417: \newblock {\em Journal of Experimental Psychology: General}, 114:\penalty0
418: 33--49, 1985.
419:
420: \bibitem[E.(1991)]{servan-schreiber_1991}
421: Servan-Schreiber E.
422: \newblock {\em The competitive chunking theory: models of perception, learning,
423: and memory}.
424: \newblock PhD thesis, Department of Psychology, Carnegie-Mellon University,
425: Pittsburgh, 1991.
426:
427: \bibitem[Epstein and Carnielli(1989)]{epstein_carnielli_1989}
428: R.~L. Epstein and W.~A. Carnielli.
429: \newblock {\em Computability: Computable Functions, Logic, and the Foundations
430: of Mathematics}.
431: \newblock Wadsworth \& Brooks, Pacific Grove, 1989.
432:
433: \bibitem[Evans(1991)]{evans_1991}
434: St~B. T.~J. Evans.
435: \newblock Theories of human reasoning: the fragmented state of the art.
436: \newblock {\em Theory \& Psychology}, 1:\penalty0 83--105, 1991.
437:
438: \bibitem[Evans et~al.(1991)Evans, Newstead, and Byrne]{evans_etal_1991}
439: St~B. T.~J. Evans, S.~E. Newstead, and R.~J.~M. Byrne.
440: \newblock {\em Human Reasoning: The Psychology of Deduction}.
441: \newblock Lawrence Erlbaum Associates, Hove, 1991.
442:
443: \bibitem[Evans(1968)]{evans_1968}
444: T.~G. Evans.
445: \newblock A program for the solution of a class of geometric-analogy
446: intelligence-test questions.
447: \newblock In M.~L. Minsky, editor, {\em Semantic Information Processing}, pages
448: 271--353. MIT Press, Cambridge Mass., 1968.
449:
450: \bibitem[Eves(1990)]{eves_1990}
451: H.~Eves.
452: \newblock {\em Foundations and Fundamental Concepts of Mathematics}.
453: \newblock Dover Publications, New York, 1990.
454:
455: \bibitem[Fensel et~al.(2001)Fensel, Horrocks, {van Harmelin}, Mc{G}uinness, and
456: {Patel-{S}chneider}]{fensel_etal_2001}
457: D.~Fensel, I.~Horrocks, F.~{van Harmelin}, D.~L. Mc{G}uinness, and P.~F.
458: {Patel-{S}chneider}.
459: \newblock {OIL}: an ontology infrastructure for the {S}emantic {W}eb.
460: \newblock {\em IEEE Intelligent Systems}, 16\penalty0 (2):\penalty0 38--45,
461: 2001.
462:
463: \bibitem[Forsyth(1992)]{forsyth_1992}
464: R.~S. Forsyth.
465: \newblock Ockham's razor as a gardening tool: simplifying discrimination trees
466: by entropy min-max.
467: \newblock In {\em Research and Development in Expert Systems IX}, pages
468: 183--195. Cambridge University Press, Cambridge, 1992.
469:
470: \bibitem[Fries(1952)]{fries_1952}
471: C.~C. Fries.
472: \newblock {\em The Structure of English}.
473: \newblock Harcourt, Brace \& World, New York, 1952.
474:
475: \bibitem[Gabbay et~al.(1994)Gabbay, Hogger, and Robinson]{gab_hog_rob_1994}
476: D.~M. Gabbay, C.~J. Hogger, and J.~A. Robinson, editors.
477: \newblock {\em Handbook of Logic in Artificial Intelligence and Logic
478: Programming: Nonmonotonic Reasoning and Uncertain Reasoning}, volume~3.
479: \newblock Oxford University Press, Oxford, 1994.
480:
481: \bibitem[Gammerman(1996)]{gammerman_1996}
482: A.~Gammerman, editor.
483: \newblock {\em Computational Learning and Probabilistic Reasoning}.
484: \newblock Wiley, Chichester, 1996.
485:
486: \bibitem[Gammerman(1991)]{gammerman_1991}
487: A.~J. Gammerman.
488: \newblock The representation and manipulation of the algorithmic probability
489: measure for problem solving.
490: \newblock {\em Annals of Mathematics and Artificial Intelligence}, 4:\penalty0
491: 281--300, 1991.
492:
493: \bibitem[Gardner-Medwin and Barlow(2001)]{gardner-medwin_barlow_2001}
494: A.~R. Gardner-Medwin and H.~B. Barlow.
495: \newblock The limits of counting accuracy in distributed neural
496: representations.
497: \newblock {\em Neural Computation}, 13:\penalty0 477--504, 2001.
498:
499: \bibitem[Garside et~al.(1987)Garside, Leech, and Sampson]{garside_etal_1987}
500: R.~Garside, G.~Leech, and G.~Sampson, editors.
501: \newblock {\em The Computational Analysis of English: A Corpus-Based Approach}.
502: \newblock Longman, London, 1987.
503:
504: \bibitem[Gathercole et~al.(1999)Gathercole, Thomas, and
505: Kim]{gathercole_etal_1999}
506: V.~C.~M. Gathercole, E.~Thomas, and S.~Kim.
507: \newblock Cue coordination: an alternative to word meaning biases.
508: \newblock In B.~Fox, D.~Jurafsky, and L.~Michaelis, editors, {\em Cognition and
509: Function in Language}, pages 120--135. CSLI Publications, Stanford, 1999.
510:
511: \bibitem[Gazdar and Mellish(1989)]{gazdar_mellish_1989}
512: G.~Gazdar and C.~Mellish.
513: \newblock {\em Natural Language Processing in Prolog}.
514: \newblock Addison-Wesley, Wokingham, 1989.
515:
516: \bibitem[Gentner et~al.(2001)Gentner, Holyoak, and Kokinov]{gentner_etal_2001}
517: D.~Gentner, K.~J. Holyoak, and B.~N. Kokinov, editors.
518: \newblock {\em The Analogical Mind}.
519: \newblock MIT Press, Cambridge, MA, 2001.
520:
521: \bibitem[Ginsberg(1994)]{ginsberg_1994}
522: M.~L. Ginsberg.
523: \newblock {AI} and nonmonotonic reasoning.
524: \newblock In \citet{gab_hog_rob_1994}, pages 1--33.
525:
526: \bibitem[Gold(1967)]{gold_1967}
527: M.~Gold.
528: \newblock Language identification in the limit.
529: \newblock {\em Information and Control}, 10:\penalty0 447--474, 1967.
530:
531: \bibitem[Gosselin and Schyns(1997)]{gosselin_schyns_1997}
532: F.~Gosselin and P.~G. Schyns.
533: \newblock Debunking the basic level.
534: \newblock In {\em Proceedings of the 19th Meeting of the Cognitive Science
535: Society}, pages 277--282, Hillsdale, NJ, 1997. Lawrence Erlbaum.
536:
537: \bibitem[Grunwald(1997)]{grunwald_1997}
538: P.~Grunwald.
539: \newblock The minimum description length principle and non-deductive inference.
540: \newblock In P.~Flach, editor, {\em Proceedings of the IJCAI Workshop on
541: Abduction and Induction in AI, Nagoya, Japan}, 1997.
542:
543: \bibitem[Harris(1951)]{harris_1951}
544: Z.~S. Harris.
545: \newblock {\em Methods in Structural Linguistics}.
546: \newblock University of Chicago Press, Chicago, 1951.
547:
548: \bibitem[Harris(1955)]{harris_1955}
549: Z.~S. Harris.
550: \newblock From phoneme to morpheme.
551: \newblock {\em Language}, 31:\penalty0 190--222, 1955.
552:
553: \bibitem[Hart(1996)]{hart_1996}
554: W.~D. Hart.
555: \newblock {\em The Philosophy of Mathematics}.
556: \newblock Oxford University Press, New York, 1996.
557:
558: \bibitem[Hebb(1949)]{hebb_1949}
559: D.~O. Hebb.
560: \newblock {\em The Organization of Behaviour}.
561: \newblock John Wiley \& Sons, New York, 1949.
562:
563: \bibitem[Hebb(1958)]{hebb_1958}
564: D.~O. Hebb.
565: \newblock {\em A Textbook of Psychology}.
566: \newblock W. B. Saunders Company, Philadelphia, 1958.
567:
568: \bibitem[Henrichsen(2002)]{henrichsen_2002}
569: P.~J. Henrichsen.
570: \newblock Grasp: Grammar learning from unlabelled speech corpora.
571: \newblock In D.~Roth and A.~{van den Bosch}, editors, {\em Proceedings of
572: CoNLL-2002 (at COLING-2002)}, pages 22--28, 2002.
573:
574: \bibitem[Hersh(1997)]{hersh_1997}
575: R.~Hersh.
576: \newblock {\em What is Mathematics Really?}
577: \newblock Vintage, London, 1997.
578:
579: \bibitem[Hinton and Sejnowski(1986)]{hinton_sejnowski_1986}
580: G.~E. Hinton and T.~J. Sejnowski.
581: \newblock Learning and relearning in boltzmann machines.
582: \newblock In {\em Parallel Distributed Processing}, volume~1, pages 282--317.
583: MIT Press, Cambridge Mass., 1986.
584:
585: \bibitem[Hofstadter(1980)]{hofstadter_1980}
586: D.~Hofstadter.
587: \newblock {\em G{\"o}del, Escher, Bach: an Eternal Golden Braid}.
588: \newblock Penguin Books, Harmondsworth, 1980.
589:
590: \bibitem[Homa et~al.(1981)Homa, Sterling, and Trepel]{homa_etal_1981}
591: D.~Homa, S.~Sterling, and L.~Trepel.
592: \newblock Limitations of exemplar-based generalization and the abstraction of
593: categorical information.
594: \newblock {\em Journal of Experimental Psychology: Human Learning and Memory},
595: 7:\penalty0 418--439, 1981.
596:
597: \bibitem[Hopfield(1982)]{hopfield_1982}
598: J.~J. Hopfield.
599: \newblock Neural networks and physical systems with emergent collective
600: properties.
601: \newblock {\em Proceedings of the National Academy of Science, USA},
602: 79:\penalty0 2554--2558, 1982.
603:
604: \bibitem[Horrocks(2002)]{horrocks_2002}
605: I.~Horrocks.
606: \newblock Reasoning with expressive description logics: theory and practice.
607: \newblock In A.~Voronkov, editor, {\em Proceedings of the 18th International
608: Conference on Automated Deduction (CADE-18)}, volume 2392 of {\em Lecture
609: Notes in Artificial Intelligence}, pages 1--15. Springer-Verlag, 2002.
610:
611: \bibitem[Horton and Markman(1980)]{horton_markman_1980}
612: M.~S. Horton and E.~M. Markman.
613: \newblock Developmental differences in the acquisition of basic and
614: superordinate categories.
615: \newblock {\em Child Development}, 51:\penalty0 708--719, 1980.
616:
617: \bibitem[Hu et~al.(1997)Hu, Turin, and Brown]{hu_etal_1997}
618: J.~Hu, W.~Turin, and M.~K. Brown.
619: \newblock Language modelling using stochastic automata with variable length
620: contexts.
621: \newblock {\em Computer Speech and Language}, 11:\penalty0 1--6, 1997.
622:
623: \bibitem[Hubel(2000)]{hubel_2000}
624: D.~H. Hubel.
625: \newblock Exploration of the primary visual cortex, 1955--78.
626: \newblock In M.~S. Gazzaniga, editor, {\em Cognitive Neuroscience: a Reader},
627: pages 58--80. Blackwell, Oxford, 2000.
628:
629: \bibitem[Huyck(2001)]{huyck_2001a}
630: C.~R. Huyck.
631: \newblock Cell assemblies as an intermediate level model of cognition.
632: \newblock In S.~Wermter, J.~Austin, and D.~Willshaw, editors, {\em Emergent
633: Neural Computational Architectures Based on Neuroscience}, pages 383--397.
634: Springer, Heidelberg, 2001.
635:
636: \bibitem[Jackson(1975)]{jackson_1975}
637: M.~A. Jackson.
638: \newblock {\em Principles of Program Design}.
639: \newblock Academic Press, New York, 1975.
640:
641: \bibitem[Johnson and Riezler(2002)]{johnson_reizler_2002}
642: M.~Johnson and S.~Riezler.
643: \newblock Statistical models of syntax learning and use.
644: \newblock {\em Cognitive Science}, 26:\penalty0 239--253, 2002.
645:
646: \bibitem[Johnson-Laird(1983)]{johnson-laird_1983}
647: P.~N. Johnson-Laird.
648: \newblock {\em Mental Models}.
649: \newblock Cambridge University Press, Cambridge, 1983.
650:
651: \bibitem[Johnson-Laird et~al.(1989)Johnson-Laird, Byrne, and
652: Tabossi]{johnson-laird_etal_1989}
653: P.~N. Johnson-Laird, R.~M.~J. Byrne, and P.~Tabossi.
654: \newblock Reasoning by models: the case of multiple quantification.
655: \newblock {\em Psychological Review}, 96:\penalty0 658--673, 1989.
656:
657: \bibitem[Johnstone and Shanks(1999)]{johnstone_shanks_1999}
658: T.~Johnstone and D.~R. Shanks.
659: \newblock Two mechanisms in implicit artificial grammar learning? {C}omment on
660: {M}eulemans and van der {L}inden (1997).
661: \newblock {\em Journal of Experimental Psychology: Learning, Memory, and
662: Cognition}, 25:\penalty0 524--531, 1999.
663:
664: \bibitem[Jones(1983)]{jones_1983}
665: G.~V. Jones.
666: \newblock Identifying basic categories.
667: \newblock {\em Psychological Bulletin}, 94:\penalty0 423--428, 1983.
668:
669: \bibitem[Julesz(1971)]{julesz_1971}
670: B.~Julesz.
671: \newblock {\em Foundations of Cyclopean Perception}.
672: \newblock Chicago University Press, Chicago, 1971.
673:
674: \bibitem[Kahneman and Tversky(1972)]{kahneman_tversky_1972}
675: D.~Kahneman and A.~Tversky.
676: \newblock Subjective probability: a judgment of representativeness.
677: \newblock {\em Cognitive Psychology}, 3:\penalty0 430--454, 1972.
678:
679: \bibitem[Kandel(2001)]{kandel_2001}
680: E.~R. Kandel.
681: \newblock The molecular biology of memory storage: a dialogue between genes and
682: synapses.
683: \newblock {\em Science}, 294:\penalty0 1030--1038, 2001.
684:
685: \bibitem[Katz(1972)]{katz_1972}
686: J.~Katz.
687: \newblock {\em Semantic Theory}.
688: \newblock Harper \& Row, New York, 1972.
689:
690: \bibitem[Katz and Fodor(1963)]{katz_fodor_1963}
691: J.~Katz and J.~A. Fodor.
692: \newblock The structure of a semantic theory.
693: \newblock {\em Language}, 39:\penalty0 170--210, 1963.
694:
695: \bibitem[Kern-Isberner(1998)]{kern-isberner_1998}
696: G.~Kern-Isberner.
697: \newblock Characterising the principle of minimum cross-entropy within a
698: conditional-logical framework.
699: \newblock {\em Artificial Intelligence}, 98\penalty0 (1--2):\penalty0 169--208,
700: 1998.
701:
702: \bibitem[Kiss(1972)]{kiss_1972}
703: G.~R. Kiss.
704: \newblock Grammatical word classes: a learning process and its simulation.
705: \newblock Technical report, MRC Speech and Communication Unit, University of
706: Edinburgh, 1972.
707:
708: \bibitem[Kleene(1936)]{kleene_1936}
709: S.~C. Kleene.
710: \newblock l-definability and recursiveness.
711: \newblock {\em Duke Mathematical Journal}, 2:\penalty0 340--353, 1936.
712:
713: \bibitem[Klein and Manning(2001)]{klein_manning_2001}
714: D.~Klein and C.~Manning.
715: \newblock Distributional phrase structure induction.
716: \newblock In \citet{daelemans_zajac_2001}.
717:
718: \bibitem[Knight(1989)]{knight_1989}
719: K.~Knight.
720: \newblock Unification: a multidisciplinary survey.
721: \newblock {\em {ACM} Computing Surveys}, 21\penalty0 (1):\penalty0 93--123,
722: 1989.
723:
724: \bibitem[Knowlton and Squire(1996)]{knowlton_squire_1996}
725: B.~J. Knowlton and L.~R. Squire.
726: \newblock Artificial grammar learning depends on implicit acquisition of both
727: abstract and exemplar-specific information.
728: \newblock {\em Journal of Experimental Psychology: Learning, Memory and
729: Cognition}, 22:\penalty0 169--181, 1996.
730:
731: \bibitem[Kohlas et~al.(1998)Kohlas, Haenni, and Mouney]{kohlas_etal_1998}
732: J.~Kohlas, R.~Haenni, and P.~A. Mouney.
733: \newblock Model-based diagnostics and probabilistic assumption-based reasoning.
734: \newblock {\em Artificial Intelligence}, 104\penalty0 (1-2):\penalty0 71--106,
735: 1998.
736:
737: \bibitem[Kolodner(1992)]{kolodner_1992}
738: J.~L. Kolodner.
739: \newblock An introduction to case-based reasoning.
740: \newblock {\em Artificial Intelligence Review}, 6:\penalty0 3--34, 1992.
741:
742: \bibitem[Komatsu(1992)]{komatsu_1992}
743: L.~K. Komatsu.
744: \newblock Recent views of conceptual structure.
745: \newblock {\em Psychological Bulletin}, 112:\penalty0 500--526, 1992.
746:
747: \bibitem[Lee(1986)]{lee_1986}
748: D.~L. Lee.
749: \newblock Altep - a cellular processor for high-speed pattern matching.
750: \newblock {\em New Generation Computing}, 4\penalty0 (3):\penalty0 225--244,
751: 1986.
752:
753: \bibitem[Lee and Dickson(2003)]{lee_dickson_2003}
754: T.-H. Lee and R.~M. Dickson.
755: \newblock Discrete two-terminal single nanocluster quantum optoelectronic logic
756: operations at room temperature.
757: \newblock {\em Proceedings of the National Academy of Sciences}, 100\penalty0
758: (6):\penalty0 3043--3046, 2003.
759:
760: \bibitem[Li and Vit\'{a}nyi(1997)]{li_vitanyi_1997}
761: M.~Li and P.~Vit\'{a}nyi.
762: \newblock {\em An Introduction to Kolmogorov Complexity and Its Applications}.
763: \newblock Springer-Verlag, New York, 1997.
764:
765: \bibitem[Lindsay and Norman(1975)]{lindsay_norman_1972}
766: P.~H. Lindsay and D.~A. Norman, editors.
767: \newblock {\em An Introduction to Psychology}.
768: \newblock Academic Press, New York, 1975.
769:
770: \bibitem[Louri and Hatch(1994)]{louri_hatch_1994}
771: A.~Louri and J.~A. Hatch.
772: \newblock An optical associative parallel processor for high-speed
773: database-processing---theoretical concepts and experimental results.
774: \newblock {\em Computer}, 27\penalty0 (11):\penalty0 65--72, 1994.
775:
776: \bibitem[Lowry(1989)]{lowry_1989}
777: R.~Lowry.
778: \newblock {\em The Architecture of Chance}.
779: \newblock Oxford University Press, Oxford, 1989.
780:
781: \bibitem[Lucke(1995)]{lucke_1995}
782: H.~Lucke.
783: \newblock Bayesian belief networks as a tool for stochastic parsing.
784: \newblock {\em Speech Communication}, 16:\penalty0 89--118, 1995.
785:
786: \bibitem[Mackintosh(1975)]{mackintosh_1975}
787: N.~J. Mackintosh.
788: \newblock A theory of attention: variations in the associability of stimuli
789: with reinforcement.
790: \newblock {\em Psychological Review}, 82:\penalty0 276--298, 1975.
791:
792: \bibitem[Mahowald and Mead(1991)]{mahowald_mead_1991}
793: M.~A. Mahowald and C.~Mead.
794: \newblock The silicon retina.
795: \newblock {\em Scientific American}, 264\penalty0 (5):\penalty0 40--47, 1991.
796:
797: \bibitem[Mandelbrot(1957)]{mandelbrot_1957}
798: B.~Mandelbrot.
799: \newblock Linguistique statistique macroscopique.
800: \newblock In L.~Apostel, B.~Mandelbrot, and A.~Morf, editors, {\em Logique,
801: Langage et Theorie de l'Information}, pages 1--78. Presses Universitaires de
802: France, Paris, 1957.
803:
804: \bibitem[Markman(1991)]{markman_1991b}
805: E.~M. Markman.
806: \newblock {\em Categorization and Naming in Children}.
807: \newblock MIT Press, Cambridge, MA, 1991.
808:
809: \bibitem[Markman and Hutchinson(1984)]{markman_hutchinson_1984}
810: E.~M. Markman and J.~E. Hutchinson.
811: \newblock Children's sensitivity to constraints on word meaning: taxonomic
812: versus thematic relations.
813: \newblock {\em Cognitive Psychology}, 16:\penalty0 1--27, 1984.
814:
815: \bibitem[Markov and Nagorny(1988)]{markov_nagorny_1988}
816: A.~A. Markov and N.~M. Nagorny.
817: \newblock {\em The Theory of Algorithms}.
818: \newblock Kluwer, Dordrecht, 1988.
819:
820: \bibitem[Marr(1982)]{marr_1982}
821: D.~Marr.
822: \newblock {\em Vision: a Computational Investigation into the Human
823: Representation and Processing of Visual Information}.
824: \newblock W.H. Freeman, San Francisco, 1982.
825:
826: \bibitem[McGuinness et~al.(2002)McGuinness, Fikes, Hendler, and
827: Stein]{mcguinness_2002}
828: D.~L. McGuinness, R.~Fikes, J.~Hendler, and L.~A. Stein.
829: \newblock {DAML+OIL}: an ontology language for the {S}emantic {W}eb.
830: \newblock {\em IEEE Intelligent Systems}, 17\penalty0 (5):\penalty0 72--80,
831: 2002.
832:
833: \bibitem[McKinley and Nosofsky(1995)]{mckinley_nosofsky_1995}
834: S.~C. McKinley and R.~M. Nosofsky.
835: \newblock Investigations of exemplar and decision bound models in large,
836: ill-defined category structures.
837: \newblock {\em Journal of Experimental Psychology: Human Perception and
838: Performance}, 21:\penalty0 128--148, 1995.
839:
840: \bibitem[Medin and Schaffer(1978)]{medin_schaffer_1978}
841: D.~L. Medin and M.~M. Schaffer.
842: \newblock Context theory of classification learning.
843: \newblock {\em Psychological Review}, 85:\penalty0 207--238, 1978.
844:
845: \bibitem[Medin and Wattenmaker(1997)]{medin_wattenmaker_1997}
846: D.~L. Medin and W.~D. Wattenmaker.
847: \newblock Category cohesiveness, theories, and cognitive archeology.
848: \newblock In U.~Neisser, editor, {\em Concepts and Conceptual Development:
849: Ecological and Intellectual Factors in Categorization}. Cambridge University
850: Press, Cambridge, 1997.
851:
852: \bibitem[Mervis and Crisafi(1982)]{mervis_crisafi_1982}
853: C.~B. Mervis and M.~A. Crisafi.
854: \newblock Order of acquisition of subordinate-, basic-, and superordinate-level
855: categories.
856: \newblock {\em Child Development}, 53:\penalty0 258--266, 1982.
857:
858: \bibitem[Miller(1935)]{miller_1965}
859: G.~A. Miller.
860: \newblock Introduction.
861: \newblock In {\em The Psycho-Biology of Language\/} \citet{zipf_1935}.
862:
863: \bibitem[Miller and Friedman(1958)]{miller_friedman_1958}
864: G.~A. Miller and E.~A. Friedman.
865: \newblock The reconstruction of mutilated english texts.
866: \newblock {\em Information \& Control}, 1:\penalty0 38--55, 1958.
867:
868: \bibitem[Milner(1957)]{milner_1957}
869: P.~M. Milner.
870: \newblock The cell assembly: mark ii.
871: \newblock {\em Psychological Review}, 64\penalty0 (4):\penalty0 242--252, 1957.
872:
873: \bibitem[Milner(1996)]{milner_1996}
874: P.~M. Milner.
875: \newblock Neural representations: some old problems revisited.
876: \newblock {\em Journal of Cognitive Neuroscience}, 8\penalty0 (1):\penalty0
877: 69--77, 1996.
878:
879: \bibitem[Milner(1999)]{milner_1999}
880: P.~M. Milner.
881: \newblock {\em The Autonomous Brain}.
882: \newblock Lawrence Erlbaum Associates, Mahwah, New Jersey, 1999.
883:
884: \bibitem[Minsky(1967)]{minsky_1967}
885: M.~L. Minsky.
886: \newblock {\em Computation, Finite and Infinite Machines}.
887: \newblock Prentice Hall, Englewood Cliffs, NJ., 1967.
888:
889: \bibitem[Murphy and Medin(1985)]{murphy_medin_1985}
890: G.~L. Murphy and D.~L. Medin.
891: \newblock The role of theories in conceptual coherence.
892: \newblock {\em Psychological Review}, 92:\penalty0 289--316, 1985.
893:
894: \bibitem[Neisser(1967)]{neisser_1967}
895: U.~Neisser, editor.
896: \newblock {\em Cognitive Psychology}.
897: \newblock Appleton-Century-Crofts, New York, 1967.
898:
899: \bibitem[Nevill-Manning and Witten(1997)]{nevill-manning_witten_1997}
900: C.~G. Nevill-Manning and I.~H. Witten.
901: \newblock Compression and explanation using hierarchical grammars.
902: \newblock {\em Computer Journal}, 40\penalty0 (2/3):\penalty0 103--116, 1997.
903:
904: \bibitem[Newell(1973)]{newell_1973}
905: A.~Newell.
906: \newblock You can't play 20 questions with nature and win: projective comments
907: on the papers in this symposium.
908: \newblock In W.~G. Chase, editor, {\em Visual Information Processing}. Academic
909: Press, New York, 1973.
910:
911: \bibitem[Newell(1990)]{newell_1990}
912: A.~Newell, editor.
913: \newblock {\em Unified Theories of Cognition}.
914: \newblock MIT Press, Cambridge, Mass., 1990.
915:
916: \bibitem[Newell(1992)]{newell_1992}
917: A.~Newell.
918: \newblock Pr\'{e}cis of ``unified theories of cognition''.
919: \newblock {\em Behavioural and Brain Sciences}, 15:\penalty0 425--492, 1992.
920:
921: \bibitem[Nicholls et~al.(2001)Nicholls, Martin, Wallace, and
922: Fuchs]{nicholls_etal_2001}
923: J.~G. Nicholls, A.~R. Martin, B.~G. Wallace, and P.~A. Fuchs.
924: \newblock {\em From Neuron to Brain}.
925: \newblock Sinauer Associates, Sunderland, Mass., 2001.
926:
927: \bibitem[Nosofsky(1989)]{nosofsky_1989}
928: R.~M. Nosofsky.
929: \newblock Further tests of an exemplar-similarity approach to relating
930: identification and categorization.
931: \newblock {\em Journal of Experimental Psychology: Perception and
932: Psychophysics}, 45:\penalty0 279--290, 1989.
933:
934: \bibitem[Nosofsky(1990)]{nosofsky_1990}
935: R.~M. Nosofsky.
936: \newblock Relations between exemplar-similarity and likelihood models of
937: classification.
938: \newblock {\em Journal of Mathematical Psychology}, 34:\penalty0 393--418,
939: 1990.
940:
941: \bibitem[Nosofsky and Zaki(1998)]{nosofsky_zaki_1998}
942: R.~M. Nosofsky and S.~R. Zaki.
943: \newblock Dissociations between categorization and recognition in amnesic and
944: normal individuals: an exemplar-based interpretation.
945: \newblock {\em Psychological Science}, 9:\penalty0 247--255, 1998.
946:
947: \bibitem[Oaksford and Chater(1994)]{oaksford_chater_1994}
948: M.~Oaksford and N.~Chater.
949: \newblock A rational analysis of the selection task as optimal data selection.
950: \newblock {\em Psychological Review}, 101:\penalty0 608--631, 1994.
951:
952: \bibitem[Oliveira and Sangiovanni-Vincentelli(1996)]{oliveira_sv_1996}
953: A.~L. Oliveira and A.~Sangiovanni-Vincentelli.
954: \newblock Using the minimum description length principle to infer reduced
955: ordered decision graphs.
956: \newblock {\em Machine Learning}, 25\penalty0 (1):\penalty0 23--50, 1996.
957:
958: \bibitem[Osherson(1990)]{osherson_1990}
959: D.~N. Osherson.
960: \newblock Judgment.
961: \newblock In D.~N. Osherson and E.~E. Smith, editors, {\em Thinking: An
962: Invitation to Cognitive Science}. MIT Press, Cambridge, MA, 1990.
963:
964: \bibitem[Parsons and Hunter(1998)]{parsons_hunter_1998}
965: S.~Parsons and A.~Hunter.
966: \newblock A review of uncertainty handling formalisms.
967: \newblock In {\em Applications of Uncertainty Formalisms}. Lecture Notes in
968: Computer Science, 1998.
969:
970: \bibitem[Pearl(1988)]{pearl_1988}
971: J.~Pearl.
972: \newblock {\em Probabilistic Reasoning in Intelligent Systems}.
973: \newblock Morgan Kaufmann, San Francisco, 1988.
974:
975: \bibitem[Pearl(2000)]{pearl_2000}
976: J.~Pearl.
977: \newblock {\em Causality: Models, Reasoning and Inference}.
978: \newblock Cambridge University Press, Cambridge, 2000.
979:
980: \bibitem[Pednault(1991)]{pednault_1991}
981: E.~P.~D. Pednault.
982: \newblock Minimal length encoding and inductive inference.
983: \newblock In G.~Piatetsky-Shapiro and W.~J. Frawley, editors, {\em Knowledge
984: Discovery in Databases}. MIT Press, Cambridge Mass., 1991.
985:
986: \bibitem[Penrose(1989)]{penrose_1989}
987: R.~Penrose.
988: \newblock {\em The Emperor's New Mind}.
989: \newblock Oxford University Press, Oxford, 1989.
990:
991: \bibitem[Pereira and Warren(1980)]{pereira_warren_1980}
992: F.~C.~N. Pereira and D.~H.~D. Warren.
993: \newblock Definite clause grammars for language analysis - a survey of the
994: formalism and a comparison with augmented transition networks.
995: \newblock {\em Artificial Intelligence}, 13:\penalty0 231--278, 1980.
996:
997: \bibitem[Perruchet and Pacteau(1990)]{perruchet_pacteau_1990}
998: P.~Perruchet and C.~Pacteau.
999: \newblock Synthetic grammar learning: implicit rule abstraction or explicit
1000: fragmentary knowledge?
1001: \newblock {\em Journal of Experimental Psychology: General}, 119:\penalty0
1002: 264--275, 1990.
1003:
1004: \bibitem[Plunkett and Elman(1996)]{plunkett_elman_1996}
1005: K.~Plunkett and J.~L. Elman.
1006: \newblock {\em Simulating Nature and Nurture: A Handbook of Connectionist
1007: Exercises}.
1008: \newblock A Bradford Book, The MIT Press, Cambridge, MA, 1996.
1009:
1010: \bibitem[Popper(2002)]{popper_2002}
1011: K.~R. Popper.
1012: \newblock {\em The Logic of Scientific Discovery}.
1013: \newblock Routledge, London, 2002.
1014:
1015: \bibitem[Post(1943)]{post_1943}
1016: E.~L. Post.
1017: \newblock Formal reductions of the general combinatorial decision problem.
1018: \newblock {\em American Journal of Mathematics}, 65:\penalty0 197--268, 1943.
1019:
1020: \bibitem[Pothos and Bailey(2000)]{pothos_bailey_2000}
1021: E.~M. Pothos and T.~M. Bailey.
1022: \newblock The importance of similarity in artificial grammar learning.
1023: \newblock {\em Journal of Experimental Psychology: Learning, Memory, and
1024: Cognition}, 26:\penalty0 847--862, 2000.
1025:
1026: \bibitem[Pothos and Chater(2002)]{pothos_chater_2002}
1027: E.~M. Pothos and N.~Chater.
1028: \newblock A simplicity principle in unsupervised human categorization.
1029: \newblock {\em Cognitive Science}, 26:\penalty0 303--343, 2002.
1030:
1031: \bibitem[Potter(2000)]{potter_2000}
1032: M.~Potter.
1033: \newblock {\em Reason's Nearest Kin: Philosophies of Arithmetic from Kant to
1034: Carnap}.
1035: \newblock Oxford University Press, Oxford, 2000.
1036:
1037: \bibitem[Pulverm{\"u}ller(1999)]{pulvermuller_1999}
1038: F.~Pulverm{\"u}ller.
1039: \newblock Words in the brain's language.
1040: \newblock {\em Behavioural and Brain Sciences}, 22\penalty0 (2):\penalty0
1041: 253--336, 1999.
1042:
1043: \bibitem[Pulverm{\"u}ller(2002)]{pulvermuller_2002}
1044: F.~Pulverm{\"u}ller.
1045: \newblock A brain perspective on language mechanisms: from discrete neuronal
1046: ensembles to serial order.
1047: \newblock {\em Progress in Neurobiology}, 67:\penalty0 85--111, 2002.
1048:
1049: \bibitem[Pylyshyn(1980)]{pylyshyn_1980}
1050: W.~Z. Pylyshyn.
1051: \newblock Computation and cognition: issues in the foundations of cognitive
1052: science.
1053: \newblock {\em Behavioural and Brain Sciences}, 3:\penalty0 111--169, 1980.
1054:
1055: \bibitem[Quine(1960)]{quine_1960}
1056: W.~V.~O. Quine.
1057: \newblock {\em Word and Object}.
1058: \newblock MIT Press, Cambridge, MA., 1960.
1059:
1060: \bibitem[Radford(1988)]{radford_1988}
1061: R.~Radford.
1062: \newblock {\em Transformational Grammar: a First Course}.
1063: \newblock Cambridge University Press, Cambridge, 1988.
1064:
1065: \bibitem[Rapp et~al.(1994)Rapp, Zimmerman, Vining, Cohen, Albano, and
1066: Jimenez-Montano]{rapp_et_al_1994}
1067: P.~E. Rapp, I.~D. Zimmerman, E.~P. Vining, N.~Cohen, A.~M. Albano, and M.~A.
1068: Jimenez-Montano.
1069: \newblock The algorithmic complexity of neural spike trains increases during
1070: focal seizures.
1071: \newblock {\em Journal of Neuroscience}, 14\penalty0 (8):\penalty0 4731--4739,
1072: 1994.
1073:
1074: \bibitem[Ratliff and Hartline(1959)]{ratliff_hartline_1959}
1075: F.~Ratliff and H.~K. Hartline.
1076: \newblock The response of limulus optic nerve fibres to patterns of
1077: illumination on the receptor mosaic.
1078: \newblock {\em Journal of General Physiology}, 42:\penalty0 1241--1255, 1959.
1079:
1080: \bibitem[Ratliff et~al.(1963)Ratliff, Hartline, and Miller]{ratliff_etal_1963}
1081: F.~Ratliff, H.~K. Hartline, and W.~H. Miller.
1082: \newblock Spatial and temporal aspects of retinal inhibitory interaction.
1083: \newblock {\em Journal of the Optical Society of America}, 53:\penalty0
1084: 110--120, 1963.
1085:
1086: \bibitem[Reber(1967)]{reber_1967}
1087: A.~S. Reber.
1088: \newblock Implicit learning of artificial grammars.
1089: \newblock {\em Journal of Verbal Learning and Verbal Behavior}, 6:\penalty0
1090: 855--863, 1967.
1091:
1092: \bibitem[Reber(1989)]{reber_1989}
1093: A.~S. Reber.
1094: \newblock Implicit learning and tacit knowledge.
1095: \newblock {\em Journal of Experimental Psychology: General}, 118:\penalty0
1096: 219--235, 1989.
1097:
1098: \bibitem[Reber and Allen(1978)]{reber_allen_1978}
1099: A.~S. Reber and R.~Allen.
1100: \newblock analogic and abstraction strategies in synthetic grammar learning: a
1101: functional interpretation.
1102: \newblock {\em Cognition}, 6:\penalty0 189--221, 1978.
1103:
1104: \bibitem[Redington and Chater(1998)]{redington_chater_1998}
1105: M.~Redington and N.~Chater.
1106: \newblock Connectionist and statistical approaches to language acquisition: a
1107: distributional perspective.
1108: \newblock {\em Language and Cognitive Processes}, 1\penalty0 (2/3):\penalty0
1109: 129--191, 1998.
1110:
1111: \bibitem[Reed(1972)]{reed_1972}
1112: S.~K. Reed.
1113: \newblock Pattern recognition and categorization.
1114: \newblock {\em Cognitive Psychology}, 3:\penalty0 382--407, 1972.
1115:
1116: \bibitem[Rescorla and Wagner(1972)]{rescorla_wagner_1972}
1117: R.~A. Rescorla and A.~R. Wagner.
1118: \newblock A theory of pavlovian conditioning: variations in the effectiveness
1119: of reinforcement and nonreinforcement.
1120: \newblock In A.~H. Black and W.~F. Prokasy, editors, {\em Classical
1121: Conditioning {II}: Current Theory and Research}, pages 64--99. Appleton
1122: Century Crofts, New York, 1972.
1123:
1124: \bibitem[Resnik(1997)]{resnik_1997}
1125: M.~D. Resnik.
1126: \newblock {\em Mathematics as a Science of Patterns}.
1127: \newblock Clarendon Press, Oxford, 1997.
1128:
1129: \bibitem[Richards(1955)]{richards_1955}
1130: R.~K. Richards.
1131: \newblock {\em Arithmetic Operations in Digital Computers}.
1132: \newblock Van Nostrand, Princeton, NJ, 1955.
1133:
1134: \bibitem[Rips(1989)]{rips_1989}
1135: L.~J. Rips.
1136: \newblock The psychology of knights and knaves.
1137: \newblock {\em Cognition}, 31:\penalty0 85--116, 1989.
1138:
1139: \bibitem[Rips(1990)]{rips_1990}
1140: L.~J. Rips.
1141: \newblock Paralogical reasoning: Evans, johnson-laird, and byrne on liar and
1142: truth-teller puzzles.
1143: \newblock {\em Cognition}, 36:\penalty0 291--314, 1990.
1144:
1145: \bibitem[Rissanen(1978)]{rissanen_1978}
1146: J.~Rissanen.
1147: \newblock Modelling by the shortest data description.
1148: \newblock {\em Automatica-J, {IFAC}}, 14:\penalty0 465--471, 1978.
1149:
1150: \bibitem[Rissanen(1987)]{rissanen_1987}
1151: J.~Rissanen.
1152: \newblock Stochastic complexity.
1153: \newblock {\em Journal of the Royal Statistical Society B}, 49\penalty0
1154: (3):\penalty0 223--239, 1987.
1155:
1156: \bibitem[Robinson(1965)]{robinson_1965}
1157: J.~A. Robinson.
1158: \newblock A machine-oriented logic based on the resolution principle.
1159: \newblock {\em Journal of the Association for Computing Machinery}, 12\penalty0
1160: (1):\penalty0 23--41, 1965.
1161:
1162: \bibitem[Rosch and Mervis(1975)]{rosch_mervis_1975}
1163: E.~Rosch and C.~B. Mervis.
1164: \newblock Family resemblances: studies in the internal structure of categories.
1165: \newblock {\em Cognitive Psychology}, 7:\penalty0 573--605, 1975.
1166:
1167: \bibitem[Rosch et~al.(1976)Rosch, Mervis, Gray, Johnson, and
1168: Boyles-Brian]{rosch_etal_1976}
1169: E.~Rosch, C.~B. Mervis, W.~Gray, D.~Johnson, and P.~Boyles-Brian.
1170: \newblock Basic objects in natural categories.
1171: \newblock {\em Cognitive Psychology}, 8:\penalty0 382--439, 1976.
1172:
1173: \bibitem[Rosenbloom et~al.(1993)Rosenbloom, Laird, and
1174: Newell]{rosenbloom_etal_1993}
1175: P.~S. Rosenbloom, J.~E. Laird, and A.~Newell.
1176: \newblock {\em The Soar Papers: Readings on Integrated Intelligence}.
1177: \newblock MIT Press, Cambridge, Mass., 1993.
1178:
1179: \bibitem[Rosser(1984)]{rosser_1984}
1180: J.~B. Rosser.
1181: \newblock Highlights of the history of the lamda-calculus.
1182: \newblock {\em Annals of the History of Computing (USA)}, 6\penalty0
1183: (4):\penalty0 337--349, 1984.
1184:
1185: \bibitem[Sakurai(1998)]{sakurai_1998}
1186: Y.~Sakurai.
1187: \newblock Cell-assembly coding in several memory processes.
1188: \newblock {\em Neurobiology of Learning and Memory}, 70:\penalty0 212--225,
1189: 1998.
1190:
1191: \bibitem[Sankoff and Kruskall(1983)]{sankoff_kruskall_1983}
1192: D.~Sankoff and J.~B. Kruskall.
1193: \newblock {\em Time Warps, String Edits, and Macromolecules: the Theory and
1194: Practice of Sequence Comparisons}.
1195: \newblock Addison-Wesley, Reading, MA, 1983.
1196:
1197: \bibitem[Servan-Schreiber and Anderson(1990)]{servan-schreiber_anderson_1990}
1198: E.~Servan-Schreiber and J.~R. Anderson.
1199: \newblock Learning artificial grammars with competitive chunking.
1200: \newblock {\em Journal of Experimental Psychology: Learning Memory and
1201: Cognition}, 16:\penalty0 592--608, 1990.
1202:
1203: \bibitem[Shannon and Weaver(1949)]{shannon_weaver_1949}
1204: C.~E. Shannon and W.~Weaver.
1205: \newblock {\em The Mathematical Theory of Communication}.
1206: \newblock University of Illinois Press, Urbana, 1949.
1207:
1208: \bibitem[Shapiro(2000)]{shapiro_2000}
1209: S.~Shapiro.
1210: \newblock {\em Philosophy of Mathematics}.
1211: \newblock Oxford University Press, New York, 2000.
1212:
1213: \bibitem[Sholl(1956)]{sholl_1956}
1214: D.~A. Sholl.
1215: \newblock {\em The Organisation of the Cerebral Cortex}.
1216: \newblock Wiley, New York, 1956.
1217:
1218: \bibitem[Shors et~al.(2001)Shors, Miesegaes, Beylin, Zhao, Rydel, and
1219: Gould]{shors_gould_2001}
1220: T.J. Shors, G.~Miesegaes, A.~Beylin, M.~Zhao, T.~Rydel, and E.~Gould.
1221: \newblock Neurogenesis in the adult is involved in the formation of trace
1222: memories.
1223: \newblock {\em Nature}, 410:\penalty0 372--376, 2001.
1224:
1225: \bibitem[Singh and Roy(2003)]{singh_roy_2003}
1226: C.~P. Singh and S.~Roy.
1227: \newblock All-optical logic gates with bacteriorhodopsin.
1228: \newblock {\em Current Applied Physics}, 3\penalty0 (2--3):\penalty0 163--169,
1229: 2003.
1230:
1231: \bibitem[Slobin(1971)]{slobin_1971}
1232: D.~I. Slobin.
1233: \newblock Data for the symposium.
1234: \newblock In D.~I. Slobin, editor, {\em The Ontogenesis of Grammar}, pages
1235: 3--16. Academic Press, New York, 1971.
1236:
1237: \bibitem[Smith et~al.(1992)Smith, Langston, and Nisbett]{smith_etal_1992}
1238: E.~E. Smith, C.~Langston, and R.~E. Nisbett.
1239: \newblock The case for rules in reasoning.
1240: \newblock {\em Cognitive Science}, 16:\penalty0 1--40, 1992.
1241:
1242: \bibitem[Sokal and Sneath(1973)]{sokal_sneath_1973}
1243: R.~R. Sokal and P.~H.~A. Sneath, editors.
1244: \newblock {\em Numerical Taxonomy: the Principles and Practice of Numerical
1245: Classification}.
1246: \newblock W. H. Freeman, San Francisco, 1973.
1247:
1248: \bibitem[Solan et~al.(2002)Solan, Ruppin, Horn, and Edelman]{solan_etal_2002}
1249: Z.~Solan, E.~Ruppin, D.~Horn, and S.~Edelman.
1250: \newblock Automatic acquisition and efficient representation of syntactic
1251: structures.
1252: \newblock In {\em Proceedings of NIPS-2002}, 2002.
1253:
1254: \bibitem[Solomonoff(1964)]{solomonoff_1964}
1255: R.~J. Solomonoff.
1256: \newblock A formal theory of inductive inference. parts {I} and {II}.
1257: \newblock {\em Information and Control}, 7:\penalty0 1--22 and 224--254, 1964.
1258:
1259: \bibitem[Solomonoff(1986)]{solomonoff_1986}
1260: R.~J. Solomonoff.
1261: \newblock The application of algorithmic probability to problems in artificial
1262: intelligence.
1263: \newblock In L.~N. Kanal and J.~F. Lemmer, editors, {\em Uncertainty in
1264: Artificial Intelligence}, pages 473--491. Elsevier Science, North-Holland,
1265: 1986.
1266:
1267: \bibitem[Solomonoff(1997)]{solomonoff_1997}
1268: R.~J. Solomonoff.
1269: \newblock The discovery of algorithmic probability.
1270: \newblock {\em Journal of Computer and System Sciences}, 55\penalty0
1271: (1):\penalty0 73--88, 1997.
1272:
1273: \bibitem[Sp{\"a}rck-Jones and Wilkes(1985)]{spark-jones_wilkes_1985}
1274: K.~Sp{\"a}rck-Jones and Y.~Wilkes.
1275: \newblock {\em Automatic Natural Language Parsing}.
1276: \newblock Ellis Horwood, Chichester, 1985.
1277:
1278: \bibitem[Storer(1988)]{storer_1988}
1279: J.~A. Storer.
1280: \newblock {\em Data Compression: Methods and Theory}.
1281: \newblock Computer Science Press, Rockville, Maryland, 1988.
1282:
1283: \bibitem[Sudkamp(1988)]{sudkamp_1988}
1284: T.~A. Sudkamp.
1285: \newblock {\em Languages and Machines}.
1286: \newblock Addison-Wesley, Reading, Mass., 1988.
1287:
1288: \bibitem[S.Watkinson and Manandhar(2001)]{watkinson_manandhar_2001}
1289: S.Watkinson and S.~Manandhar.
1290: \newblock A psychologically plausible and computationally effective approach to
1291: learning syntax.
1292: \newblock In \citet{daelemans_zajac_2001}.
1293:
1294: \bibitem[Takahashi and Sagayama(1997)]{takahashi_sagayama_1997}
1295: J.~Takahashi and S.~Sagayama.
1296: \newblock Vector-field smoothed bayesian learning for fast and incremental
1297: speaker/telephone-channel adaptation.
1298: \newblock {\em Computer Speech and Language}, 11:\penalty0 127--146, 1997.
1299:
1300: \bibitem[Taylor(1988)]{taylor_1988}
1301: W.~R. Taylor.
1302: \newblock Pattern matching methods in protein sequence comparison and structure
1303: prediction.
1304: \newblock {\em Protein Engineering}, 2\penalty0 (2):\penalty0 77--86, 1988.
1305:
1306: \bibitem[Turing(1936)]{turing_1936}
1307: A.~M. Turing.
1308: \newblock On computable numbers with an application to the
1309: entscheidungsproblem.
1310: \newblock {\em Proceedings of the London Mathematical Society}, 42:\penalty0
1311: 230--265 and 544--546, 1936.
1312:
1313: \bibitem[Turing(1950)]{turing_1950}
1314: A.~M. Turing.
1315: \newblock Computing machinery and intelligence.
1316: \newblock {\em Mind}, 59:\penalty0 433--460, 1950.
1317:
1318: \bibitem[van~der Gaag(1996)]{van_der_gaag_1996}
1319: L.~C. van~der Gaag.
1320: \newblock Bayesian belief networks: odds and ends.
1321: \newblock {\em Computer Journal}, 39:\penalty0 97--113, 1996.
1322:
1323: \bibitem[van Zaanen(2002{\natexlab{a}})]{van_zaanen_thesis_2002}
1324: M.~van Zaanen.
1325: \newblock {\em Bootstrapping Structure into Language: {A}lignment-{B}ased
1326: {L}earning}.
1327: \newblock PhD thesis, University of Leeds, Leeds, UK, January
1328: 2002{\natexlab{a}}.
1329:
1330: \bibitem[van Zaanen(2002{\natexlab{b}})]{van_zaanen_2002}
1331: M.~van Zaanen.
1332: \newblock Implementing {A}lignment-{B}ased {L}earning.
1333: \newblock In {\em Proceedings of the International Colloquium on Grammatical
1334: Inference ({ICGI} 2002); Amsterdam, the Netherlands}, September
1335: 2002{\natexlab{b}}.
1336:
1337: \bibitem[Vokey and Brooks(1992)]{vokey_brooks_1992}
1338: J.~R. Vokey and L.~R. Brooks.
1339: \newblock Salience of item knowledge in learning artificial grammar.
1340: \newblock {\em Journal of Experimental Psychology: Learning, Memory \&
1341: Cognition}, 18:\penalty0 328--344, 1992.
1342:
1343: \bibitem[Vokey and Brooks(1994)]{vokey_brooks_1994}
1344: J.~R. Vokey and L.~R. Brooks.
1345: \newblock Fragmentary knowledge and the processing specific control of
1346: structural sensitivity.
1347: \newblock {\em Journal of Experimental Psychology: Learning, Memory \&
1348: Cognition}, 20:\penalty0 1504--1510, 1994.
1349:
1350: \bibitem[{von B{\'e}k{\'e}sy}(1967)]{von_bekesy_1967}
1351: G.~{von B{\'e}k{\'e}sy}.
1352: \newblock {\em Sensory Inhibition}.
1353: \newblock Princeton University Press, Princeton, NJ, 1967.
1354:
1355: \bibitem[Wagner and Fischer(1974)]{wagner_fischer_1974}
1356: R.~A. Wagner and M.~J. Fischer.
1357: \newblock The string-to-string correction problem.
1358: \newblock {\em Journal of the ACM}, 21\penalty0 (1):\penalty0 168--173, 1974.
1359:
1360: \bibitem[Wallace and Boulton(1968)]{wallace_boulton_1968}
1361: C.~S. Wallace and D.~M. Boulton.
1362: \newblock An information measure for classification.
1363: \newblock {\em Computer Journal}, 11\penalty0 (2):\penalty0 185--195, 1968.
1364:
1365: \bibitem[Wallace and Freeman(1987)]{wallace_freeman_1987}
1366: C.~S. Wallace and P.~R. Freeman.
1367: \newblock Estimation and inference by compact coding.
1368: \newblock {\em Journal of the Royal Statistical Society B}, 49\penalty0
1369: (3):\penalty0 240--252, 1987.
1370:
1371: \bibitem[Wason(1960)]{wason_1960}
1372: P.~C. Wason.
1373: \newblock On the failure to eliminate hypotheses in a conceptual task.
1374: \newblock {\em Journal of Experimental Psychology}, 12:\penalty0 129--140,
1375: 1960.
1376:
1377: \bibitem[Watanabe(1972)]{watanabe_article_1972}
1378: S.~Watanabe.
1379: \newblock Pattern recognition as information compression.
1380: \newblock In S.~Watanabe, editor, {\em Frontiers of Pattern Recognition}.
1381: Academic Press, New York, 1972.
1382:
1383: \bibitem[Waxman(1990)]{waxman_1990}
1384: S.~R. Waxman.
1385: \newblock Linguistic biases and the establishment of conceptual hierarchies:
1386: evidence from preschool children.
1387: \newblock {\em Cognitive Development}, 5:\penalty0 123--150, 1990.
1388:
1389: \bibitem[Williams and Herrup(2001)]{williams_herrup_2001}
1390: R.~W. Williams and K.~Herrup.
1391: \newblock The control of neuron number.
1392: \newblock {\em The Annual Review of Neuroscience}, 11:\penalty0 423--453, 2001.
1393:
1394: \bibitem[Wolff(1975)]{wolff_1975}
1395: J.~G. Wolff.
1396: \newblock An algorithm for the segmentation of an artificial language analogue.
1397: \newblock {\em British Journal of Psychology}, 66:\penalty0 79--90, 1975.
1398: \newblock Copy: www.cognitionresearch.org.uk/lang\_learn.html\#wolff\_1975.
1399:
1400: \bibitem[Wolff(1977)]{wolff_1977}
1401: J.~G. Wolff.
1402: \newblock The discovery of segments in natural language.
1403: \newblock {\em British Journal of Psychology}, 68:\penalty0 97--106, 1977.
1404: \newblock Copy: www.cognitionresearch.org.uk/lang\_learn.html\#wolff\_1977.
1405:
1406: \bibitem[Wolff(1980)]{wolff_1980}
1407: J.~G. Wolff.
1408: \newblock Language acquisition and the discovery of phrase structure.
1409: \newblock {\em Language \& Speech}, 23:\penalty0 255--269, 1980.
1410: \newblock Copy: www.cognitionresearch.org.uk/lang\_learn.html\#wolff\_1980.
1411:
1412: \bibitem[Wolff(1982)]{wolff_1982}
1413: J.~G. Wolff.
1414: \newblock Language acquisition, data compression and generalization.
1415: \newblock {\em Language \& Communication}, 2:\penalty0 57--89, 1982.
1416: \newblock Copy: www.cognitionresearch.org.uk/lang\_learn.html\#wolff\_1982.
1417:
1418: \bibitem[Wolff(1984)]{wolff_spelling_rules}
1419: J.~G. Wolff.
1420: \newblock Inductive learning of spelling-to-phoneme rules.
1421: \newblock Technical Report UKSC 128, Speech Research, IBM UK Scientific Centre,
1422: Winchester, 1984.
1423:
1424: \bibitem[Wolff(1987)]{wolff_1987}
1425: J.~G. Wolff.
1426: \newblock Cognitive development as optimization.
1427: \newblock In L.~Bolc, editor, {\em Computational Models of Learning}, pages
1428: 161--205. Springer-Verlag, Heidelberg, 1987.
1429:
1430: \bibitem[Wolff(1988)]{wolff_1988}
1431: J.~G. Wolff.
1432: \newblock Learning syntax and meanings through optimization and distributional
1433: analysis.
1434: \newblock In Y.~Levy, I.~M. Schlesinger, and M.~D.~S. Braine, editors, {\em
1435: Categories and Processes in Language Acquisition}, pages 179--215. Lawrence
1436: Erlbaum, Hillsdale, NJ, 1988.
1437: \newblock Copy: www.cognitionresearch.org.uk/lang\_learn.html\#wolff\_1988.
1438:
1439: \bibitem[Wolff(1989)]{wolff_1989}
1440: J.~G. Wolff.
1441: \newblock The management of risk in system development: `project sp' and the
1442: `new spiral model'.
1443: \newblock {\em Software Engineering Journal}, 4\penalty0 (3):\penalty0
1444: 134--142, 1989.
1445: \newblock Copy: http://www.cognitionresearch.org.uk/papers/se/se.htm.
1446:
1447: \bibitem[Wolff(1990)]{wolff_1990}
1448: J.~G. Wolff.
1449: \newblock Simplicity and power---some unifying ideas in computing.
1450: \newblock {\em Computer Journal}, 33\penalty0 (6):\penalty0 518--534, 1990.
1451: \newblock Copy: www.cognitionresearch.org.uk/papers/early/early.htm.
1452:
1453: \bibitem[Wolff(1991)]{wolff_1991}
1454: J.~G. Wolff.
1455: \newblock {\em Towards a Theory of Cognition and Computing}.
1456: \newblock Ellis Horwood, Chichester, 1991.
1457:
1458: \bibitem[Wolff(1993)]{wolff_1993}
1459: J.~G. Wolff.
1460: \newblock Computing, cognition and information compression.
1461: \newblock {\em AI Communications}, 6\penalty0 (2):\penalty0 107--127, 1993.
1462: \newblock Copy: www.cognitionresearch.org.uk/papers/background/background.htm.
1463:
1464: \bibitem[Wolff(1994{\natexlab{a}})]{wolff_1994_scaleable}
1465: J.~G. Wolff.
1466: \newblock A scaleable technique for best-match retrieval of sequential
1467: information using metrics-guided search.
1468: \newblock {\em Journal of Information Science}, 20\penalty0 (1):\penalty0
1469: 16--28, 1994{\natexlab{a}}.
1470: \newblock Copy: www.cognitionresearch.org.uk/papers/ir/ir.htm.
1471:
1472: \bibitem[Wolff(1994{\natexlab{b}})]{wolff_1994_software}
1473: J.~G. Wolff.
1474: \newblock Towards a new concept of software.
1475: \newblock {\em Software Engineering Journal}, 9\penalty0 (1):\penalty0 27--38,
1476: 1994{\natexlab{b}}.
1477: \newblock Copy: www.cognitionresearch.org.uk/papers/se/se.htm.
1478:
1479: \bibitem[Wolff(1998)]{prob_reason_report}
1480: J.~G. Wolff.
1481: \newblock Probabilistic reasoning as information compression by multiple
1482: alignment, unification and search.
1483: \newblock Technical report, School of Informatics, University of Wales at
1484: Bangor, 1998.
1485: \newblock Copy: www.cognitionresearch.org.uk/papers/pr/pr.htm.
1486:
1487: \bibitem[Wolff(1999{\natexlab{a}})]{wolff_1999_comp}
1488: J.~G. Wolff.
1489: \newblock {`Computing'} as information compression by multiple alignment,
1490: unification and search.
1491: \newblock {\em Journal of Universal Computer Science}, 5\penalty0
1492: (11):\penalty0 777--815, 1999{\natexlab{a}}.
1493: \newblock In uk.arxiv.org/abs/cs.AI/0307013.
1494:
1495: \bibitem[Wolff(1999{\natexlab{b}})]{wolff_1999_prob}
1496: J.~G. Wolff.
1497: \newblock Probabilistic reasoning as information compression by multiple
1498: alignment, unification and search: an introduction and overview.
1499: \newblock {\em Journal of Universal Computer Science}, 5\penalty0 (7):\penalty0
1500: 418--462, 1999{\natexlab{b}}.
1501: \newblock In uk.arxiv.org/abs/cs.AI/0307010.
1502:
1503: \bibitem[Wolff(2000)]{wolff_2000}
1504: J.~G. Wolff.
1505: \newblock Syntax, parsing and production of natural language in a framework of
1506: information compression by multiple alignment, unification and search.
1507: \newblock {\em Journal of Universal Computer Science}, 6\penalty0 (8):\penalty0
1508: 781--829, 2000.
1509: \newblock In uk.arxiv.org/abs/cs.AI/0307014.
1510:
1511: \bibitem[Wolff(2003)]{wolff_icmaus_overview}
1512: J.~G. Wolff.
1513: \newblock Information compression by multiple alignment, unification and search
1514: as a unifying principle in computing and cognition.
1515: \newblock {\em Artificial Intelligence Review}, 19\penalty0 (3):\penalty0
1516: 193--230, 2003.
1517: \newblock In uk.arxiv.org/abs/cs.AI/0307025.
1518:
1519: \bibitem[Wu(1997)]{wu_1997}
1520: D.~Wu.
1521: \newblock Stochastic inversion transduction grammars and bilingual parsing of
1522: parallel corpora.
1523: \newblock {\em Computational Linguistics}, 23\penalty0 (3):\penalty0 377--403,
1524: 1997.
1525:
1526: \bibitem[Zipf(1935)]{zipf_1935}
1527: G.~K. Zipf.
1528: \newblock {\em The Psycho-Biology of Language}.
1529: \newblock Houghton Mifflin, Boston, 1935.
1530:
1531: \bibitem[Zipf(1949)]{zipf_1949}
1532: G.~K. Zipf.
1533: \newblock {\em Human Behaviour and the Principle of Least Effort}.
1534: \newblock Hafner, New York, 1949.
1535:
1536: \end{thebibliography}
1537: