*Lisp Simulator, 912 *Lisp Tutorial, 913 2-3 Trees, 998 2d Graphics, 1191 3d Geometry, 921 3d Life, 13 3d Modeling, 285 3plan, 576 4-Queens, 1088 6.001, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277 8-Puzzle, 112, 584, 1036, 1137 Eight Puzzle, 112, 584, 1036, 1137 8-Queens, 112, 983, 1095, 1096, 1097, 1122 Eight Queens, 112, 983, 1095, 1096, 1097, 1122 9660_u, 1353 A* Search, 54, 55, 379, 806 A-law, 690 ABTWEAK, 577 ABox, 320 Mackworth's AC3 Algorithm, 1010, 1036 ACCEL, 341 ACME, 458 ADA, 150 ADA PD Prolog, 1012, 1092, 1110 ADA: Lisp, 895 ADB, 641 ADPCM, 680 AFsp, 675 AGATE, 883 AGENT0, 4 AI Expert Magazine, 105, 426 AI Genealogy, 106 AI Programming Languages, 715 AI Software Packages, 1, 2, 6, 48, 50, 56, 68, 83, 85, 91, 92, 99, 100, 104, 111, 114, 159, 203, 213, 214, 278, 297, 308, 334, 375, 381, 385, 474, 574, 593, 652, 661, 663, 703, 712 AI Techniques in Prolog, 978 AI: Bibliographies, 108 AI: Documentation, 104, 105, 106, 107, 109, 110 AI: FAQ, 158 AITP, 978 AKCL, 904, 906 AKL, 1085 ALC, 323 ALE, 1018 ALERTS, 733 ALF, 1071 ALN, 408 ALP, 1044 ALPUK, 1044 ALSP, 895 AM, 370 AND/OR Tree Search, 662 ANFIS, 179 ANIMALS, 3 ANL, 1089 ANLT, 514 ANNCAM, 402 ANSI Common Lisp, 841, 842, 843, 844, 920 ANSI Scheme, 1247 ANSIL, 403 AOP, 4 AQ, 370, 374 AQ-Prolog, 351, 352 ARCH, 353 ARCS, 458 ARD Corporation, 424 ARS MAGNA, 704 ART-1, 404, 405, 454 ART-2, 404, 406, 407, 454 ARTMAP, 180, 454 ASA, 49 ASN, 1024 ASpecT, 1072 ATMS, 379, 611, 641, 648, 978 ATN Interpreter, 991 ATN Parser, 105, 112, 315, 332, 477, 1092, 1110, 1137 Augmented Transition Network Interpreter, 991 Augmented Transition Network Parser, 105, 112, 315, 332, 477, 1092, 1110, 1137 ATREE, 408 ATTDSC, 355 AUM, 307 AV Parser, 557 AVL Trees, 1164, 1199, 1280 AVL Tries, 1164 AWK, 896, 1229, 1230 AZILE, 70 Abduction, 323, 341, 548 Acoustic Modeling, 693 Action Selection, 3 Adaptive Logic Networks, 408 Adaptive Resonance Theory, 404, 405, 406, 407 Adobe Illustrator, 1191 Adventure Games, 1189 Advice, 1010, 1036 Advising Corpus, 481 Agent Architectures, 2, 3, 4, 5, 587, 589, 590, 703, 704, 705, 706, 707, 708, 709, 710, 711 Agent Interactions, 21 Agent Modeling, 5 Agent-Oriented Programming, 4 Agents, 131 Air Conditioning Diagnosis System, 1003 Albus, 417 Algebra, 599, 645 Algebraic Expression Simplifier, 1010 Algol Syntax for Lisp, 808, 810 Algol Syntax for Scheme, 1226 Allegro CL, 894, 938 Allen's Intervals, 331 Alpha Beta Minimax, 54, 55, 719, 805, 978, 979 Alvey Natural Language Tools, 514 Amzi, 1004 Analog Circuits, 426 Analogical Reasoning, 594, 595 Analogy, 458 Analysis, 599 Anaphora Resolution, 503 Andorra Kernel Language, 1085 Animal Behavior, 3 Animal Simulations, 3 Annealing, 337 Answer Literals, 614 Ant Farm, 47 Ant Trail Problem, 288 Aoyama Gakuin University, 892 Apple Computer, 909, 944 Apple Speech Manager, 672 Apply/Eu2C, 963 Approximate Reasoning, 627 Aptronix, 161, 170, 173, 185 Aquarius Prolog, 1093 Arc Consistency, 94 Archiving Software, 1352, 1354, 1355, 1357, 1359, 1361, 1362, 1363, 1365, 1368, 1369 Argument, 629 Arithmetic, 1010 Arrays, 1161, 1162, 1163 Artificial Life, 6, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47 Artificial Life: Bibliographies, 392 Artificial Life: Documents, 7, 8, 9, 10 Artificial Life: Mail Archives, 11 Artificial Plants, 40, 42 Assertional Knowledge, 311 Association Lists, 1010, 1036 Associative Learning Networks, 453 Assumption-Based TMS, 648 Athena Widgets, 1288 Attention, 342 Attribute Logic Engine, 1018 Attribute Value, 557 Audio, 688, 695, 700 Audio File Formats, 672 Audio File I/O, 675 Audio Format Conversion, 698 Audio Processing Tools, 698 Australian National University, 913 Authors: Abdullah, 1217 Authors: Abelson, 1140, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1294, 1297, 1298, 1299, 1300 Authors: Abramson, 1026 Authors: Acero, 27 Authors: Acuff, 723 Authors: Adams, 780, 1173 Authors: Adorf, 786 Authors: Aguilar, 422 Authors: Aha, 337 Authors: Al-Badr, 710 Authors: Alander, 217 Authors: Aleva, 689 Authors: Alexiev, 1045 Authors: Alippi, 227 Authors: Allemang, 112 Authors: Allen, 342, 476, 477, 478 Authors: Almassy, 419 Authors: Almond, 636 Authors: Almy, 833 Authors: Amsterdam, 770 Authors: Andersen, 554 Authors: Anderson, 395, 421, 855, 860, 869 Authors: Andrews, 1001, 1054 Authors: Angeline, 403 Authors: Anguita, 430 Authors: Anjewierden, 1058, 1059 Authors: Antoniotti, 748 Authors: Antworth, 490, 521, 526, 536, 538, 539, 667 Authors: Appel, 975 Authors: Armstrong, 408 Authors: Ashwood-Smith, 971 Authors: Aspinall, 608, 853, 862 Authors: Attardi, 901 Authors: Baeck, 250 Authors: Baecker, 878 Authors: Baffes, 374, 432 Authors: Baker, 765 Authors: Ballim, 5, 561 Authors: Ballinger, 264 Authors: Bareiss, 622 Authors: Barklund, 1120 Authors: Barnard, 689 Authors: Barney, 669 Authors: Barret, 592 Authors: Barrett, 576, 579 Authors: Barth, 322 Authors: Bartholdi, 1304 Authors: Bartlett, 958, 959, 960, 1283, 1284, 1310 Authors: Bartley, 1247 Authors: Bates, 828 Authors: Bawden, 1162 Authors: Bazik, 701 Authors: Bazyar, 1286 Authors: Beasley, 226, 230 Authors: Becker, 352, 470 Authors: Beckman, 1333 Authors: Beer, 434 Authors: Bekkers, 1113 Authors: Belew, 25, 106 Authors: Belso, 60 Authors: Bender, 70, 72 Authors: Benedict, 33 Authors: Bennett, 39 Authors: Benson, 956, 1293 Authors: Bergdoll, 16 Authors: Berkling, 671 Authors: Berlage, 878 Authors: Berrington, 964 Authors: Bertling, 321 Authors: Bertoldi, 1191 Authors: Besson, 1154 Authors: Betz, 915, 1329 Authors: Bevan, 1164, 1175, 1176, 1178, 1180, 1194, 1199, 1229, 1230 Authors: Bevemyr, 1085, 1125 Authors: Bhalla, 24 Authors: Bilitch, 24 Authors: Birch, 911 Authors: Birkholz, 958, 959, 960 Authors: Bixby, 277 Authors: Black, 533 Authors: Bledsoe, 599 Authors: Blue, 411 Authors: Blume, 1328 Authors: Bobrow, 843, 844, 920, 923 Authors: Boehm, 1287 Authors: Boley, 311 Authors: Bond, 1319 Authors: Bondorf, 1323 Authors: Bonner, 22 Authors: Bonzon, 1155 Authors: Bormann, 681, 1288 Authors: Born, 235 Authors: Borning, 95 Authors: Bouthoorn, 662 Authors: Bowen, 1049 Authors: Bower, 24 Authors: Boyan, 395 Authors: Boyer, 599, 612, 1309 Authors: Boyns, 695 Authors: Bradford, 964, 965 Authors: Brady, 1109 Authors: Brandon, 532 Authors: Bratko, 354, 355 Authors: Brayshaw, 154 Authors: Brazdil, 357, 362 Authors: Bredlau, 1003 Authors: Breen, 484 Authors: Bretthauer, 927 Authors: Breuel, 734 Authors: Brill, 571 Authors: Brisset, 1111 Authors: Broadbery, 964 Authors: Brubaker, 173 Authors: Brunk, 343 Authors: Buchanan, 625 Authors: Budd, 905, 1351 Authors: Buhlig, 123 Authors: Bukys, 450 Authors: Bundy, 1036 Authors: Buntine, 361 Authors: Burse, 1105 Authors: Byrne, 1350 Authors: Calder, 565 Authors: Callaghan, 684 Authors: Callahan, 39 Authors: Cameron-Jones, 344, 345, 346, 347, 348 Authors: Campbell, 676, 1322, 1327 Authors: Cantu, 234 Authors: Carbonell, 584, 585 Authors: Carlson, 1085 Authors: Carlsson, 1106, 1120 Authors: Carlton, 1183 Authors: Carmi, 282, 296 Authors: Carpenter, 180, 1018 Authors: Carrette, 1220, 1324 Authors: Carroll, 599 Authors: Cassidy, 497 Authors: Cengeloglu, 131 Authors: Chambers, 252 Authors: Chattoe, 705 Authors: Chen, 649 Authors: Chirimar, 620 Authors: Chou, 64 Authors: Christ, 856 Authors: Christian, 607 Authors: Chu, 1103 Authors: Clamen, 1182 Authors: Cleary, 1014, 1117 Authors: Clinger, 1144, 1156, 1159, 1236, 1237, 1243, 1249, 1250, 1251, 1252 Authors: Close, 854 Authors: Coen, 608 Authors: Colby, 82 Authors: Cole, 689 Authors: Colletti, 443 Authors: Comas, 833 Authors: Conway, 708 Authors: Cook, 699 Authors: Coppen, 519 Authors: Corcoran, 255 Authors: Corkill, 51 Authors: Corman, 910 Authors: Costello, 629, 639 Authors: Courtney, 752 Authors: Covington, 479, 500, 980, 985, 1021 Authors: Cramer, 856 Authors: Crossland, 487 Authors: Crowcroft, 238 Authors: Crowder, 416, 449 Authors: Cugini, 992, 1034 Authors: Culberson, 254 Authors: Cutting, 572, 752, 764 Authors: Dahl, 1026 Authors: Dale, 547 Authors: Dalton, 839, 969 Authors: Danon, 469 Authors: Danvy, 1151, 1153, 1323 Authors: Dao, 1149 Authors: Dart, 993 Authors: Davis, 293 Authors: Davison, 1038, 1086 Authors: De Bosschere, 1022 Authors: DeMichiel, 843 Authors: Degener, 681 Authors: Deterding, 387, 668 Authors: Dewar, 1117 Authors: Dhesi, 1358 Authors: Diaz, 1063, 1122 Authors: Dickens, 580 Authors: Dickey, 1166, 1179, 1193, 1233, 1339 Authors: Dillon, 708 Authors: Dionne, 28 Authors: Doerpmund, 627 Authors: Doherty, 449 Authors: Dolenko, 470 Authors: Donovan, 692 Authors: Doughty, 860 Authors: Dowling, 656 Authors: Draxler, 1007 Authors: Drew, 565 Authors: Duba, 1203 Authors: Duball, 679 Authors: Dubois, 167 Authors: Dudey, 283 Authors: Dumesnil, 1238 Authors: Dunning, 1214 Authors: Duran, 622 Authors: Dvorak, 622 Authors: Dybvig, 1208, 1227, 1240, 1241 Authors: Dyer, 555 Authors: Earickson, 269, 270 Authors: Eddington, 488 Authors: Edwards, 484 Authors: Egdorf, 922 Authors: Eigenschink, 1210 Authors: Eilerts, 622, 854, 858 Authors: Eisenstadt, 154 Authors: Elhadad, 481, 550 Authors: Elkan, 167 Authors: Elliott, 1100 Authors: Elsberry, 248, 410 Authors: Engelson, 704 Authors: Ermentrout, 471 Authors: Ernst, 731 Authors: Espinosa, 1215 Authors: Etzioni, 583 Authors: Fahlman, 416, 439, 448, 449, 578, 789, 900, 955 Authors: Falkenhainer, 595 Authors: Fanty, 689 Authors: Farris, 1024 Authors: Fateman, 724, 793 Authors: Feeley, 958, 959, 960, 1152, 1157, 1170, 1187, 1196, 1218, 1290, 1334 Authors: Feigenbaum, 625 Authors: Felshin, 802 Authors: Feng, 349 Authors: Fields, 81 Authors: Filho, 227, 241 Authors: Finger, 764, 1321 Authors: Fisher, 356 Authors: Fitzgerald, 108 Authors: Flach, 350 Authors: Forbus, 595, 641, 648, 650 Authors: Forero, 996 Authors: Forgy, 155 Authors: Foster, 1089 Authors: Frank, 710 Authors: Franzen, 606 Authors: Fraser, 287 Authors: Freedman, 1013 Authors: Freeman, 1306 Authors: Freeman-Benson, 93, 95, 98 Authors: Freil, 781 Authors: Fricker, 702 Authors: Friedman, 1138, 1139 Authors: Friedrich, 846 Authors: Frisch, 605 Authors: Fritzius, 515 Authors: Fromherz, 1128 Authors: Fruwirth, 1049 Authors: Fulton, 688 Authors: Gabriel, 725, 843, 929 Authors: Gallesio, 1325 Authors: Ganzinger, 321 Authors: Gat, 815 Authors: Gattis, 73 Authors: Gaudiano, 406 Authors: Geddis, 603 Authors: Gennari, 342, 356 Authors: Gerevini, 645 Authors: Getzinger, 1093 Authors: Ghislanzoni, 783 Authors: Ghosh, 581 Authors: Gibson, 272 Authors: Gilmore, 52, 968 Authors: Ginsberg, 611 Authors: Girgensohn, 817 Authors: Giuse, 317 Authors: Givan, 325 Authors: Glowacki, 286 Authors: Goerigk, 898 Authors: Goldberg, 8, 223, 269, 270, 272 Authors: Goldstein, 315 Authors: Goodman, 439 Authors: Gordon, 379, 839 Authors: Gorman, 387 Authors: Green, 1005 Authors: Grefenstette, 249 Authors: Grossberg, 180 Authors: Grove, 456 Authors: Gruengard, 9 Authors: Grune, 113 Authors: Guervos, 239 Authors: Gunter, 620 Authors: Gupta, 1073 Authors: Gurr, 1080 Authors: Gutowitz, 57 Authors: Guvenir, 368 Authors: Guy, 543 Authors: Haahr, 946 Authors: Hagiya, 904, 906 Authors: Haible, 797, 846, 899 Authors: Halgamuge, 189 Authors: Hall, 742, 838, 921, 952 Authors: Hanks, 579, 591, 710, 711 Authors: Hanschke, 311 Authors: Hanson, 1145, 1242, 1247, 1337 Authors: Hanus, 1071 Authors: Haridi, 606 Authors: Hart, 787 Authors: Harvey, 1141 Authors: Hasida, 1064, 1066, 1068, 1069 Authors: Hatch, 30 Authors: Hathaway, 378 Authors: Haygood, 1093 Authors: Haynes, 1138, 1247 Authors: Haywood, 1038 Authors: Healy, 801 Authors: Heeger, 714 Authors: Heicking, 846 Authors: Heilperin, 658 Authors: Heitkoetter, 65, 230, 233, 266, 272 Authors: Hendler, 581 Authors: Hennessey, 914 Authors: Hensel, 31 Authors: Hepple, 541 Authors: Herczeg, 736, 890 Authors: Herder, 850 Authors: Hermansky, 693 Authors: Hermes, 271 Authors: Hertzberg, 379 Authors: Herve, 1075 Authors: Hesse, 850 Authors: Hewett, 668 Authors: Hieb, 1240 Authors: Hiebeler, 62 Authors: Higgins, 528 Authors: Higinbotham, 534 Authors: Hill, 1080 Authors: Hinkelmann, 311 Authors: Hinton, 470 Authors: Ho, 362, 633 Authors: Hodas, 1078 Authors: Hoffman, 898, 1303, 1342 Authors: Hoffmeister, 218 Authors: Hohl, 890 Authors: Holcomb, 1019 Authors: Holten, 1072 Authors: Hopkins, 440, 568, 573 Authors: Hoppe, 320, 357, 358, 359, 360, 362, 633, 1002 Authors: Horn, 720 Authors: Horsell, 1119 Authors: Horstkotte, 176 Authors: Horz, 379 Authors: Hovila, 529 Authors: Huang, 193, 380 Authors: Hughes, 243 Authors: Humeniuk, 1335 Authors: Humphreys, 565 Authors: Hunt, 673, 1309 Authors: Hurdon, 191 Authors: Huss, 1284 Authors: Hustadt, 323 Authors: Hyde, 852, 854 Authors: Ida, 884, 892 Authors: Ihren, 1284 Authors: Iles, 683 Authors: Ing-Simmons, 683, 696 Authors: Ingber, 49 Authors: Jabri, 431 Authors: Jaffar, 1053 Authors: Jaffer, 1193, 1201, 1209, 1252, 1253, 1314, 1318, 1321 Authors: Jager, 199, 200 Authors: Jampel, 88, 91 Authors: Jang, 179, 190 Authors: Janikow, 251 Authors: Janson, 1085 Authors: Janssen, 752 Authors: Jayaraman, 1073, 1083 Authors: John, 4 Authors: Johnson, 557, 799, 998, 1219 Authors: Jones, 21, 148 Authors: Jorgensen, 1323 Authors: Josephson, 651 Authors: Joslyn, 176 Authors: Jung, 364 Authors: Jungen, 709 Authors: Junius, 182 Authors: Junker, 379 Authors: Kabal, 675 Authors: Kaempf, 194 Authors: Kahn, 1106 Authors: Kainz, 419 Authors: Kale, 1090 Authors: Kambhampati, 581 Authors: Kaneko, 485 Authors: Kangas, 455 Authors: Kantrowitz, 118, 158, 176, 313, 314, 494, 549, 740, 741, 743, 759, 760, 763, 765, 779, 784, 805, 806, 812, 825, 827, 832, 834, 835, 847, 1054, 1281 Authors: Karp, 782, 818, 855 Authors: Kaufman, 1244 Authors: Kaufmann, 612 Authors: Kaushik, 1117 Authors: Kaye, 887 Authors: Keene, 843 Authors: Keiras, 493 Authors: Keith, 965 Authors: Kelley, 61 Authors: Kellomaki, 1147, 1148, 1221 Authors: Kelsey, 1239, 1311 Authors: Kemp, 1134 Authors: Kempis, 14 Authors: Kessler, 316, 1102 Authors: Kettler, 581 Authors: Keunen, 738, 740, 856 Authors: Kiczales, 843, 844, 920, 923, 1338 Authors: Kielmann, 1037 Authors: Kietz, 356 Authors: Kilian, 1114 Authors: Kim, 1060 Authors: Kimbrough, 879 Authors: Kindermann, 320 Authors: Kirk, 761 Authors: Klein, 495 Authors: Knight, 54 Authors: Knutzen, 898 Authors: Koch, 16 Authors: Kodric, 565 Authors: Koehle, 419 Authors: Koenig, 850, 1002 Authors: Koh, 448 Authors: Kohonen, 455, 460 Authors: Koitzsch, 740, 745 Authors: Konolige, 706 Authors: Konstan, 765 Authors: Kooijman, 451 Authors: Kopp, 927 Authors: Kornai, 504 Authors: Kosaka, 892 Authors: Kosbar, 691 Authors: Koza, 9, 279, 294, 295 Authors: Kramer, 324, 740, 862 Authors: Kranidiotis, 673 Authors: Kreutzer, 1137 Authors: Kriegel, 846, 963 Authors: Kroger, 622 Authors: Krulwich, 891 Authors: Kuchin, 552 Authors: Kuipers, 642 Authors: Kumar, 332 Authors: Kunzelman, 1317 Authors: Kurihara, 790 Authors: Kushmerick, 579 Authors: LaLiberte, 921, 935 Authors: LaPalme, 1152 Authors: Laaksonen, 455 Authors: Lagache, 1033 Authors: Laker, 856 Authors: Lang, 1301 Authors: Langley, 356 Authors: Langton, 62 Authors: Larsen, 1197 Authors: Lasser, 809 Authors: Latta, 567, 1348 Authors: Lau-Kee, 1008 Authors: Laubsch, 803, 824 Authors: Laumann, 1288 Authors: Lavinus, 1233 Authors: Lavrac, 335 Authors: Lawler, 493, 518 Authors: Leal, 1056 Authors: Leasure, 435 Authors: Lecot, 1046 Authors: Lederberg, 625 Authors: Lee, 679, 718, 1086, 1289 Authors: Leech, 40 Authors: Legrand, 402 Authors: Lehar, 406 Authors: Lemke, 688 Authors: Leppanen, 1320 Authors: Leyland, 495 Authors: Lin, 1032 Authors: Lindsay, 625 Authors: Liu, 1200 Authors: Ljoen, 690 Authors: Lloyd, 1080 Authors: Lord, 1308 Authors: Lotfi, 186 Authors: Lott, 772 Authors: Loui, 629, 639 Authors: Lovinger, 39 Authors: Lusk, 599 Authors: Lutzebaeck, 1193 Authors: MacQueen, 975 Authors: Maggi, 66 Authors: Malmkjaer, 1151 Authors: Maloney, 95, 98 Authors: Mamier, 454 Authors: Marais, 437 Authors: Margolin, 740, 826, 847, 1281 Authors: Barmar, 740, 826, 847, 1281 Authors: Markov, 1088 Authors: Markuzon, 180 Authors: Marsden, 599 Authors: Martin, 289 Authors: Marvit, 399 Authors: Massar, 912 Authors: Mathisen, 32 Authors: Mato Mira, 740, 749 Authors: Mayer, 237, 265, 889, 1053 Authors: McAllester, 325, 746 Authors: McCabe, 1104 Authors: McCharen, 599 Authors: McConnell, 795, 937 Authors: McCune, 599, 614 Authors: McDermott, 704 Authors: McDonley, 150 Authors: McIntyre, 110 Authors: McKay, 853, 855, 856, 865 Authors: McKenzie, 1137 Authors: McKerall, 1003 Authors: McLaughlin, 83 Authors: McNally, 555 Authors: Meehan, 366 Authors: Meglicki, 913 Authors: Meier, 1057 Authors: Meltsner, 733 Authors: Melz, 453 Authors: Menczer, 25 Authors: Menzies, 548 Authors: Merrill, 629 Authors: Merritt, 1049 Authors: Meyer, 311, 419, 1042, 1043, 1047, 1075 Authors: Michalewicz, 258, 259, 260, 261 Authors: Michaylov, 88, 604 Authors: Mierowsky, 1087 Authors: Miikkulainen, 461, 462, 463, 464, 465, 466 Authors: Miles, 537 Authors: Miller.Brad, 326, 327, 328, 329, 330, 331, 739, 740, 744 Authors: Miller.Dale, 1078, 1100, 1107 Authors: Miller.Geoffrey, 8 Authors: Miller.Jim, 958, 959, 960, 1167, 1226, 1246, 1247 Authors: Mills, 660 Authors: Milman, 223 Authors: Miranker, 116 Authors: Mitchell, 444, 599, 605 Authors: Mitkov, 503 Authors: Miyata, 447 Authors: Moeller, 813 Authors: Mohr, 846, 963 Authors: Molt, 194 Authors: Montler, 512 Authors: Moon, 727, 843 Authors: Mooney, 341, 369, 370, 371, 372, 373, 374 Authors: Moore, 612 Authors: Moraes, 34 Authors: Morein, 1092, 1110 Authors: Morgan, 599 Authors: Morrill, 856, 860, 862, 865, 869 Authors: Moser, 618 Authors: Moss, 1030, 1051 Authors: Muehle, 316 Authors: Mueller, 364 Authors: Mueller-Tomfelde, 407 Authors: Muggleton, 335, 349, 361 Authors: Muir, 288 Authors: Muller, 885 Authors: Murphy, 15, 337 Authors: Muthusamy, 689 Authors: Myers, 682, 883 Authors: Nadathur, 1107 Authors: Nagle, 195, 578 Authors: Naish, 994, 1086 Authors: Nakashima, 333, 1112 Authors: Nauck, 166, 196 Authors: Neal, 441 Authors: Nelson, 24 Authors: Nesmith, 609 Authors: Newmarch, 1126 Authors: Ng, 341 Authors: Nguyen, 285 Authors: Nguyenn, 1149 Authors: Nicodemus, 401 Authors: Nicoud, 743, 882 Authors: Nielsen, 791 Authors: Nipkow, 608 Authors: Niranjan, 387 Authors: Nolan, 420 Authors: Norbert, 1211 Authors: Norris, 414 Authors: Norskog, 698, 1163 Authors: Norvig, 719, 747 Authors: Novak, 631 Authors: Numata, 195 Authors: Nute, 980 Authors: O'Brien, 562 Authors: O'Donnell, 506 Authors: O'Keefe, 1015, 1165, 1171, 1177 Authors: O'Sullivan, 1206, 1315 Authors: Oflazer, 540 Authors: Ohta, 892 Authors: Olivier, 689 Authors: Olsson, 35 Authors: Opalla, 1071 Authors: Orchard, 132 Authors: Orr, 197 Authors: Ousterhout, 1098 Authors: Overbeek, 599 Authors: Packard, 972 Authors: Padget, 964 Authors: Paine, 705, 981, 991, 995, 1009, 1020, 1025, 1027, 1029, 1039 Authors: Panagos, 776 Authors: Pannozzi, 1350 Authors: Pao, 435 Authors: Paris, 627 Authors: Patel, 80 Authors: Paulson, 608 Authors: Paulus, 320 Authors: Paxson, 558 Authors: Paxton, 1115 Authors: Pazzani, 343 Authors: Pearlmutter, 1301 Authors: Pedersen, 572 Authors: Pehoushek, 794 Authors: Pell, 211 Authors: Pelletier, 599 Authors: Penberthy, 592, 646 Authors: Pentheroudakis, 534 Authors: Percival, 796 Authors: Pereira, 566, 1046 Authors: Perkimki, 529 Authors: Perkins, 705 Authors: Perkovic, 415 Authors: Perry, 555 Authors: Peters, 181 Authors: Peterson, 669, 762 Authors: Pfenning, 604, 1100 Authors: Phelps, 808 Authors: Pinc, 1192 Authors: Plaisted, 615 Authors: Plate, 470 Authors: Plotkin, 361 Authors: Plummer, 439 Authors: Pochmara, 689 Authors: Poliquin, 291 Authors: Pollack, 710 Authors: Poole, 238 Authors: Popowich, 565 Authors: Porter, 622 Authors: Poskanzer, 47 Authors: Prade, 167 Authors: Pratt, 401, 627, 808 Authors: Prechelt, 396 Authors: Press, 117 Authors: Prosser, 729 Authors: Prusinkiewicz, 42 Authors: Pulman, 533, 541 Authors: Qian, 387 Authors: Quaife, 599 Authors: Quantz, 320 Authors: Queinnec, 1184, 1204, 1332, 1343 Authors: Quin, 523 Authors: Quinlan, 344, 345, 346, 347, 348 Authors: Quiroz, 903 Authors: Radev, 511 Authors: Raik, 292 Authors: Ramakrishnan, 1077 Authors: Ramkumar, 1090 Authors: Ramsdell, 1173, 1247, 1344, 1346 Authors: Rauber, 459 Authors: Ray, 45 Authors: Raymond, 39 Authors: Reape, 565 Authors: Reay, 417 Authors: Redish, 398 Authors: Reece, 446 Authors: Rees, 1158, 1159, 1236, 1237, 1239, 1249, 1250, 1251, 1252, 1307, 1311 Authors: Regier, 448 Authors: Reilly, 36 Authors: Reinelt, 277 Authors: Rempel, 1117 Authors: Renda, 688 Authors: Ressel, 735, 817, 890 Authors: Ressler, 882 Authors: Reynolds, 180 Authors: Rice, 280, 294 Authors: Rich, 54 Authors: Ridoux, 1111 Authors: Riemann, 757 Authors: Riesbeck, 554, 623 Authors: Ringuette, 710 Authors: Riolo, 233 Authors: Ritchie, 533 Authors: Ritter, 776 Authors: Roberts, 315 Authors: Robinson, 387, 616, 666, 677, 692, 694, 697 Authors: Rogers, 436 Authors: Rogoff, 1149 Authors: Rohrbach, 896 Authors: Rohwedder, 604 Authors: Rokicki, 37 Authors: Romik, 29 Authors: Roomy, 583 Authors: Rosen, 180, 439 Authors: Rosenberg, 387 Authors: Rosenmueller, 846 Authors: Rosner, 112 Authors: Ross, 264 Authors: Rossum, 1351 Authors: Roth, 52, 1051 Authors: Roy, 212 Authors: Roylance, 788 Authors: Rozas, 958, 959, 960 Authors: Rubenking, 80 Authors: Ruhland, 224, 412 Authors: Rupley, 38 Authors: Ruspini, 167 Authors: Russell, 533 Authors: Sagonas, 1123 Authors: Sahlin, 606 Authors: Salvini, 157 Authors: Salzberg, 367 Authors: Samarabandu, 405 Authors: Sami, 1320 Authors: Sammut, 395, 1121 Authors: Sannella, 95, 96 Authors: Saraswat, 1053 Authors: Saravanan, 219, 220 Authors: Saunders, 403 Authors: Saxen, 442 Authors: Schaefers, 321 Authors: Schalkwyk, 689 Authors: Schank, 554, 623 Authors: Schedlbauer, 76 Authors: Scheibe, 1288 Authors: Scheidhauer, 1044 Authors: Scheifler, 880 Authors: Schein, 968 Authors: Schelter, 774, 792, 904, 906 Authors: Schiex, 1291 Authors: Schmiedel, 320 Authors: Schnorrenberg, 433 Authors: Schoenbauer, 419 Authors: Schottstaedt, 382, 384 Authors: Schraudolph, 244 Authors: Schreter, 457 Authors: Schubert, 645 Authors: Schultz, 222, 231 Authors: Schulze, 510 Authors: Schutze, 1082 Authors: Scott, 599 Authors: Scowen, 1052 Authors: Sejnowski, 387 Authors: Sekercioglu, 187 Authors: Serebrennikov, 1149 Authors: Serrano, 1287 Authors: Severson, 752 Authors: Shapiro, 332, 979, 986, 1087 Authors: Shavlik, 370 Authors: Sheldon, 907 Authors: Shell, 151, 318 Authors: Shelley, 559 Authors: Sherin, 1336 Authors: Shieber, 566 Authors: Shivers, 1194, 1195, 1342 Authors: Shoham, 978 Authors: Short, 580 Authors: Shu-pui, 413 Authors: Sieburg, 61 Authors: Siekmann, 609, 610 Authors: Silvers, 39 Authors: Simoncelli, 714, 934 Authors: Singleton, 290, 1024 Authors: Sirai, 1064, 1066, 1067, 1068, 1069 Authors: Siskind, 746 Authors: Sitaram, 1116, 1292, 1345 Authors: Slaney, 689 Authors: Sleator, 563 Authors: Smagt, 418, 709 Authors: Smit, 495 Authors: Smith, 17, 257, 269, 270, 438, 659, 997 Authors: Smullyan, 599 Authors: Snyder, 925 Authors: Soderland, 576, 586, 592 Authors: Spears, 236, 240 Authors: Spenke, 878 Authors: Spiger, 583 Authors: Spinellis, 1115 Authors: Spofford, 242 Authors: Sprave, 256, 267 Authors: Spreitzer, 752 Authors: Springer, 1139 Authors: Srivastava, 1336 Authors: St. Clair, 750 Authors: Stahl, 364 Authors: Staveley-Taylor, 1129 Authors: Stead, 740 Authors: Steeg, 470 Authors: Steele, 1145 Authors: Stefik, 752 Authors: Steib, 134 Authors: Stephenson, 63 Authors: Sterling, 979, 1051 Authors: Stevens, 445 Authors: Stickel, 599 Authors: Stolfi, 489 Authors: Stolin, 1149 Authors: Stoll, 899 Authors: Strack, 67 Authors: Stubblefield, 856 Authors: Sulzberger, 187 Authors: Summers, 147 Authors: Sussman, 1140 Authors: Sutcliffe, 600 Authors: Suttner, 600 Authors: Sutton, 395 Authors: Swerdlin, 622 Authors: Swick, 958, 959, 960 Authors: Swift, 1123 Authors: Tackett, 282, 296 Authors: Tammet, 1316 Authors: Tanaka, 892 Authors: Tang, 273 Authors: Tarau, 1095, 1096, 1097 Authors: Tarver, 829 Authors: Tassel, 970 Authors: Tate, 581 Authors: Taube, 383, 766 Authors: Tausend, 364 Authors: Tavolga, 512 Authors: Taylor, 800 Authors: Temperley, 563 Authors: Tenenberg, 577 Authors: Tesauro, 389 Authors: Tesfatsion, 9 Authors: Thagard, 458 Authors: Thompson, 342, 377, 426, 435, 938 Authors: Thomson, 418, 517 Authors: Thorn, 1153 Authors: Tidd, 223 Authors: Tierney, 916 Authors: Tisdale, 423, 429 Authors: Tizard, 473 Authors: Todd, 8 Authors: Toenne, 1119 Authors: Torgo, 359 Authors: Torkkola, 455 Authors: Torrance, 4 Authors: Totzke, 263 Authors: Touretzky, 395, 398, 718 Authors: Traetteberg, 860 Authors: Trapeznikov, 552 Authors: Travers, 921 Authors: Treleaven, 227 Authors: Treptow, 235 Authors: Tschichold-Gurman, 187 Authors: Tso, 622 Authors: Tsuda, 1064, 1065, 1066, 1068, 1069 Authors: Tuecke, 1089 Authors: Tuerk, 692 Authors: Turbak, 1256 Authors: Tutelaers, 205 Authors: Tuthill, 520 Authors: Tveter, 409 Authors: Tweed, 1134 Authors: Tyrrell, 3 Authors: Tyson, 855 Authors: Uhley, 24 Authors: Urbanec, 1121 Authors: Uribe, 605 Authors: Vaghi, 1012 Authors: Valencia, 1074 Authors: Valentine, 525 Authors: Van Buer, 769 Authors: Van Roy, 1035, 1075, 1093 Authors: VanInwegen, 620 Authors: Vargyas, 60 Authors: Vaucher, 999 Authors: Vazquez, 937 Authors: Vellino, 980 Authors: Vencovska, 627 Authors: Vestli, 187 Authors: Viola, 4 Authors: Vogel, 565 Authors: Voigt, 235 Authors: Volz, 364 Authors: Vuilleumier, 1304 Authors: Wall, 1364 Authors: Wand, 1138, 1222, 1224, 1279 Authors: Wang, 599 Authors: Ward, 686, 1342 Authors: Warren, 649, 1115, 1123 Authors: Wasser, 678 Authors: Waterhouse, 692 Authors: Waters, 524, 767, 777, 820, 821 Authors: Watrous, 425 Authors: Weber, 1081 Authors: Weis, 1287 Authors: Weiss, 958, 959, 960 Authors: Weld, 576, 579, 586, 591, 592, 646 Authors: Wells, 1223 Authors: Wesemann, 41 Authors: Wesley, 13 Authors: White, 288, 387, 388, 416 Authors: Whitley, 253 Authors: Whitson, 682 Authors: Wick, 599 Authors: Wieland, 387 Authors: Wielemaker, 1058, 1059, 1119 Authors: Wilkins, 855 Authors: Williams, 245, 246, 247, 434 Authors: Williamson, 644 Authors: Wilson, 24, 930, 956 Authors: Wimbish, 530 Authors: Winograd, 84 Authors: Winston, 55, 720 Authors: Witmer, 544 Authors: Witty, 325 Authors: Woods, 577 Authors: Wooters, 496 Authors: Wos, 599 Authors: Wright, 1141, 1188, 1203 Authors: Wrobel, 353 Authors: Wymore, 752 Authors: Yaeger, 43 Authors: Yang, 577 Authors: Yazdani, 562 Authors: Yelon, 737, 814 Authors: York, 853 Authors: Yost, 23 Authors: Young, 342 Authors: Yuasa, 904, 906 Authors: Zagha, 805 Authors: Zalondek, 325 Authors: Zatsman, 685 Authors: Zawinski, 754 Authors: Zell, 454 Authors: Zelle, 374 Authors: Zhang, 617 Authors: Zhou, 1094 Authors: Zito-Wolf, 1321 Authors: Zwick, 9 Authors: de Groot, 44 Authors: de Kleer, 648, 650 Authors: de Raedt, 335, 363 Authors: de Smedt, 856, 926 Authors: des Rivieres, 844, 920, 923 Authors: diSessa, 757 Authors: van Beek, 94 Authors: van Camp, 452, 470 Authors: van Lent, 262 Authors: van Melle, 764 Autocovariance, 796 Autogen, 14 Autoload, 734 Automated Deduction, 1044 Automated Reasoning, 596, 597, 601, 602, 603, 604, 605, 606, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 829 Automated Reasoning: Problem Libraries, 598, 599, 600 Automated Theorem Proving, 112, 600 ATP, 112, 600 Automatically Defined Functions, 295 Autoregressive Spectral Estimates, 796 Autotest, 981, 1029 BABBLER, 515 BABEL, 24 BABYLON, 120 BACK, 320 BAM, 410, 1085 BANG File System, 1099 BAWK, 1229 BBEdit, 1356 BBN, 869 BBN Butterfly, 897 BCPL: Code, 625 BELIEF, 627 BEMMEL, 709 BIOMURFFS, 15 BIOSIM, 16 BOB, 1226 BOOPS, 926 BP, 411, 412, 1086 BPNN, 413 BPS, 414, 648 BUGS, 17, 18 BUGWORLD, 19 BUILD, 578 BURIDAN, 579 Back Demodulation, 614 Back Subsumption, 614 Backgammon, 389 Backjumping, 94, 729 Backmarking, 94, 729 Backpercolation, 454 Backpropagation, 54, 112, 370, 374, 395, 401, 403, 409, 411, 412, 413, 414, 415, 424, 427, 429, 430, 431, 432, 436, 437, 439, 440, 441, 445, 448, 450, 451, 453, 454, 457, 469, 470, 1095, 1096, 1097 Backtracking, 94, 105, 719, 729, 746, 1036 Backward Chaining, 55, 112, 120, 147, 311, 343, 370, 576, 631, 1082, 1102 Backward Inference, 332 Balanced Binary Tree, 1229, 1230 Band-Pass Filters, 796 Basic Predicates, 992 Basic: Code, 71, 446, 515, 528, 659 Baum-Welch Training Algorithm, 682 Bayes Classification, 374 Bayesian Belief Networks, 635 Bayesian Networks, 636, 637, 638 Bayesian Probability, 636 BeBOP, 1086 Beam Search, 55, 806 Behavioral Choice, 3 Belief, 636 Belief Ascription, 5 Belief Networks, 152 Belief Propagation, 635 Bell's Number, 786 Benchmark Data Sets, 275, 276, 277, 336, 337 Benchmarks, 105, 172, 329, 386, 387, 388, 389, 1106 Benchmarks: Gabriel, 725, 1144 Benchmarks: Common Lisp, 722, 723, 724, 725, 846 Benchmarks: Neural Systems, 24 Benchmarks: Prolog, 983, 1010, 1032, 1130, 1131 Benchmarks: Scheme, 1143, 1144, 1253 Berkeley, 448, 888, 1289 Berkeley Prolog, 1093 Bessel, 788 Best-First Search, 662, 806, 978, 979 Beta Function, 788 Beta Prolog, 1094 Bi-Directional Inference, 332 BibTeX, 1042, 1043, 1047 Bibliographies, 8, 86, 87, 88, 89, 90, 837, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1232 Bidirectional Associative Memory, 410 Bidirectional Search, 662 Bigloo, 1287 BinHex hqx, 1362 BinProlog, 1095, 1096, 1097 Binary Paramodulation, 614 Binary Resolution, 614 Binary Search Trees, 748 Binary Trees, 1010, 1036, 1280 BioMetal, 660 Biological Simulation, 16, 24 Biophysical Models, 438, 471 Blackboard Architectures, 50, 51, 52, 131 Blind Watchmaker, 15 Blocksworld, 84, 578, 580, 584 Blond, 1151 Boeing, 743, 882 Boltzmann Machine, 470 Books: AI, 53, 54, 55, 409, 1137 Books: Common Lisp, 717, 718, 719, 720 Books: NLP, 475, 476, 477, 478, 479 Books: Natural Language Processing, 475, 476, 477, 478, 479 Books: Prolog, 977, 978, 979, 980, 981, 1026 Books: Scheme, 1136, 1137, 1138, 1139, 1140, 1141 Boolean Algebra, 599 Bottom-Up Chart Parser, 478 Bottom-Up Parsing, 479, 569 Boundary Value Problems, 471 Bounded Length, 997 Boxer, 757 Boyer-Moore Theorem Prover, 306, 612, 619 Brain, 415 Branch and Bound Search, 55, 459, 806 Brandeis University, 997 Breadth-First Search, 54, 662, 806, 978 BFS, 54, 662, 806, 978 BritPron, 666 Brown University, 799, 998 Bulgarian Academy of Sciences, 1088 Burg's Algorithm, 796 C Grammar, 1217 C Parser, 815 C Scheme, 1294, 1295, 1297, 1298, 1299, 1300 C*: Code, 262 C++: Code, 40, 43, 182, 197, 199, 235, 239, 241, 251, 273, 287, 290, 293, 408, 429, 434, 436, 438, 456, 457, 659, 662, 682, 752, 905, 907, 1077, 1288 C++: Lisp-Style Code, 907 C32, 883 C: Code, 3, 16, 34, 113, 199, 202, 235, 236, 238, 242, 249, 251, 253, 254, 255, 256, 257, 263, 264, 265, 266, 267, 269, 270, 286, 296, 322, 344, 345, 346, 347, 348, 367, 382, 401, 402, 405, 406, 407, 408, 409, 413, 416, 419, 432, 433, 434, 435, 439, 441, 445, 448, 449, 451, 452, 453, 454, 459, 463, 470, 516, 520, 536, 537, 538, 539, 558, 568, 573, 587, 590, 614, 629, 639, 659, 675, 676, 677, 680, 681, 683, 684, 685, 686, 687, 689, 690, 692, 694, 695, 696, 697, 698, 701, 708, 752, 898, 957, 1098, 1288, 1310, 1317 CAD/CAM, 883 CADE, 599, 1044 CAL, 299 CAM, 402 CASCOR, 416 CASLOG, 1032 CBREAK Mode, 759 CCITT, 680 CCP, 85, 91, 92, 1053, 1085 Concurrent Constraint Programming, 85, 91, 92, 1053, 1085 CD-ROM, 1353 CDM, 61 CEC, 321 CELP, 672, 676 CEREBRUM, 283 CFG, 565 CFS-C, 233 CG, 411 CGOL, 808 CGRAM, 1217 CHEF, 623 CHIP, 1099 CHR, 1099 CIL, 305 CKY Parser, 112 CL Shell, 934 CL-LIB, 327 CL-PROTOS, 622 CL-Testsuite, 846 CL.EL, 903 CL2Scheme, 1200 CLASP, 787 CLASSIT, 342 CLASSWEB, 342 CLAUDE, 83 CLCP, 1303 CLIB, 850 CLICHE, 112 CLIM Library, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877 CLIM Specification, 877 CLIM: Allegro Code, 871 CLIM: Browsers, 852, 862 CLIM: Code, 579, 638 CLIM: Cursors, 854 CLIM: Examples, 787, 853, 863 CLIM: Extensions, 856, 866 CLIM: Graphers, 862 CLIM: Graphing, 869 CLIM: Icons, 854 CLIM: Impl. Dep. Code, 870 CLIM: Inspectors, 852 CLIM: LUV-93 Tutorials, 864 CLIM: Lispworks Code, 872 CLIM: Lucid Code, 873 CLIM: MCL Code, 874 CLIM: Mailing List, 876 CLIM: Menus, 855, 865 CLIM: Mice, 854 CLIM: Patches, 857, 867 CLIM: Printing, 858 CLIM: Symbolics Code, 875 CLIM: Testing, 859 CLIM: Toys, 860 CLIO, 879 CLIP, 787 CLIPS, 121, 122, 123, 124, 125, 126, 131, 132, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146 CLIPS: Abstracts, 127 CLIPS: Bibliography, 128 CLIPS: Manuals, 129, 130 CLIPS: Patches, 133 CLIPS: Sybase Interface, 134 CLISP, 899 CLM, 382, 878 CLMath, 788 Common Lisp Object System, 55, 919, 920 Common Lisp Object System Code Library, 921 Common Lisp Object System Specification, 843 Common Lisp Object System: CLISP, 899 Common Lisp Object System: Class Precedence, 840 Common Lisp Object System: Code, 112, 245, 246, 247, 609, 719, 736 Common Lisp Object System: Examples, 787, 888 Common Lisp Object System: FAQ, 847 Common Lisp Object System: Introductions, 839 Common Lisp Object System: KEE, 922 Common Lisp Object System: PCL, 923 Common Lisp Object System: Scheme, 1338 Common Lisp Object System: Standards, 843, 844 Common Lisp Object System: Tutorials, 839 CLOS, 55, 919, 920 CLOS Code Library, 921 CLOS Specification, 843 CLOS: CLISP, 899 CLOS: Class Precedence, 840 CLOS: Code, 112, 245, 246, 247, 609, 719, 736 CLOS: Examples, 787, 888 CLOS: FAQ, 847 CLOS: Introductions, 839 CLOS: KEE, 922 CLOS: PCL, 923 CLOS: Scheme, 1338 CLOS: Standards, 843, 844 CLOS: Tutorials, 839 CLOSETTE, 844, 920 CLP, 85, 86, 87, 88, 89, 90, 91, 92, 299, 1053, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1099, 1130, 1131 Constraint Logic Programming, 85, 86, 87, 88, 89, 90, 91, 92, 299, 1053, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1099, 1130, 1131 CLR, 486 CLUE, 879 CLX, 4, 880 CLX: Code, 613, 704 CLiCC, 898 CLtL1, 846, 941 CLtL2, 941 CM, 383 CMAC, 417 CML, 975 CMN, 384 CMU, 39, 54, 317, 387, 388, 416, 448, 449, 740, 741, 743, 763, 784, 795, 801, 806, 812, 825, 827, 828, 832, 834, 835, 955, 957, 1100, 1182 CMU CL, 900 CMU LOOP Macro, 771, 772 CNCL, 182 CNF: FOIL, 374 CNS BBS, 248, 390 COBWEB, 342, 351, 356, 370, 374 COG, 418 COGNATE, 543 COLAB, 311 COMPARE, 831 COMPIL, 1152 CONDELA, 419 CONGEN, 625 CONNEL, 709 CONSORT, 298 CONTAX, 311 COOL, 121, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 925 CORAL, 883, 1077 CORBA, 921 CORBIT, 926 COSMIC, 432 COVER, 820 CPS, 648 CPST, 1153 CR Macros, 1235 CSLI, 504 CSLU, 689 CSP, 112, 729, 964 CSPLIB, 94 CSRL, 651 CTRS, 1044 CUP, 299, 1064, 1065, 1066, 1067, 1068, 1069 CalTech, 24 Calendar Calculations, 1189 Caml, 1287 Caml Light, 974 Camloo, 1287 Candidate Elimination Algorithm, 54 Carpenter, 404, 405, 406, 407 Cart-Pole Problem, 395 Cascade Correlation, 237, 416, 449, 454, 470 Case-Based Planning, 591 Case-Based Reasoning, 298, 621, 622, 623 Category Theory, 599 Category Utility Determination, 342 Cellsim, 62 Cellular Automata, 13, 56, 57, 59, 60, 61, 62, 63, 64, 65, 66, 67 Cellular Automata: Mail Archives, 58 Central Neural Systems BBS, 248, 390 Cepstrum, 796 Chalmers Univ. of Technology, 1316 Character Sets, 1175 Chart Parser, 478 Chart Parsing, 112, 479, 983, 1018 Checkers, 211 Chemical Reasoning, 112, 624, 625 Chess, 204, 206, 208, 211 Chess Endgame Database, 337 Chess Move Standards, 207 Chess Notation, 207 Chess TeX Font, 205 Chess: Test Suite, 209 ChezSybase, 1192 Chinese Chess, 211 Cholesky Matrix Decomposition, 796 Chukyo University, 447 Chunking, 587, 589, 590 Church Numerals, 1244 Church Rosser Theorem, 604 Cinc, 63 Circuit Design, 298 Circuit Design and Validation, 599 Circumscription, 611 Class Precedence, 840 Classical AI Programs, 68 Classical AI Programs: Eliza, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81 Classical AI Programs: Parry, 82 Classical AI Programs: RACTER, 83 Classical AI Programs: SHRDLU, 84 Classification, 387, 404, 405, 406, 407, 455, 456, 459 Classit/2, 342 Clausal Form, 605, 1036 Clause Editor, 988 Clustering, 370, 404, 406, 407 Clustering Vectors, 405 Co-routining, 1139 Cockroach, 434 Code Excited Linear Prediction, 676 Code Profiler, 827 Code Walking, 726, 727, 728 Cogent Prolog, 1004 Common Lisp Music, 382 Common Music, 383 Common Music Notation, 384 Common Windows, 881 CommonORBIT, 926 CommonObjects, 925 Compact Pro Archives, 1362 Compartmental Simulators, 438 Compiler-Compiler, 988 Compilers: Lambda Prolog, 1111 Compilers: Common Lisp, 899, 900, 904, 906, 908, 909, 910, 914 Compilers: Parallel Prolog, 1090 Compilers: Prolog, 1093, 1094, 1095, 1096, 1097, 1099, 1101, 1115, 1118, 1119, 1120, 1123, 1125, 1126 Compilers: Scheme, 1152, 1156, 1158, 1287, 1290, 1294, 1298, 1300, 1304, 1305, 1307, 1308, 1310, 1316, 1318, 1328 Completion, 735 Complex Adaptive Systems, 6, 21 Complex Constraints, 49 Complexity Analysis, 1032 Compositional Programming, 1089 Compression Software, 1352, 1354, 1355, 1357, 1359, 1360, 1361, 1368, 1369 Computer Algebra, 1012 Computer Simulation, 3 Computer Vision, 712, 713, 714 Conc, 517 Conceptual Clustering, 352 Conceptual Dependency, 554, 555 Conceptual Graphs, 516 Concordances, 517, 520 Concurrency, 1103 Concurrent ML, 975 Concurrent Prolog, 1106 Concurrent Scheme, 1184 Condition Handlers, 840 Conditional Effects, 592 Conditional Planning, 579 Conditioning, 457 Conflict Resolution, 121, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146 Conform, 1167 Conjugate Gradient, 411 Conjugate Gradient Descent Optimization, 689 Connectionist Systems, 385, 390, 394, 395, 400, 436, 442, 450, 451, 457, 458, 461, 462, 463, 464, 465, 466, 467, 468, 471 Connectionist Systems: Bibliographies, 392 Connectionist Systems: Documentation, 391 Connectionist Systems: Notes, 393 Connectionists, 398 Cons Cells, 718 Consistency Checking, 320 Constraint FAQ, 91 Constraint Languages, 648 Constraint Nets, 311 Constraint Processing, 85, 91, 92, 1099 Constraint Propagation, 55, 112, 719 Constraint Satisfaction, 85, 91, 92, 93, 94, 95, 96, 97, 98, 112, 729, 746, 1094 Constraint Satisfaction Problems, 112 Constraint Solver, 298 Constraint Systems, 311 Constraint Unification, 1064, 1065, 1066, 1067, 1068, 1069 Constraint-Based Scheduling, 90 Constraints, 120, 605, 1145 Content Addressable Memory, 402 Context Free Grammar, 565 Continuation Passing, 1153 Continuations, 1139 Control, 992 Control Predicates, 1113 Controllers, 706 Convolution, 691 Conway's Game of Life, 13, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 751, 1001 Conx, 751 Cookbook, 677 CoolDraw, 93 Copying Objects, 736 Coq, 602 Coral, 909 CoreWars, 1189 Corner Parsing, 561 Coroutining, 1099 Corpora, 474, 480, 481, 486, 488, 490, 492, 493, 495, 496, 497, 498 Corpora: Names, 494 Correlation, 149 Counterpropagation, 454 Courant Institute, 748 Credit Screening Database, 337 Crobots, 659 Cross-Referencing, 835, 981, 1010, 1034, 1036 Crossword Puzzles, 112 Cryptarithms, 983, 1036, 1063 Cumulative small change, 15 Cursor-Addressing, 1009 Cyc, 108 Cyrillic Typefaces, 512 DAG, 921 DAG Grapher, 828, 1218 DATAREP, 421 DCG, 105, 561, 566, 569, 1018, 1020, 1026, 1038, 1109 DCG Interpreter, 979 DCG Notation, 1035 DCSG, 1036 DCTG, 1026 DDJ, 109 DEC, 489, 678 DEC: CRL, 958, 959, 960, 1226, 1246 DEC: PRL, 1075 DEC: WRL, 1283, 1310 DEDUCE, 370, 374 DEFPACKAGE, 743 DEFSTRUCT, 1182 DEFSYSTEM, 823, 824, 825 DENDRAL, 625 DESQ, 298 DFA, 327, 568 DFKI, 509 DGENESIS, 234 DIFF for Common Lisp, 832 DIRM, 950 DISCERN, 462 DISLEX, 466 DJCup, 1068 DLISTS, 993 DNA Sequencing, 298 DNF: FOIL, 374 DP, 299, 322 DPROLOG, 628 DRAW, 1019 DRT, 500 DTP, 603 DTR, 64 DTW, 677 DULCINEA, 305 DYNACLIPS, 131 DartNet, 420 Darwin, 15, 20 Data, 639 Data Definition, 1203 Data-Mining, 100 Data-Mining: Documents, 101, 102, 103 Database, 526 Database Interface for CLISP, 899 Database Interface for Chez Scheme, 1192 Database Interface for Common Lisp, 840 Database Interface for Prolog, 1007 Database Interface for Scheme, 1324 Database Interfaces, 552 Database Package for Emacs-Lisp, 731 Database Package for Common Lisp, 730 Database Package for Prolog, 988 Database Package for SCM, 1321 Database Package for Scheme, 1141 Database Querying, 983 Databases, 55, 105, 522 Datalog, 1123 Date Formatting, 760 Davis Putnam, 322 Dawkins, 15 Dbase: Code, 74 Debuggers, 733, 833, 935, 984, 985, 986, 1010, 1080, 1146, 1147, 1148, 1149 Decibels, 796 Decision Trees, 359, 370, 431 Declarative Programming, 1083 Declarative Semantics, 1080 Deduction Systems, 609 Deductive Database, 1077, 1123 Deductive Query Processing, 649 Deductive Retrieval, 370 Default Reasoning, 323, 611 Defeasible Reasoning, 626, 627, 628, 629, 639, 980 Define-Class, 921 Definite Clause Grammar, 105, 569, 1020, 1026, 1109 Definite Clause Slash Grammar, 1036 Definite Clause Translation Grammar, 1026 Deftable, 747 Delay Equations, 471 Delay Mechanisms, 1113 DeltaBlue, 95 Demo Version, 152, 183, 184, 185, 190, 192, 424, 987, 988 DemoShell, 183 Dempster-Shafer, 636 Dendrites, 16 Denotational Semantics, 608, 1224 Dependency Grammar, 305 Dependent Types, 604 Depth-First Planner, 979 DFS, 54, 662, 806, 978, 1280 Depth-First Search, 54, 662, 806, 978, 1280 Derivation Trees, 351, 357 Destructuring, 1203 Devguide, 885 Diagnosis, 298, 362 Dialectic, 629 Dictionaries, 480, 482, 483, 491, 526 Dictionaries: American English, 487 Dictionaries: Australian, 495 Dictionaries: Chinese, 495 Dictionaries: Danish, 495 Dictionaries: Dutch, 486, 489, 495 Dictionaries: English, 486, 489, 490 Dictionaries: English (Tagged), 493 Dictionaries: Finnish, 495 Dictionaries: French, 495 Dictionaries: German, 486, 489, 495 Dictionaries: Italian, 486, 489, 495 Dictionaries: Japanese, 486, 495 Dictionaries: Japanese Morphological, 492 Dictionaries: Japanese/English, 484, 485 Dictionaries: Norwegian, 486, 489, 495 Dictionaries: Spanish, 488, 495 Dictionaries: Swedish, 486, 489, 495 Dictionaries: WordNet, 498 Dictionaries: Yiddish, 495 Difference Equations, 471 Differential Equations, 471 Differentiation, 380 Dijkstra's Algorithm, 1280 Direct Manipulation, 890 Directed Acyclic Graphs, 921 Discourse, 305, 474, 499, 500 Discourse Representation Theory, 500 Discovery, 100 Discovery: Documents, 101, 102, 103 Discrete Fourier Transform, 796 Discrete-Event Simulator, 707 Discriminants, 351, 357 Dismal, 590 Displaying Parse Trees, 1019 Distributed AI, 99 Distributed Applications, 1103 Distributed Processing, 1088 Distributed Word Representations, 463 Doctor, 75 Doodle Garden, 284 Doubly-Linked Lists, 993 Dr. Dobb's Journal, 109 Dr. Life, 29 Drawing Programs, 93, 883 Duck, 704 Dutch Dictionary, 486, 489 Dylan, 944, 945, 946, 947, 948, 949, 950, 951, 953, 954, 955, 956, 957, 958, 959, 960, 961, 1226 Dylan/Scheme Compatibility, 1246 Dylan: BNF, 946 Dylan: Code, 945, 946, 947 Dylan: Design Notes, 949 Dylan: Documents, 948, 950, 951, 952 Dylan: FAQ, 953 Dylan: IBM PC, 956, 958 Dylan: Macintosh, 956, 958, 959 Dylan: Poetry, 951 Dylan: Semantics, 952 Dylan: UNIX, 955, 956, 958 Dylan: YACC, 946 Dynamic Knowledge Exchange, 131 Dynamic LVQ, 454 Dynamic Link Library, 123 Dynamic Programming, 299, 1083 Dynamic Time Warping, 677 E-Completion, 607 E-Unification, 329 EAIA, 1044 EBG, 112, 351, 358, 370 Explanation-Based Generalization, 112, 351, 358, 370 EBL, 343, 366, 584, 585 Explanation-Based Learning, 343, 366, 584, 585 ECHO, 21, 458 ECL, 901 ECLiPSe, 1099 ECRC, 1099 ECoLisp, 901 EDB, 731 EDCG, 1035 EDICT, 484 EGGS, 370 ELI, 554, 936 ELISP, 902 EM, 235 ENUMs for Common Lisp, 737 EOPL, 1138 EPIA, 1044 ES, 147 ESFM, 148 ESIE, 149 ESL, 988, 1101 ESP, 301 ET, 422 EW, 882 EXPLORER, 370 EXTEND-SYNTAX, 1227 EZD, 1283 Earley Parser, 479, 1218 Ecological Simulation, 43 Edebug, 935 Eden, 705 Edinburgh, 969, 1005, 1036, 1119, 1120 Edinburgh Prolog Tools, 989, 1036 Edinburgh Syntax, 1109 Editor Packages, 1342 Editors: Text, 1356 Educational Tools, 111, 112, 113 Edwin, 1294, 1295, 1297, 1298, 1299, 1300 Effectors, 658 Elf, 604 Eliza, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 477, 719, 979, 1033, 1073, 1083, 1102 Elk, 1288 Elkan, 167 Elliptic Integrals, 788 Emacs Lisp: Common Lisp Compatibility, 903 Emacs Lisp: Debuggers, 935 Emacs Lisp: Manual, 902 Emacs-Lisp Interfaces, 933 Emacs-Scheme Interfaces, 1342 Emycin, 719 Engineering Notation, 813 Englex, 536 English Dictionary, 486, 489 English Grammar, 563 English Lexicon, 490, 493 Environments, 3 Epsilon Lisp Mode, 1303, 1342 EqL, 1073 Equation Solver, 979 Equivalential Calculus, 599 Ergo, 616 Ergo Lambda Prolog, 1100 Erratic, 706 Error Handling, 719 Error-Catching Mechanism, 738 Error-Driven Learning, 571 Errors, 733 Eu2C, 963 EuLisp, 962, 963, 964, 965 EuLisp Object System, 965 Eval, 1150, 1151, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1159 Evaluable Functions, 614 Evaluable Predicates, 614 Evaluator, 1155 Evans' Geometric Analogy Program, 1036 Event Driven Simulation, 182 Evolution, 15, 18, 23, 41 Evolution Strategies, 235, 256, 267 Evolution of Digital Organisms, 45 Evolutionary Algorithms, 235 Evolutionary Computation: Bibliographies, 217, 218, 219, 220 Evolutionary Programming, 213 EvolvePlanes, 285 Expert System Explanation, 147, 343 Expert System Shells, 52, 105, 107, 112, 114, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 298, 343, 719, 720, 978, 980, 988, 1036, 1092, 1103, 1110 Production Systems, 52, 105, 107, 112, 114, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 298, 343, 719, 720, 978, 980, 988, 1036, 1092, 1103, 1110 Expert System Shells: Benchmarks, 105, 115, 116, 117 Production Systems: Benchmarks, 105, 115, 116, 117 Expert System Shells: Medical, 631 Production Systems: Medical, 631 Expert Systems Ltd., 988, 1101 Explanation, 548 Explanatory Hypotheses, 458 Explicit Renaming, 1243 Express Windows, 882 Expression Evaluation, 1280 Expression Simplification, 380 Extended Logic, 992 Extension Languages, 1288, 1293, 1324 Extentron, 374 Extinction, 457 FAQ: AI, 158 FAQ: Artificial Life, 10 FAQ: CA, 57 FAQ: Common Lisp Object System, 847 FAQ: Production Systems, 118 FAQ: CLOS, 847 FAQ: Constraints, 91 FAQ: Dylan, 953 FAQ: Expert System Shells, 118 FAQ: Fuzzy Logic, 176 FAQ: GA, 230 FAQ: Classifier Systems, 230 FAQ: Genetic Algorithms, 230 FAQ: Genetic Programming, 280 FAQ: GP, 280 FAQ: Common Lisp, 847 FAQ: Lisp, 847 FAQ: Literate Programming, 377 FAQ: Miscellaneous, 376 FAQ: NLP, 511 FAQ: Natural Language Processing, 511 FAQ: Object-Oriented Programming, 378 FAQ: Neural Networks, 396 FAQ: OOP, 378 FAQ: Prolog, 1054 FAQ: Robotics, 656 FAQ: SLIB, 1201 FAQ: Scheme, 1281 FAQ: Smalltalk, 1348 FAQ: Speech, 673 FCM, 184 Frequently Asked Questions, 118, 158, 176, 376, 377, 378, 396, 511, 656, 673, 847, 953, 1054, 1281, 1348 FCP, 1087 FFT, 677, 689, 693 FGC, 1044 FGCS, 297 FGREP, 463 FIDE Demo, 185 FISMAT, 186 FJ, 195, 1112 FLEX, 558 FLIE, 187 FLIPC Demo, 188 FM_2D, 464 FM_ND, 465 FOCL, 343 FOGA, 221 FOIL, 344, 345, 346, 347, 348, 351, 374 FOL, 829 FONOL, 532 FOPC, 605, 1010, 1036 FOR Macro, 554, 768, 769 FORMAT for Scheme, 1193 FORTH, 60 FORWARD, 311 FP, 1074 FRAMISH, 315 FRAPPS, 605 FRIL, 162 FRL, 315 FROBS, 316, 1102 FROLIC, 316, 1102 FRulekit, 151 FT, 606 FUF, 550 FUTURE, 1184 Factoring, 380, 614 Fan Controller, 191 Fast Fourier Transform, 689, 796 Feature Maps, 464, 465, 466 Feature Selection, 459 Feature Structures, 500, 560 Feedforward Neural Networks, 411, 431, 433, 442, 469 Feel, 964, 965 Female Names, 494 Fibonacci, 1208 Fifth Generation Computer Systems, 297 File Names, 1194 Filtering, 700 Finite Domains, 311, 1063 Finite State Machines, 991, 1280 First Order Logic, 608, 609, 611 Fisher's g Statistic, 796 Flakey, 706 Flat Concurrent Prolog, 1087 Flavors, 921 Fletcher-Powell Unconstrained Minimization, 788 Flexinol, 660 Flight Simulators, 423 Floyd's Shortest Path Algorithm, 1280 Focus Tracking, 503 Foggy, 518 Font Stripper, 809 Fonts, 512 Fonts: Chess, 205 Fools' Lisp, 1289 Foreign Function Interface, 1287, 1288 Formant Synthesis, 683 Formatted Output, 1036 Fortran: Code, 28, 271, 411, 676, 687 Forward Chaining, 55, 105, 112, 120, 121, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 306, 311, 316, 331, 720, 978, 980, 1082 Forward Checking, 94, 729 Forward Demodulation, 614 Forward Inference, 332 Forward Subsumption, 614 Fourier Transforms, 788 Fractals, 980 Frame Systems, 105, 312, 314, 315, 316, 317, 318, 324 Frame Systems: References, 313 FrameWork, 314 Frames, 329, 966, 967, 968, 970, 1137 Franz, 894, 936, 938 Franz Lisp, 817, 966, 967, 968, 969, 970, 971 Free Energy Manipulation, 470 Frequently Asked Questions, 118, 158, 176, 376, 377, 378, 396, 511, 656, 673, 847, 953, 1054, 1281, 1348 FuNeGen, 189 Fukushima, 433 Function Optimization, 249 Functional Equations, 471 Functional Programming, 333, 1070 Functional Programming Languages, 325 Functional Unification Grammar, 550 Futures, 964 FuzzDemo, 190 Fuzzy ARTMAP, 180 Fuzzy Clustering, 306 Fuzzy Control Manager, 184 Fuzzy Inference Library, 195 Fuzzy Inference Systems, 190 Fuzzy Logic, 132, 159, 160, 161, 162, 163, 164, 178, 179, 180, 183, 185, 187, 188, 189, 190, 192, 193, 195, 197, 198, 200, 201, 202 Fuzzy Logic: Associations, 171 Fuzzy Logic: Benchmarks, 172 Fuzzy Logic: Bibliographies, 165, 166 Fuzzy Logic: C++ Classes, 182, 197 Fuzzy Logic: Controllers, 170, 181, 182, 184, 186, 191, 194, 196 Fuzzy Logic: Documentation, 165 Fuzzy Logic: Education Kit, 174 Fuzzy Logic: Production Systems, 182 Fuzzy Logic: Expert System Shells, 182 Fuzzy Logic: FAQ, 176 Fuzzy Logic: Inference Engines, 182, 199 Fuzzy Logic: Introductions, 168, 170 Fuzzy Logic: Mail, 177 Fuzzy Logic: Notes, 169, 170, 171, 173, 175 Fuzzy Logic: Paradoxical Success, 167 Fuzzy Logic: Tutorials, 168 Fuzzy Set Relations, 147 Fuzzy Sets, 182 Fuzzy Variables, 182 Fview, 679 GA Application Generator, 239 GA-List, 231 GAC, 236 GACC, 237 GAF, 193 GAGA, 238 GAGS, 239 GAL, 240 GAMA, 311 GAME, 241 GANNET, 242 GAW, 243 GAbench, 275 GAucsd, 244 GB, 559 GBB, 51 GCL, 904 GDE, 648 GECO, 245, 246, 247 GEM, 883 GENALG, 248 GENESIS, 24, 244, 249, 250 GENESIS: Parallel, 262 GENEsYs, 250 GENOCOP, 258, 261 GEST, 52 GIGA, 254 GILT Interface Builder, 883 GINA, 878 GLISP, 810 GMD, 365, 379, 878 GNODE, 802 GNU, 1350 GNU Common Lisp, 904 GNU Emacs, 590, 604 GNU GPL, 75, 182, 196, 199, 206, 242, 245, 246, 247, 264, 266, 271, 322, 330, 332, 351, 353, 356, 357, 358, 359, 361, 363, 379, 450, 478, 679, 683, 684, 690, 695, 731, 739, 740, 744, 776, 815, 846, 899, 901, 903, 904, 907, 1114, 1141, 1201, 1209, 1210, 1221, 1253, 1293, 1301, 1314, 1315, 1318, 1319, 1320, 1323, 1327, 1350, 1358, 1359, 1360 GNU Tar, 1359 GNU-Emacs Lisp, 75, 903 GNU-Emacs Lisp Manual, 902 GOLEM, 349 GOTO, 991 GP-Graphs, 289 GPC plus plus, 287 GPC++, 287 GPEIST, 288 GPQUICK, 290 GPS, 719 GPSTEPS, 291 GPX/Abstractica, 282 GRADSIM, 425 GRAMTSY, 519 GREXPAND, 1020 GRIDS, 1163 GSM, 681 GScheme, 1286 GUI: Common Lisp, 4, 96, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 1058, 1059 Graphical User Interfaces: Common Lisp, 4, 96, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 1058, 1059 GUI: Prolog, 980, 1008, 1055, 1056, 1057, 1058, 1059, 1060, 1105 Graphical User Interfaces: Prolog, 980, 1008, 1055, 1056, 1057, 1058, 1059, 1060, 1105 GUI: Requires CLIO, 879 GUI: Requires CLOS, 878, 879, 881, 882, 885, 886, 888, 890, 892 GUI: Requires CLUE, 886, 890 GUI: Requires CLX, 878, 879, 881, 882, 883, 886, 890 GUI: Requires KR, 883 GUI: Scheme, 1282, 1283, 1284, 1288, 1295, 1322, 1325 Graphical User Interfaces: Requires CLIO, 879 Graphical User Interfaces: Requires CLOS, 878, 879, 881, 882, 885, 886, 888, 890, 892 Graphical User Interfaces: Requires CLUE, 886, 890 Graphical User Interfaces: Requires CLX, 878, 879, 881, 882, 883, 886, 890 Graphical User Interfaces: Requires KR, 883 Graphical User Interfaces: Scheme, 1282, 1283, 1284, 1288, 1295, 1322, 1325 GULP, 1021 GWAM, 311 Gabriel Benchmarks, 725, 1144 Gambit, 1290 Game Playing, 54, 203, 211 Game Playing: Backgammon, 389 Game Playing: Bibliographies, 210 Game Playing: Chess, 204, 205, 206, 207, 208, 209 Game Playing: Crossword Puzzles, 212 Game Playing: Documentation, 210 Game Playing: Go, 298 Game Playing: Robotics, 659 Game of Nim, 979 Gamma Function, 788, 796 Garbage Collection, 930, 1113, 1288 Garnet, 96, 883, 899 Gaussian Elimination, 584 Gaussian Equations, 1075 GenET, 251 Genealogy, 106 General Diagnostic Engine, 648 Generalized Cut, 1113 Generic Search, 55 Genesis, 234, 236, 240 Genetic Algorithms, 17, 19, 20, 105, 112, 193, 213, 214, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 263, 265, 266, 267, 268, 269, 270, 271, 272, 282 GA, 17, 19, 20, 105, 112, 193, 213, 214, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 263, 265, 266, 267, 268, 269, 270, 271, 272, 282 Classifier Systems, 17, 19, 20, 105, 112, 193, 213, 214, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 263, 265, 266, 267, 268, 269, 270, 271, 272, 282 Genetic Algorithms: Benchmarks, 274, 275, 276, 277 Genetic Algorithms: Bibliographies, 216, 217, 218, 219, 220, 221, 222, 223, 224 Genetic Algorithms: C++ Classes, 273 Genetic Algorithms: Documents, 215, 228, 229 Genetic Algorithms: Introductions, 225, 226, 227 Genetic Algorithms: Parallel, 262, 264 Genetic Algorithms: Software, 229 Classifier Systems: Benchmarks, 274, 275, 276, 277 Classifier Systems: Bibliographies, 216, 217, 218, 219, 220, 221, 222, 223, 224 Classifier Systems: C++ Classes, 273 Classifier Systems: Documents, 215, 228, 229 Classifier Systems: Introductions, 225, 226, 227 Classifier Systems: Parallel, 262, 264 Classifier Systems: Software, 229 GA: Benchmarks, 274, 275, 276, 277 GA: Bibliographies, 216, 217, 218, 219, 220, 221, 222, 223, 224 GA: C++ Classes, 273 GA: Documents, 215, 228, 229 GA: Introductions, 225, 226, 227 GA: Parallel, 262, 264 GA: Software, 229 Genetic Art, 282 Genetic Programming, 213, 278, 280, 281, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296 GP, 213, 278, 280, 281, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296 Genetic Programming: Bibliography, 279 GP: Bibliography, 279 Genetic Search: Bibliographies, 392 Genetic-2, 258, 259 Genetic-2N, 258, 260 Genetics, 298 Genie, 252 Genitor, 253 Gensym, 1010, 1036, 1199 Geometry, 599 Georgia Tech, 52 Geppetto, 286, 289 German Dictionary, 486, 489 Gesture Recognition, 883 Gibberish, 559 Glossed Sentences, 500 Go, 298 Goal-Oriented, 649 Godel's Set Theory Axions, 599 Goedel, 1080 Goldberg, 265, 266, 268, 271 Golowasch-Buchholz Model, 16 Government and Binding Theory, 518, 519 Government-Binding Parser, 559 Gradient Descent, 425, 430, 439 Gram-Schmidt Matrix Decomposition, 796 Grammar, 514, 519, 557, 560, 563, 565 Grammar Checker, 562, 567 Grammar Kit, 1106 Grammar Writing, 525 Graph Processing Utilities, 1010, 1036 Graph Theory, 1013 Graph Traversal, 1280 Graph Unification, 54 Graph-Based Unification Grammar, 565 Graphers, 828, 862, 884 Graphical Models, 636 Graphics, 802, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 980, 1009, 1055, 1056, 1057, 1058, 1059, 1060, 1191, 1282, 1283, 1284, 1325 Graphing, 869 Grid World, 707 Grips, 1025, 1027 Grocery Bagger, 55 Grossberg, 404, 405, 406, 407 Group Theory, 599 Gustavus Adolphus College, 658, 1278 Gwydion, 955 HCI, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 1055, 1056, 1057, 1058, 1059, 1060, 1282, 1283, 1284, 1325 HIC, 644 HIPER, 607 HMM, 571, 682 HOBBIT, 1314, 1316 HP, 803, 824, 889, 925 HPSG, 550, 565, 1018 HUGIN Demo, 152 HUM, 520 HWOOPS, 1284 Hard Competitive Learning, 470 Hash Tables, 1166, 1280 Haskell, 811 Hdrug, 560 Heap Sort, 1280 Heaps, 1010, 1036 Hebbian Learning, 445, 451 Help, 1291 Henkin Models, 599 Heuristic Search, 379 Hexapod Robots, 660 HiLog, 1115, 1123 Hidden Markov Models, 682 Hierarchical Interval Constraints, 644 Hierarchical Planning, 581 High-Pass Filters, 796 Higher Order E-Unification, 1081 Higher Order Logic, 608 Hill Climbing Search, 54, 55, 806, 979 Histograms, 789 Hodge, 65 Hodgkin-Huxley Model, 16 Homophones, 667 Honey, 76 Hopfield Networks, 54, 112, 426, 427 Horn Clauses, 311, 329, 343, 344, 345, 346, 347, 348, 829 Human Evolution, 22 Huntington Technical Brief, 173 Hyperbolic, 788 Hyperbot, 658 Hypergeometric Function, 1211 Hyperplane Animator, 401 Hyperresolution, 614 Hypothetical Worlds, 154 IANDC, 1042, 1044 IB, 878 IBM, 389 IBox, 320 IC-Prolog ][, 1103 ICBR, 623 ICLP, 1044 ICOT, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 492, 569, 1044, 1064, 1065, 1066, 1067, 1068, 1069 ICOT Free Software, 297 ICP, 1103 ICS, 427 ICST, 992 ICU, 554 ID3, 112, 335, 351, 359, 369, 370, 374, 978 IDEAL, 638 IDM, 580 IDT, 351, 359 IEEE P1178, 1247 IEEE P1178 Compatible, 1201, 1287, 1288, 1290, 1314, 1317, 1318, 1323, 1327 Scheme: IEEE P1178, 1201, 1287, 1288, 1290, 1314, 1317, 1318, 1323, 1327 IFR Fuzzy, 194 IFS, 297 II, 1014 IIS, 163 ILISP, 937 ILP, 364 ILPS, 1044 ILS, 891 ILU, 752 INDEX, 350 INFER, 195 INRIA, 974, 1111, 1113, 1287 IO, 758, 759, 760, 761, 762, 763, 765, 766, 767, 992, 1006, 1007, 1008, 1009, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197 IPA, 512 IRISA, 1111, 1113 IS-A Hierarchy, 318 ISO Lisp, 841, 845 ISO Prolog, 1052 ISO-9660, 1353 ISQRT, 790 ITP, 521 Imogenes, 293 Imperial College, 1030, 1103, 1104 Implies, 361 Incomplete Knowledge, 642 Incremental Concept Formation, 356 Incremental Conceptual Clustering, 370 Incremental Learning, 370 Indexing, 940 Indexing Software, 517, 520 Indiana University, 660, 1312, 1313 Induction, 359, 639 Induction Algorithms, 335 Inductive Classification, 369, 370, 373, 374 Inductive Data Engineering, 350 Inductive Inference, 627 Inductive Learning, 352, 371, 1088 Inference, 306, 608, 648 Inference Engines, 331, 365, 603 Infix Notation for Common Lisp, 812 Inflection, 528 Influence Diagrams, 636, 638 Info-ZIP Archives, 1368 InfraLogic, 164 Inheritance, 55, 318, 320, 629 Inheritance Reasoner, 5 Initializations, 327, 739 Input, 758, 759, 760, 761, 762, 763, 765, 766, 767, 1190, 1191, 1193, 1194, 1195, 1196, 1197 Insertion Sort, 979 Integer Factorization, 788 Integration, 380 Intensional, 311, 332 Inter-Linearize Text, 526 InterBASE, 552 Interactive Shell, 979 Interchange Sort, 979 Interface Builders, 890 Interface Tools, 799 Interlinear Text, 521 Interlisp, 818 Interpreters: AGENT0, 4 Interpreters: Dylan, 956, 958, 959, 960 Interpreters: Lambda Prolog, 1100, 1107, 1111 Interpreters: Common Lisp, 896, 899, 900, 904, 905, 906, 908, 909, 910, 911, 914, 915, 916 Interpreters: Prolog, 112, 905, 1073, 1075, 1078, 1086, 1088, 1092, 1093, 1094, 1095, 1096, 1097, 1099, 1101, 1105, 1106, 1109, 1110, 1112, 1113, 1115, 1118, 1119, 1120, 1123 Interpreters: Scheme, 905, 1287, 1288, 1289, 1290, 1291, 1294, 1298, 1300, 1304, 1305, 1306, 1307, 1310, 1318, 1325, 1328, 1329 Interpreters: Smalltalk, 905, 1350 Interpreters: WAM, 1126 Interval Algebra, 645 Interval Arithmetic, 1014, 1117, 1244 Intuitionistic Predicate Logic, 606 Inverse Kinematics, 709 Inverse Resolution, 351, 360 Inverted Pendulum, 186, 188, 198 Ion Channels, 16 Isabelle, 608 Island Parsers, 561 Iswym, 1292 Italian Dictionary, 486, 489 Iterate, 770 Iteration, 768 Iteration: FOR Macro, 769 Iteration: Iterate, 770 Iteration: LOOP Macro, 771, 772, 773, 775 Iteration: SLOOP Macro, 774 Iteration: Scheme, 1199 Iteration: Series, 777 Iteration: YLOOP Macro, 776 Iterative Deepening Interpreter, 994 Iterative Deepening Search, 54, 379 Iterative Equations, 471 JACAL, 1209, 1314 JADE, 883 JAR, 599, 1044 JB Prolog, 1105 JICLP, 1044 JLP, 1044 JPSG, 1064, 1065, 1066, 1067, 1068, 1069 JSC, 1044 JTMS, 112, 648 Japan, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307 Japan Women's University, 790 Japanese, 1066 Japanese Dictionary, 486 Japanese Morphological Dictionary, 492 Japanese/English Dictionary, 484, 485 Johns Hopkins, 742 June92 RnRS Meeting, 1249 Justification-Based TMS, 648 K Nearest Neighbor, 374, 459 KCL, 904, 906 KEE, 922 KEIM, 609 KGEN, 537 KIMMO, 535, 536, 537, 538, 539, 540 KL-ONE, 319, 320, 321, 322, 323 KL1, 302, 307 KNOWBEL, 324 KPlot, 684 KR, 105, 317, 883 KRIS, 323 KTEXT, 538 Kalah, 979, 1137 Kalypso, 972 Kamin, 905 Karl Sims, 282 Karlsruhe University, 899 Klatt, 683 Klatt Parameters, 684 Knapsack Problems, 276 Knight's Tour, 105, 1095, 1096, 1097 Knowledge Acquisition, 112, 365 Knowledge Bases, 299, 981 Knowledge Compilation, 311 Knowledge Representation, 299, 308, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 645 Knowledge Representation: Documentation, 309 Knuth-Bendix Completion, 614 Knuth-Morris-Pratt String Searching, 1280 Kohonen, 457, 464, 465, 466 Kohonen Self-Organizing Maps, 455, 460 Kohonnen Net, 470 L-Systems, 40, 42 LAIR Toolset, 651 LALR Parser Generator, 557, 799, 975, 1219 LAPIDIARY, 883 LAPUTA, 305 LCF, 608 LD-CELP, 685 LDB, 522 LDC, 672 LES, 153 LEX, 493 LF Logical Framework, 604 LHIP, 561 LIBNSPEECH, 689 LICE, 256 LICS, 1043, 1044 LILY, 907 LINGER, 562 LINT for Common Lisp, 826 LINT for Prolog, 981, 984, 985, 986, 1010 LINT for Scheme, 1146, 1147, 1148, 1149 LISP2WISH, 887 LISSOM, 467 LITLFLET, 295 LL Parsers, 1222 LM-Prolog, 1106 LMI Lambda, 1106 LMS Learning Procedure, 453 LO, 1104 LOLA, 972 LOOP Macro, 719, 768, 771, 772, 773, 775, 776, 1199 LOTEC, 686 LP, 1022, 1044, 1107 LPA, 1108 LPC, 677, 687 LQ-Text, 523 LR(0) Parser Generator, 573 LSI Routing, 298 LSYS, 40 LTRAN, 818 LUG, 305 LVQ, 454, 455 LYRI, 689 LaTeX, 500, 1133, 1345, 1346 LaTeX: Neural Networks, 473 Labels, 991 Lambda, 1154 Lambda Calculus, 325 Lambda Prolog, 1100, 1107, 1111 Language Constructs, 777 Lattices, 1167 Lazy Evaluation, 608 Lazy Scheme, 1291 Learning Attributional Descr., 355 Learning from Examples, 370 Least General Generalization, 361 Least Squares Method, 796 Leave One Out, 459 Lecture Notes, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279 Lecture Notes: Neural Networks, 394, 395 Left-Associative Parser, 567 Legal Reasoning, 298 Leiden University, 926 Lenat, 108 Length, 997 Leter to Sound Rules, 678 Lexer, 800 Lexical Analysis, 1025 Lexical Analyzer Generator, 558, 975, 1287 Lexically-Scoped Macros, 1236 Lexicons, 514, 524, 526 LiSP2TeX, 1343 Liar, 1294, 1295, 1297, 1298, 1299, 1300 LibGA, 255 Life3d, 33 Life: Implementations, 13, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 751, 1001 Life: Patterns, 27, 31, 38, 39 Limit Theorems, 599 Linda, 964 Line Editor, 979 Linear Algebra, 403 Linear Associative Networks, 453 Linear Constraints, 258, 259, 261 Linear Equations, 55, 1063 Linear Logic, 1078 Linear Prediction, 676 Linear Predictive Coding, 689 Linear Regression, 788 Linguistic Data Consortium, 672 Link Parser, 563 Common Lisp, 716, 839, 842, 845, 846 Lisp Listener, 383 Lisp Machines, 1106 Lisp Parser in C, 800 Lisp Speed, 724 Lisp to C, 898, 901, 904, 906 Lisp-Like Data Structures: ADA, 895 Common Lisp: Amiga, 915, 916 Common Lisp: Atari, 915 Common Lisp: Benchmarks, 722, 723, 724, 725 Common Lisp: Bibliographies, 837 Common Lisp: Code, 4, 51, 73, 76, 105, 109, 112, 151, 155, 156, 240, 245, 246, 247, 294, 295, 311, 314, 315, 316, 317, 318, 324, 325, 327, 329, 332, 333, 343, 368, 369, 370, 371, 372, 374, 382, 383, 384, 403, 416, 448, 449, 458, 478, 533, 550, 554, 555, 557, 564, 571, 572, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 587, 589, 591, 592, 595, 605, 607, 609, 613, 617, 622, 627, 631, 636, 638, 641, 642, 644, 645, 648, 650, 651, 704, 705, 707, 710, 711, 717, 718, 719, 720, 721, 729, 752, 796, 814, 820, 821, 840, 852, 853, 854, 855, 856, 857, 858, 859, 860, 862, 863, 864, 865, 866, 867, 871, 872, 873, 874, 875, 887, 918, 919, 921, 922, 923, 924, 925, 926, 927, 1081, 1082 Common Lisp: Code Walking, 726, 727, 728 Common Lisp: Data Structures, 747, 748 Common Lisp: Databases, 730, 731 Common Lisp: Debuggers, 733 Common Lisp: Documents, 836, 837, 838, 840, 902, 938 Common Lisp: Emacs Reference Card, 938 Common Lisp: Extensions, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 764 Common Lisp: Extensions Library, 740 Common Lisp: FAQ, 847 Common Lisp: Fun Programs, 751, 1137 Common Lisp: GNU-Emacs Interface, 934, 936, 937 Common Lisp: Graphers, 884 Common Lisp: Graphics, 869, 888 Common Lisp: History, 838 Common Lisp: IBM PC, 901, 915, 916, 969 Common Lisp: IO, 758, 759, 760, 761, 762, 763, 765, 766, 767 Common Lisp: Impl. Dependent Code, 753, 754, 755, 756, 757 Common Lisp: Implementations, 893, 894, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 914, 915, 916 Common Lisp: Introductions, 839 Common Lisp: Iteration, 768, 769, 770, 771, 772, 773, 774, 775, 776, 777 Common Lisp: Kalypso, 972 Common Lisp: MSDOS, 911 Common Lisp: Macintosh, 910, 915, 916 Common Lisp: Matchers, 778, 779, 780, 781, 782, 783, 784 Common Lisp: Math, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797 Common Lisp: PC Lisp, 971 Common Lisp: Papers, 928, 929, 930, 931 Common Lisp: Parsing, 798, 799, 800, 801, 802, 803, 972 Common Lisp: Reference Card, 938 Common Lisp: Search, 804, 805, 806 Common Lisp: Sockets, 580, 758, 765, 878, 880 Common Lisp: Standards, 841, 842, 843, 844, 845, 846 Common Lisp: Style Guides, 931 Common Lisp: Syntax, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818 Common Lisp: Tech Reports, 928, 929, 930, 931 Common Lisp: Test Suite, 846 Common Lisp: Testing, 819, 820, 821 Common Lisp: Tools, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 940 Common Lisp: Tutorials, 839, 864 Common Lisp: UNIX, 901, 911, 914, 916 Common Lisp: Utilities, 932, 933, 934, 935, 936, 937, 938, 939, 941, 942, 1342, 1343, 1344, 1345, 1346 LispView, 885 Lispish C/C++, 907 Lispworks, 886 List Intersection, 979 Lists, 992, 993, 996, 997, 1036, 1168, 1171 Literate Programming: FAQ, 377 Literate Programming: Common Lisp, 1343, 1344, 1345, 1346 Literate Programming: Prolog, 1133 Literate Programming: Scheme, 1343, 1344, 1345, 1346 Load Balancing, 580 Local Propagation, 1145 Localized Unification Grammar, 305 LogScheme, 1155 Logging a Session, 979 Logic, 603, 607, 1043, 1044, 1119, 1155 Logic Design, 298 Logic Languages, 1079, 1082 Logic Line, 149 Logic Problems, 599 Logic Programming, 311, 333, 604, 719, 1044, 1045, 1070, 1076, 1086, 1088, 1099, 1103, 1104, 1111 Logic and Objects, 1104 Logic-Based LTMS, 648 Logic-Based Parser, 477 Logical Circuits, 67 Logical Pathnames, 741 Lolli, 1078 Low-Pass Filters, 796 Luther, 1125 MACTIVATION, 428 MALI, 1111, 1113 MAP, 533 MAPFORMS, 727 MARQUISE, 883 MATLAB, 186, 190, 194, 417, 700 MAWK, 1230 MBP, 403, 430 MCL, 755, 908, 909 MCS, 927 MCT, 4 METEOR, 600 METHODS, 1333 MGTP, 306, 600 MICE, 707 MIKE, 154 MILES, 364 MINIOOP, 1334 MIRROR, 840 MIT, 731, 802, 820, 821, 934, 979, 1162, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1294 MIT LOOP Macro, 771, 773 MIT Scheme, 1294, 1295, 1296, 1297, 1298, 1299, 1300 MKRP, 610 ML, 325, 973, 974, 975, 1287 ML: Code, 602, 604, 608, 705 MLP Networks, 442 MOBAL, 365 MOP, 842, 844, 920, 927 MORFOGEN, 534 MOS, 1335 MOTEL, 323 MTRAN, 544 MULT, 1326 MUME, 431 MVL, 611 MacBinary, 1362 MacCUP, 1067 MacEliza, 77 MacGambit, 1290 MacGambit: Code, 959 MacInTalk, 672 MacLex, 524 MacProlog, 1104, 1108 MacSCM, 1314, 1317 Machine Discovery, 100 Machine Discovery: Documents, 101, 102, 103 Machine Learning, 112, 179, 237, 334, 340, 341, 342, 343, 344, 345, 346, 347, 348, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 366, 369, 370, 371, 372, 373, 374, 449, 571, 582, 583, 584, 585, 587, 588, 589, 590, 705 Machine Learning: Benchmarks, 386, 387, 388 Machine Learning: Bibliographies, 335 Machine Learning: Databases, 336, 337 Machine Learning: Inductive Learning, 349, 365 Machine Learning: Macro Generation, 368 Machine Learning: Nearest-Neighbor Learning, 367 Machine Learning: Neural Networks, 389, 391, 392, 393, 394, 395, 396, 397, 398, 399, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 437, 439, 440, 441, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473 Machine Learning: Refinement, 368 Machine Shop Scheduling, 584 Machine Translation, 474, 542, 543, 544 Macintosh, 420 Macro Expansion, 1010, 1036 Macros, 719, 1138, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243 Macsyma, 719, 792 Mail Archives: Dylan, 961 Mail Archives: Genetic Algorithms, 231 Mail Archives: Common Lisp, 917 Mail Archives: Machine Learning, 338, 339 Mail Archives: Neural Networks, 397, 398, 399 Mail Archives: Scheme, 1330 Male Names, 494 Manufacturing, 392 Map Coloring, 979 Mark's CLX Toolkit, 4 Markov Chains, 515 Marlais, 956 Mastermind, 979, 1002 Matchers, 55, 315, 778, 779, 780, 781, 782, 783, 784, 1179, 1202, 1203, 1204, 1205, 1206 Math, 380, 471, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 1011, 1012, 1013, 1014, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214 Mathematica, 793 Matrices, 403, 429, 796 Matrix Algebra, 584 Matrix Backpropagation Package, 403, 430 Matrix Multiplication, 430 Matrix Routines, 788, 791, 1210, 1280 Maxima, 792, 899 McDypar, 555 McGill University, 675 Mean, 796 Mean Field Theory, 470 Measures, 813 Mechanisms, 3 Median, 796 Medical Reasoning, 630, 631 Medley, 756 MegaLog, 1099 Mel Cepstrum Coding, 689 Melbourne University, 993 Membership Functions, 190 Memoization, 742 Memoize, 742 Merge Sort, 1280 Meroon, 1332 Meroonet, 1332 Messy GA, 257 Meta Class System, 927 Meta Reasoning, 603, 632, 633 Meta-Circular Interpreter: Prolog, 978, 979, 1010, 1015, 1095, 1096, 1097 Meta-Programming, 1080, 1083 MetaGame Workbench, 211 Metaobject Protocol, 842, 844, 920, 927 Metamorph, 105 Metering, 827 Michalski's AQ, 352 Micro ELI, 1189 Micro SAM, 1189 Micro-Worlds, 703, 704, 705, 706, 707, 708, 709, 710, 711 Mindy, 957 Miscellaneous AI, 375, 379, 380 Missionaries and Cannibals Problem, 112, 125, 1036, 1137 Mitchell, 351, 358, 363 Mobile Robots, 704, 706 MockMma, 793 Modal Logic, 323, 608 Model-Based Reasoning, 105 Modular Lattices, 599 Modular Programming, 1089 Modules, 1036, 1215 Molecular Structure, 625 Monkey and Bananas, 584, 1137 Montague Parser, 564 Morgan Kaufmann, 719, 978 Morphological Analyzer, 332, 514 Morphological Rule Compiler, 534 Morphology, 305, 474, 492, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541 Motif, 878, 883, 889, 1288, 1322 Motorola, 174 Mu-law, 689, 690 Mult-Garnet, 96 MultAgent, 362 Multi-Agent Tutoring, 633 Multi-Valued Logics, 199 MultiBinProlog, 1095, 1096, 1097 Multilingual Programming, 1089 Multiple Knapsack Problems, 276 Multiple Threads, 1103 Multiple Worlds, 333 Munich University, 899 Music, 381 Music: Composition, 383 Music: Notation, 384 Music: Synthesis, 382 Mycin, 1036 N-Input Parity, 387 N-Puzzle, 54 N-Queens, 979, 1036, 1063, 1073, 1090, 1095, 1096, 1097 NACLP, 1044 NAS, 688 NASA, 432, 580 NASANETS, 432 NATHAN, 629 NBS, 992 NCL, 1088 NCR, 882 NEFCON, 196 NEITHER, 372 NESSUS, 454 NETPIC, 473 NETtalk, 387, 454 NETtalk Data, 337 NL Software Registry, 509 NLG, 305, 332, 474, 545, 550, 560, 803 NLG: Bibliographies, 546, 547, 548, 549 Natural Language Generation, 305, 332, 474, 545, 550, 560, 803 Natural Language Generation: Bibliographies, 546, 547, 548, 549 NLP, 107, 112, 208, 305, 462, 463, 464, 465, 466, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 719, 1088, 1092, 1110 NLP: Bibliographies, 502, 503, 504, 505, 506 NLP: Documentation, 501 NLP: FAQ, 511 NLP: Notes, 507 NLP: Software Registries, 508, 509, 510 Natural Language Processing, 107, 112, 208, 305, 462, 463, 464, 465, 466, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 719, 1088, 1092, 1110 Natural Language Processing: Bibliographies, 502, 503, 504, 505, 506 Natural Language Processing: Documentation, 501 Natural Language Processing: FAQ, 511 Natural Language Processing: Notes, 507 Natural Language Processing: Software Registries, 508, 509, 510 NLSR, 509 NLU, 84, 474, 476, 477, 478, 553, 554, 555, 980, 1189 Natural Language Understanding, 84, 474, 476, 477, 478, 553, 554, 555, 980, 1189 NMSU, 1073 NN, 441 NNDT, 442 NNETDRAW, 443 NNS, 444 NNUTL, 445 NONLIN, 580, 581 NOP, 689 NQTHM, 612 NRC, 132 NREGEX, 781 Name Corpus, 494 Name Spaces, 1215 Names, 527 Natural Deduction, 332, 608, 609 Natural Language Interfaces, 474, 551, 552 NeXT, 1295 Nearest Neighbor Methods, 55 NeoCognitron, 433 NeoMycin, 588 Nerve Membranes, 471 Nerves, 434 NetAudio, 688 NetGlue, 1197 Network Computing Devices Inc., 688 Network Path Finding, 1003 Network-Transparent Audio, 688, 695 NeuDL, 436 Neural Circuitry, 438 Neural Networks, 105, 107, 112, 179, 189, 196, 237, 242, 283, 385, 389, 390, 398, 399, 400, 403, 408, 416, 417, 418, 419, 421, 422, 423, 426, 427, 428, 429, 430, 434, 435, 436, 439, 440, 442, 443, 446, 448, 449, 455, 458, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 471, 689, 694, 1095, 1096, 1097 Neural Networks: Benchmarks, 386, 387, 388 Neural Networks: Bibliographies, 224, 392 Neural Networks: Classification, 455, 456, 459 Neural Networks: Description Languages, 454 Neural Networks: Diagrams, 473 Neural Networks: Documentation, 391 Neural Networks: FAQ, 396 Neural Networks: Mail Archives, 397 Neural Networks: Notes, 393 Neural Networks: Simulators, 16, 24, 395, 402, 404, 405, 406, 407, 409, 410, 411, 412, 413, 414, 415, 420, 424, 425, 431, 432, 433, 437, 441, 444, 445, 447, 450, 451, 452, 453, 454, 457, 470 Neural Networks: Teaching Materials, 394, 395 Neural Networks: Tutorials, 445 Neural Networks: Utilities, 472 Neural Networks: Visualization, 401, 455 Neural Systems, 385, 390, 400, 438 Neural Systems: Benchmarks, 24 Neural Systems: Bibliographies, 392 Neural Systems: Documentation, 391 Neural Systems: Notes, 393 Neural Systems: Simulators, 16, 24 Neuron Digest, 399 NeuronC, 438 NevProp, 439 News Reader, 754 Newton's Method, 440 Nickel-Titanium, 660 Nisp, 704 Nitinol, 660 Node Perturbation, 431 Non-Linear Planning, 581 Nondeterminism, 746 Nonlinear Constraints, 260 Nonlinear Optimization, 49 Nonlinear Planning, 576, 586 Nonmonotonic Logic, 1123 Nonmonotonic Reasoning, 112, 611, 629, 649 Northeastern University, 1224, 1279 Norwegian Dictionary, 486, 489 Nugs, 41 Numeric Facilities, 992 Numerical Integration, 788, 796 Numerical Optimization, 258, 259, 260, 261 Nuprl, 613 NyWAM, 311 OBVIUS, 714 OCR, 408 OGI Speech Tools, 689 OL(P), 1128 ONS, 814 ONTIC, 325 OODL, 944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961 OOLOG, 1045 OOP, 105, 719, 720, 736, 750, 1045, 1139 Object-Oriented Programming, 105, 719, 720, 736, 750, 1045, 1139 OOP: CLIPS, 121, 132, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146 OOP: Common Lisp, 965 OOP: Dylan, 944, 945, 946, 947, 948, 949, 950, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961 OOP: EuLisp, 964, 965 OOP: FAQ, 378 OOP: Frames, 314, 316 OOP: Lisp, 915, 918, 919, 921, 922, 923, 924, 925, 926, 927, 964 OOP: Logic Programming, 1128 OOP: Prolog, 980, 1078, 1086, 1103, 1104, 1127, 1128, 1129 OOP: Scheme, 964, 965, 1284, 1287, 1296, 1301, 1329, 1331, 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339 Object-Oriented Programming: CLIPS, 121, 132, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146 Object-Oriented Programming: Common Lisp, 965 Object-Oriented Programming: Dylan, 944, 945, 946, 947, 948, 949, 950, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961 Object-Oriented Programming: EuLisp, 964, 965 Object-Oriented Programming: FAQ, 378 Object-Oriented Programming: Frames, 314, 316 Object-Oriented Programming: Lisp, 915, 918, 919, 921, 922, 923, 924, 925, 926, 927, 964 Object-Oriented Programming: Logic Programming, 1128 Object-Oriented Programming: Prolog, 980, 1078, 1086, 1103, 1104, 1127, 1128, 1129 Object-Oriented Programming: Scheme, 964, 965, 1284, 1287, 1296, 1301, 1329, 1331, 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339 OP, 1109 OPAL, 883 OPS5, 51 OPS5: Benchmarks, 116 OPS5: Common Lisp, 155, 156 OPS5: Pascal, 156 OPTEST, 1030 OTA, 491, 495 OTTER, 599, 600, 605, 614 Oaklisp, 1301 Objects, 736 Occam, 366 One Name Space, 814 Open Prolog, 1109 OpenLook, 1322 Operator Tests, 1030 Optimizing Compilers, 1152 Optional Arguments, 1165 Organic Chemistry, 625 Othello, 337, 719 Output, 758, 759, 760, 761, 762, 763, 765, 766, 767, 1190, 1191, 1193, 1194, 1195, 1196, 1197 Oxford, 981, 991, 995, 1009, 1020, 1025, 1029 Oxford Text Archive, 491 PAIL, 112 PAM, 1085 PARAGENESIS, 262 PARCIL, 815 PARSE-TIME, 801 PATMAT, 1205 PATR-II, 1018 PATTERN-CASE, 1206 PC Lisp, 971 PC Scheme, 1302, 1303, 1304, 1305 PC-Kimmo, 539 PC-NQTHM, 612 PCA, 392 PCALL, 1184 PCL, 923, 925 PCL: CLISP, 899 PCLIFE, 31 PCM, 690 PCN, 1089 PCROBOTS, 659 PCS/Geneva, 1302, 1304 PEBLS, 367 PEPM, 1044 PERT Scheduling, 1075 PEVAL, 1157 PFG, 42 PFL, 105 PGA, 264 PI, 1056 PIM, 307 PIMOS, 303 PL2SQL, 1007 PLILP, 1044 PLISP, 810 PLP, 693 PLP Analysis, 689 PLSIP, 762 PLScheme, 1158 PM, 1111 PNLA, 566 PNODE, 802 PNP, 1086 POEM, 1129 PP, 1196 PPID, 980 PPSS, 306 PPiCL, 1112 PROLIB, 1003 PROM, 1037 PROSIT, 1082 PROTEST, 157 PROTOS, 622 PSD, 1147, 1314 PSGRAPH, 828 PSOUP, 44 PTN, 1038 PTTP, 600 Packages, 719 Palatino Phonetic Font, 512 ParaTSP, 263 Parallel Lisp, 912, 913 Parallel Logic Programming, 298, 1080 Parallel Parsing, 305 Parallel Processing, 1089 Parallel Prolog, 1103 Parallelism, 964 Parameter Identification, 179 Parameter Optimization, 256, 267 Parlog, 1103 Parmenides, 318 Parry, 82 Parse Tree Notation, 1038 Parse Trees, 802, 1019 Parser Generator, 561, 803, 1223, 1224 Parsers, 514 Parsing, 305, 332, 474, 477, 478, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 798, 799, 800, 803, 983, 1010, 1017, 1018, 1019, 1020, 1021, 1022, 1025, 1064, 1065, 1066, 1067, 1068, 1069, 1088, 1092, 1095, 1096, 1097, 1110, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223 Part of Speech Taggers, 570, 571, 572 Partial Continuations, 1184 Partial Evaluation, 829, 1150, 1153, 1157, 1323 Partial Evaluation: Goedel, 1080 Partial Order Planning, 576, 592 Partitions, 786, 840 Pascal Interpreter in Prolog, 1025 Pascal: Code, 32, 78, 156, 248, 252, 272, 410, 421, 426, 435, 437, 460, 493, 635, 659, 985 Pass2, 1156 Patents, 393, 672 Path Consistency, 94 Path Planning, 584 Pathnames, 1194 Pattern Matching, 810, 1141, 1203 Pattern Matching Compiler, 1204, 1287 Pattern-Directed Inference, 648 Pearl, 635, 909, 966, 967, 968, 970 Pelletier's Problem Set, 599 Perceptrons, 55, 370, 374, 395, 422, 441, 446 Perceptual Linear Prediction, 693 Periodogram, 796 Permutations, 840, 1083 Persistent Object Store, 750 Persistent Objects, 745, 1105 PhD Thesis, 3, 5 Phoneme Concatenation, 701 Phonetic Fonts, 512 Phonology, 532, 541 Phrase Structure Grammer, 1066 Picasso, 888 Pictures, 879 Pitch Tracker, 692 Pixie Scheme, 1306 PlaNet, 447 Plagiarism, 113 Plan Recognition, 330 Planning, 112, 326, 327, 328, 329, 330, 331, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 629, 648, 703, 704, 705, 706, 707, 708, 709, 710, 711, 746, 980, 1036 Plants, 40, 42 Pleuk, 565 Plotting, 869 Point Algebra, 645 Pointizable Interval, 645 Poll of Prolog Use, 1050 Pollack, 403 PolyClip, 1195 PolyType, 1187 Polygon Clipping Algorithm, 1195 Polynomials, 796 Polyworld, 43 Pools, 1172 Pop-11: Code, 705 PopBeast, 705 Population Dynamics, 46 Portability Testing, 1030 Portable AI Lab, 112 Portable Prolog, 1112 Porting Lisp, 816, 817, 818 PostScript, 883 PostScript Fonts, 512 PostScript Graphs, 828 PostScript in Common Lisp, 762 PowerLisp, 910 Pragmatics, 305 Pratt Parser, 1220 Predators, 19 Predicate Logic, 332 Pretty Printing, 767, 1010, 1036, 1196 Prime Numbers, 788, 1212 Primordial Soup, 44 Princeton, 1328 Principal Component Analysis Neural Networks, 392 Printing Data Structures, 767 Priority Queues, 748 ProTcl, 560, 1057 Probabilistic Models, 471 Probabilistic Planning, 579 Probabilistic Reasoning, 634, 635, 636, 637, 638, 639 Probability, 788 Problem Sets, 427, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279 Problem Sets: Neural Networks, 394, 395 Problem Solvers, 306 Prodigy, 582, 583, 584, 585 Profiler, 827, 981, 1036 Program Analysis, 1080 Program Evolution, 46 Program Transformation, 1080 Program Verification, 599 Programming Consultant, 1033 Programming Languages, 715 Programming Languages: *Lisp, 912, 913 Programming Languages: CLP, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069 Programming Languages: Constraints, 1145 Programming Languages: Dylan, 944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961 Programming Languages: Emacs Lisp, 902, 903 Programming Languages: EuLisp, 962, 963, 964, 965 Programming Languages: Franz Lisp, 966, 967, 968, 969, 970, 971 Programming Languages: Functional Programming, 1070, 1071, 1072, 1073, 1074, 1075 Programming Languages: Common Lisp, 716, 893, 894, 895, 896, 897, 898, 899, 900, 901, 904, 905, 906, 907, 908, 909, 910, 911, 914, 915, 916, 972 Programming Languages: Logic, 1079, 1080, 1081, 1082, 1083 Programming Languages: Logic Programming, 1070, 1071, 1072, 1073, 1074, 1075, 1076, 1077, 1078 Programming Languages: Logical Scheme, 1155 Programming Languages: OOP, 1075 Programming Languages: Object-Oriented Programming, 1075 Programming Languages: Others, 943 Programming Languages: Parallel Prolog, 1084, 1085, 1086, 1087, 1088, 1089, 1090 Programming Languages: Prolog, 333, 905, 976, 1015, 1061, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1099, 1100, 1101, 1102, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1125, 1126 Programming Languages: Scheme, 897, 905, 1135, 1199, 1200, 1201, 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327, 1328, 1329 Programming Languages: Smalltalk, 905, 1347, 1349, 1350, 1351 Programming Languages: Standard ML, 973, 974, 975 Programming Languages: WAM, 1124 Prolog, 120, 628, 976, 1052 Prolog 1000 Database, 1051 Prolog Resource Guide, 1054 Prolog in Common Lisp, 333, 1100, 1102, 1112 Prolog in Scheme, 1116, 1117 Prolog/Mali, 1111 Prolog68, 1114 Prolog: Amiga, 1115, 1121 Prolog: Atari, 1114, 1119 Prolog: Benchmarks, 983, 1010, 1032, 1131 Prolog: Bibliographies, 86, 87, 88, 89, 90, 1041, 1042, 1043, 1044, 1045, 1046, 1047 Prolog: Code, 5, 80, 105, 148, 157, 211, 292, 320, 321, 323, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 374, 443, 479, 500, 516, 559, 560, 561, 562, 565, 566, 569, 615, 633, 649, 705, 977, 978, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1051, 1127, 1128, 1129 Prolog: Debuggers, 984, 985, 986, 1080 Prolog: Demo Packages, 987, 988, 989 Prolog: Documents, 86, 87, 88, 89, 90, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1131 Prolog: Extensions, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999 Prolog: FAQ, 1054 Prolog: Fun Programs, 1000, 1001, 1002, 1003, 1004, 1005 Prolog: IBM PC, 1068, 1095, 1096, 1097, 1110, 1119, 1123 Prolog: IO, 1006, 1007, 1008, 1009 Prolog: Implementations, 333, 719, 905, 1015, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1075, 1077, 1078, 1080, 1081, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1099, 1100, 1101, 1102, 1103, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1155 Prolog: Introductions, 1049 Prolog: MS-DOS, 1115 Prolog: Macintosh, 1067, 1105, 1108, 1109, 1120 Prolog: Math, 1011, 1012, 1013, 1014 Prolog: Parsing, 1010, 1017, 1018, 1019, 1020, 1021, 1022, 1095, 1096, 1097 Prolog: Standards, 1010, 1052 Prolog: Survey Papers, 1053 Prolog: Syntax, 1023, 1024, 1025, 1026, 1027 Prolog: Tech Reports, 1130 Prolog: Testing, 1028, 1029, 1030 Prolog: Tools, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039 Prolog: Tutorials, 1010 Prolog: UNIX, 1065, 1069, 1093, 1095, 1096, 1097, 1099, 1113, 1115, 1119, 1120, 1123 Prolog: Unification, 1016 Prolog: Utilities, 1132, 1133, 1134 PrologIIR, 1113 Pronominal Anaphora Resolution, 503 Pronunciation Database, 666 Pronunciation Dictionaries, 496 Proof, 567 Proof Assistants, 829 Proof Checker, 620 Proof Systems, 325 Propagator, 424 Property Lists, 999, 1169, 1170 Proposals, 1250 Propositional Attitudes, 5 Propositions, 332 Propria, 1099 Protein Structure, 298, 387 Prototypes, 926 Pseudo-Random Number Generator, 795 PseudoScheme, 1307 Pseudotext Generator, 518 Public Domain, 16, 23, 31, 41, 66, 416, 422, 433, 435, 445, 448, 449, 451, 489, 493, 544, 587, 589, 590, 678, 680, 759, 760, 761, 762, 772, 789, 806, 809, 827, 883, 900, 966, 967, 968, 970, 1012, 1019, 1022, 1036, 1074, 1089, 1092, 1101, 1110, 1120, 1144, 1183, 1203, 1312, 1317 Publications, 373 Puzzles, 599 Q-Learning, 395 QPE, 641 QSIM, 642 QWERTZ, 379 Qu-Prolog, 616 Qualitative Process Theory, 648 Qualitative Reasoning, 298, 640, 641, 642 Query, 763 Queues, 806, 1010, 1036, 1280 Quickprop, 237, 439, 448, 453, 454 Quicksort, 979, 983, 1083, 1090, 1199, 1280 Quine Tree Algorithm, 794 Quixote, 298, 299 R1, 584 R3RS, 1251 R3RS Compatible, 1303, 1306, 1323, 1329 Scheme: R3RS, 1303, 1306, 1323, 1329 R4RS, 1252 R4RS Compatible, 1201, 1288, 1289, 1290, 1293, 1307, 1310, 1311, 1314, 1317, 1318, 1323, 1325, 1327, 1328 Scheme: R4RS, 1201, 1288, 1289, 1290, 1293, 1307, 1310, 1311, 1314, 1317, 1318, 1323, 1325, 1327, 1328 R4RS Macro Proposal, 1237, 1240 R5RS, 1249, 1250 RA, 651 RAAM, 403 RACTER, 83 RBF, 454 RCC, 449 RCS, 450 RCSTAT, 639 RDG, 305 READ-LINE, 1199 READ-NUMBER, 1180 READ-STRING, 1177 RECNET, 694 RELFUN, 311 RETE, 105, 151, 154, 155, 156 RHET, 326, 327, 328, 329, 330, 331 RICE, 199 RNS, 451 ROLOG, 1090 ROOK, 525 RPL, 704 RPLAY, 695 RPRS, 330 RProp, 454 RRL, 617 RSIM, 708 RSYNTH, 696 RT, 821 RTA, 1044 RTA-Star Search, 54 RTN, 477 Recursive Transition Network, 477 RWM, 368 Rabbit Scheme, 1308 Radial Basis Functions, 454, 456 Rallpacks, 24 Ramsey Problem, 1063 Random Number Generators, 182, 405, 788, 795, 981, 1010, 1036, 1213, 1280 Rapid Prototyping, 850 Rasta, 693 Rasta PLP Analysis, 689 Rational Arithmetic, 1036 Rational Trees Unification, 1113 Reactive Planning, 704 Real-Time Expert Systems, 105 Reasoning, 593, 651 Reasoning Under Uncertainty, 627 Reasoning: Analogical Reasoning, 594, 595 Reasoning: Approximate Reasoning, 627 Reasoning: Automated Reasoning, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 829 Reasoning: Case-Based Reasoning, 298, 621, 622, 623 Reasoning: Chemical Reasoning, 112, 624, 625 Reasoning: Default Reasoning, 323, 611 Reasoning: Defeasible Reasoning, 626, 627, 628, 629, 639, 980 Reasoning: Legal Reasoning, 298 Reasoning: Medical Reasoning, 630, 631 Reasoning: Meta Reasoning, 603, 632, 633 Reasoning: Model-Based Reasoning, 105 Reasoning: Nonmonotonic Reasoning, 112, 611, 629, 649 Reasoning: Probabilistic Reasoning, 634, 635, 636, 637, 638, 639 Reasoning: Qualitative Reasoning, 298, 640, 641, 642 Reasoning: Statistical Reasoning, 639 Reasoning: Temporal Reasoning, 643, 644, 645, 646 Reasoning: Truth Maintenance, 647, 648, 649, 650 Reasoning: TMS, 647, 648, 649, 650 Recognizing Polynomials, 979 Records, 1181, 1182, 1183 Recurrent ART-1, 454 Recurrent Backpropagation, 470 Recurrent Cascade Correlation, 449, 454 Recurrent Neural Networks, 423, 425, 431, 442, 445, 451, 694 Recursive-Descent Planning, 578 Red-Black Trees, 748 RefLisp, 911 Reference Class, 639 Reflective Programming, 307 Reflective Towers, 1151 Refutation, 610 RegEx, 568 RegExp, 782 Register-Swapping Problem, 580 Regression Testing, 821 Regular Expressions, 327, 568, 781, 782, 1287 Relational Database, 299 Relevance Diagrams, 636 Relevance Logic, 599 Rescorla-Wagner Learning Procedure, 453 Resolution, 360, 614 Resolution Theorem Proving, 55, 324, 603, 605, 609 ATP, 55, 324, 603, 605, 609 Resources, 327, 744, 1172 Restarts, 840 Retract, 746 Retrieval, 149 Rice University, 1188, 1313 Ring Theory, 599 RnRS, 1248, 1249, 1250, 1251, 1252 Robot Arm Simulator, 708 Robot Control, 658 Robotics, 299, 652, 653, 657, 658, 659, 660, 703, 704, 705, 706, 707, 708, 709, 710, 711 Robotics: Bibliographies, 654 Robotics: Documentation, 655 Robotics: FAQ, 656 Robust Parsing, 505 Rochester Connectionist Simulator, 450 Roget's Thesaurus, 497 Root Finding, 788, 796 Roots of a Polynomial, 380 Route Planner, 988 Rubik's Cube, 1004 Rule-Based Inference, 112 Rule-Based Systems, 720 Rules, 316 S88, 1309 SAC94, 276 SAGE, 1080 SAM, 554 SAN Kit, 207 SAP, 1139 SAPA, 796 SAVE-OBJECT, 745 SAX, 569 SB-HiLog, 1115 SB-Prolog, 1115, 1123 SBL, 366 SC, 832 SC-22, 845 SCIAM, 452 SCIX, 1284 SCLINT, 1148 SCM, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322 SCM CONFIG, 1315 SCOOPS, 1336 SCOOPS: MIT Scheme, 1296 SCREAMER, 746 SCS, 265, 266 SCS-C, 266 SDE, 590 SEL2, 1083 SEQUEL, 829 SERIES, 719, 768, 777 SES, 267 SETHEO, 600, 618 SGA, 268 SGA-C, 269 SGA-CUBE, 270 SGA-F, 271 SGA-P, 272 SGI, 708 SGML, 939 SGPC, 296 SHOEBOX, 526 SHORTEN, 697 SHRDLU, 84 SICP, 1140, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277 SICP Compatibility Package, 1297 SICS, 606, 1085, 1118 SIL, 521 SIM, 113 SIMMEL, 709 SIOD, 1324, 1325 SKI, 1199 SLANG, 61 SLATEX, 1345 SLE, 565 SLG, 649 SLIB, 1201, 1314 SLOOP Macro, 771, 774 SLP, 1044 SLUG, 437 SME, 306, 595 SMG, 1319 SMG-SCM, 1314, 1319 SML, 829, 975 SNACTor, 332 SNIP, 332 SNLP, 576, 579, 586, 746 SNNS, 454 SNOBOL, 519 SNeBR, 332 SNePS, 332 SNePSLOG, 332 SNeRE, 332 SOAR, 55 SOM, 455 SOS, 1337 SOUNDEX, 105 SOX, 698 SPA, 591 SPASM, 699 SPC Toolbox, 700 SPEAK, 701 SPRFN, 600 SPS, 1224 SQL, 899, 1007, 1077, 1324 SQL Interface for Prolog, 1007 SQL Interface for Scheme, 1324 SSICS, 1141 STATIC, 583 STIX, 1350 STRIPS, 579, 580, 978 STRIPS World, 584 STk, 1325 SUN RPC, 764 SUNY at Stony Brook, 649 SUNY/Buffalo, 1073, 1083 SUNY/Stony Brook, 1115, 1123 SURGE, 550 SUZY, 456 SWI, 1119 SWI-Prolog, 1119 SWIM Model, 16 SWM, 332 SWOB, 1339 SYNANA, 305 SYNONAME, 527 Satisfiability, 794, 1214 Satisfiability Problems, 322 Scanners, 1222 Scheduling, 90 Schelog, 1116 Schematik, 1295 Scheme, 1135, 1233, 1245, 1246, 1247, 1248, 1253 Scheme 8088, 1309 Scheme Front-End, 1295 Scheme Prolog, 1116, 1117 Scheme Schools, 1244 Scheme Work Demo, 1189 Scheme as a C Library, 1293 Scheme as a C extension language, 1288 Scheme in C, 1310, 1311, 1314, 1318, 1324, 1327, 1328, 1329 Scheme in Common Lisp, 1307, 1313 Scheme in Franz Lisp, 1312 Scheme in InterLisp, 1308 Scheme to ANSI C, 1287 Scheme2C, 1310 Scheme2C: GUI, 1283 Scheme2C: Graphical User Interfaces, 1283 Scheme48, 1311 Scheme84, 1312 Scheme88, 1313 Scheme: Algorithms, 1280 Scheme: Amiga, 1314, 1318, 1324, 1327, 1329 Scheme: Atari-ST, 1314, 1318, 1329 Scheme: Benchmarks, 1143, 1144 Scheme: Bibliographies, 1232 Scheme: Code, 448, 555, 658, 1116, 1117, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1201, 1202, 1203, 1204, 1205, 1206, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1280, 1331, 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339 Scheme: Code Libraries, 1198, 1199, 1200, 1201 Scheme: Common Lisp Compatibility, 1200, 1303 Scheme: Debuggers, 1146, 1147, 1148, 1149 Scheme: Documents, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1280, 1340 Scheme: Extensions, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188 Scheme: FAQ, 1281 Scheme: Fun Programs, 1189 Scheme: IBM PC, 1293, 1294, 1298, 1299, 1300, 1302, 1304, 1305, 1309, 1310, 1314, 1318, 1329 Scheme: IO, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197 Scheme: Implementations, 719, 897, 905, 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294, 1295, 1298, 1299, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327, 1328, 1329 Scheme: Introductions, 1233 Scheme: Linux, 1325 Scheme: Logic, 1155 Scheme: Macintosh, 1290, 1291, 1306, 1314, 1317, 1318, 1324, 1329 Scheme: Macros, 1234, 1235, 1236, 1237, 1241, 1242, 1243, 1303 Scheme: Mailing List, 1330 Scheme: Matchers, 1202, 1203, 1204, 1205, 1206 Scheme: Math, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214 Scheme: Papers, 1340 Scheme: Parsing, 1216, 1217, 1218, 1219, 1220, 1221, 1223 Scheme: Quick Reference Guide, 1233, 1244 Scheme: Semantics, 1159 Scheme: Sockets, 1197 Scheme: Standards, 1238, 1239, 1240, 1245, 1246, 1247, 1249, 1250, 1251, 1252, 1253 Scheme: Syntax, 1225, 1226, 1227 Scheme: Tech Reports, 1340 Scheme: Test Suite, 1253 Scheme: Tools, 1228, 1229, 1230 Scheme: Trees, 1185 Scheme: Tutorials, 1233 Scheme: UNIX, 1287, 1288, 1289, 1290, 1293, 1294, 1298, 1299, 1300, 1310, 1314, 1318, 1324, 1325, 1326, 1327, 1328 Scheme: Utilities, 1341, 1342, 1343, 1344, 1345, 1346 SchemeTeX, 1344 SchemeWEB, 1346 SciGraph, 787, 869 Screen Management, 1319 Search, 54, 55, 207, 212, 379, 604, 661, 662, 804, 805, 806, 1137 Search Control, 603 Search Engine, 648 Second Order Models, 636 Select Match, 780 Selection Sort, 1280 Self-Extracting Archives, 1362 Self-Organizing, 455 Self-Organizing Molecules, 14 Semant, 1159 Semantic Networks, 332 Semantic Prototyping System, 1224 Sensors, 658 Sepia, 1099 Sequences, 719, 777 Sequent, 325 Set Manipulation, 1010, 1036 Set Partitions, 840 Set Pattern Matching, 1083 Set Theory, 599 Sets, 992, 1083 Sets as Intervals, 995 Sets of Integers, 1173 Shared Library Lisp, 914 Shareware, 83, 193, 284, 380, 415, 469 Shogi, 211 Shortest Paths, 1280 Sicstus, 989 Signal Generation, 700 Signal Processing and Analysis, 700 Sigurd, 487 SimTime, 590 Simderella, 709 Similix, 1323 Simple Interval Algebra, 645 Simplex Algorithm, 797 Simplification, 1012 Simplifiers, 608 Simulated Annealing, 48, 49, 263, 431 Simulation: Animal Behavior, 3 Simulators, 703, 704, 705, 706, 707, 708, 709, 710, 711 Singing Synthesizer, 699 Skew Heaps, 1280 Skilaki, 1103 SkyBlue, 97, 98 Smalltalk, 1347 Smalltalk: Code, 288, 291 Smalltalk: FAQ, 1348 Smalltalk: Implementations, 905, 1349, 1350, 1351 Soar, 587, 588, 589, 590 Sockets, 580, 709, 758, 765, 878, 880, 1197 Soft Competitive Learning, 470 Soft Scheme, 1188 Software Maintenance, 821 Software Modification, 821 Software Packages, 1, 2, 6, 48, 50, 56, 68, 83, 85, 91, 92, 99, 100, 104, 111, 114, 159, 203, 213, 214, 278, 297, 308, 334, 375, 381, 385, 474, 574, 593, 652, 661, 663, 703, 712 Software Similarity Tester, 113 Solid Geometric Modeling, 578 Solovay-Strassen Primality Testing, 788 Sonar Signals, 387 Sorted Logic, 324 Sorting, 979, 980, 1003, 1010, 1171 Sound Exchange, 698 Sound Tools, 698 Soundex, 751 Source Compare, 832 Source Comparison, 830, 831, 832 SourceGroup, 975 Southern Methodist University, 649 Space Usage Measurement, 827 Spanish Lexicon, 488 Specification, 325 Specificity, 629 Spectral Analysis, 796 Spectral Estimation, 700 Spectrograms, 689 Speech Coding, 676, 680, 681, 685, 687, 697 Speech Compression, 676, 680, 681, 685, 697 Speech Processing, 689, 690 Speech Recognition, 387, 425, 663, 664, 674, 675, 677, 679, 682, 686, 689, 691, 692, 693, 694, 700 Speech Recognition: Bibliography, 671 Speech Recognition: Databases, 665, 666, 667, 668, 669 Speech Recognition: Documentation, 670, 672 Speech Synthesis, 663, 664, 674, 675, 677, 678, 683, 684, 688, 691, 696, 699, 701, 702 Speech Synthesis: Bibliography, 671 Speech Synthesis: Databases, 665, 666, 667, 668, 669 Speech Synthesis: Documentation, 670, 672 Speech: FAQ, 673 Splay Trees, 1010 Split, 1039 Splotch, 81 Spreadsheets, 883, 1141 Square Roots, 790 Stacks, 1280 Standard ML, 379, 973, 974, 975 Standard ML of New Jersey, 975 Standards: ANSI Common Lisp, 842 Standards: ANSI Scheme, 1247 Standards: CLOS, 843 Standards: Common Lisp Object System, 843 Standards: IEEE P1178 Scheme, 1247 Standards: ISO Lisp, 845 Standards: Common Lisp, 841, 846 Standards: MOP, 844, 920 Standards: Prolog, 1010, 1052 Standards: R3RS Scheme, 1251 Standards: R4RS Scheme, 1238, 1239, 1240, 1252 Standards: RnRS Scheme, 1248, 1249, 1250 Standards: Scheme, 1245, 1246, 1253 Stanford, 212, 764, 794 StarLisp, 912, 913 StarSim, 912, 913 Static Analysis, 835, 1034 Static Typing, 1188 Statistical Evaluation, 182 Statistical Reasoning, 639 Statistics, 374, 639, 787, 796, 916 StdWin, 1351 Step, 833 Stereotypes, 323 Stiquito, 660 Stochastic Equations, 471 Stochastic Systems, 49 Stock Price Forecasting, 392 Strategy Management, 307 Streams, 55, 777 String Concatenation, 1176 String Searching, 1280 Strings, 1174, 1175, 1176, 1177, 1178, 1179, 1180, 1199 Structure-Mapping Engine, 306, 595 Structures, 992, 999, 1181, 1182, 1183, 1203 Stuffit, 1362 Stuttgart Neural Network Simulator, 454 Subgoaling, 603 Subset Clauses, 1083 Substitution Matching, 351 Substitutions, 609 Substring Matching, 1179 Subsumption, 361 Subsumption Hierarchy, 311 Summarization, 305 Sun Microsystems, 680 SunNet, 447 Sunrise, 751 Sunset, 751 Suspensions, 1184 Sussman's Anomaly, 112 Swedish Dictionary, 486, 489 Sybase, 134, 899 Sybase Interface for Chez Scheme, 1192 Syllabi, 9 SymbMath, 380 Symbolic, 1119 Symbolic AI, 379 Symbolic Computation, 1044 Symbolic Differentiation, 983, 988, 1003, 1012 Symbolic Mathematics, 380, 1209 Symbolic Processing, 307 Symbolic/Connectionist Hybrid, 1088 Symbolics, 1106 Symbolics LOOP Macro, 771, 775 Syntactic Abstraction, 1237, 1240 Syntactic Analysis Trees, 522 Syntactic Closures, 1242 Syntax, 305, 807, 1023, 1024, 1025, 1026, 1027 Syntax-Case, 1241 Systematic Plan Adaptor, 591 Systemic Grammar, 506, 550 T, 1326 T-Test, 374 TACS, 1044 TAPSOFT, 1044 TAXON, 311 TBox, 320 TCON, 648 TCP/IP Interface, 1103, 1197 TCS, 457 TDNN, 454 TELOS, 927 TEMPOS, 331 TEST, 1314 TG-II, 645 TGIZMO, 648 THM, 619 THNET, 458 TI, 879 TI Explorer, 754 TIL2MSG, 200 TILEWORLD, 710 TILShell, 164 TILShell+ Demo, 183 TIMELOGIC, 331 TIMIT, 496, 694 TMS, 648 TMYCIN, 631 TOCL, 576 TOPI, 576 TOPMAP, 460 TPTP, 600 TRUCKWORLD, 711 TSP, 263, 426 TSPLIB, 277 TUG, 565 TULIP, 541 TURTLSCM, 1314, 1320 Taggers, 570, 571, 572 Tags, 940, 1134 Tale-Spin, 366, 554 Tampere Univ. of Technology, 1280 Target Tracking, 201 Task Allocation, 580 Taskian Geometry, 599 Taurus, 1221 Taxonomic Knowledge, 311 Tcl, 887 Tcl/Tk, 1098 Tcl/Tk X11 Interface, 1057, 1095, 1096, 1097, 1099 TeX, 941, 1133, 1343, 1345 TeX Info, 1366 Teaching Materials, 9, 54, 55, 111, 112, 369, 370, 371, 372, 374, 427, 443, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1280 Teaching Materials: Neural Networks, 394, 395 Technical Univ. of Berlin, 1002 Technical Univ. of Darmstadt, 1037 Telos, 324 Telosis, 964, 965 Temporal Constraints, 331 Temporal Flow Model, 425 Temporal Logic, 324 Temporal Reasoning, 324, 643, 644, 645, 646 Temporal Relations, 645 Term Ordering, 614 Term Rewriting, 321, 607, 1199 Term Unification, 54, 533 Term-Based Unification Grammar, 565 Terminological Knowledge Representation, 311 Test Coverage, 820 Test Problems, 598, 599, 600 Testbeds, 703, 704, 705, 706, 707, 708, 709, 710, 711 Testing, 819, 820, 821, 1028, 1029, 1030 Tetris, 751, 757, 1095, 1096, 1097 Texas Instruments, 1302, 1305 Text Editors, 1356 Text Normalization, 702 Text Retrieval, 523 Text Structure, 305 Theorem Proving, 55, 306, 324, 370, 596, 597, 601, 602, 603, 604, 605, 606, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 829, 983 ATP, 55, 306, 324, 370, 596, 597, 601, 602, 603, 604, 605, 606, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 829, 983 Theorem Proving: Problem Libraries, 598, 599, 600 ATP: Problem Libraries, 598, 599, 600 Theoretical Computer Science, 1042, 1044 Theory Refinement, 372 Thesaurus, 497 ThingLab, 98 Thinking Machines, 800, 809, 826, 912, 913 Thomas, 958, 959, 960 Threads, 1184 Tic-Tac-Toe, 54, 137, 211, 337, 805, 1005, 1036, 1137, 1141 Noughts and Crosses, 54, 137, 211, 337, 805, 1005, 1036, 1137, 1141 Tierra, 45 Time, 55, 331 Time Delay Neural Networks, 425, 454 Time Expression Parsing, 801 Time Measurement, 827 Time Series Bandwidth, 796 TimeGraph-II, 645 TinyCLOS, 1337, 1338 Tk, 887 Tk Graphics Package, 1325 Togai, 164 Togai InfraLogic, 183, 198, 201 Tokenizer, 1036 Tolkien, 273 Tom, 573 Tomita Parser, 573 ToolDiag, 459 Toolbox graphics, 1290 Tools, 111, 112, 113, 822, 833, 1031, 1038 Top-Level Loop, 766, 1010, 1036 Topology, 599 Topology-Preserving Maps, 460 Total Order Causal Link Planner, 576 Total Order Prior Insertion Planner, 576 Towers of Hanoi, 112, 315, 580, 584, 979, 1003, 1090, 1092, 1110 Trace, 718, 979, 1010, 1036 Transducer Generator, 1224 Transformational Grammar, 519 Transition Trees, 720 Transitive Closures, 1083 Translisp, 817 Traveling Salesman Problem, 263, 426 Traveling Salesman Problem Library, 277 Tree Display, 1218 Tree Unification Grammar, 565 Trees, 748, 1185 Tricia Prolog, 1120 Trinity College, 1109 TrueType Fonts, 512 Truth Maintenance, 112, 121, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 154, 332, 379, 611, 647, 648, 649 TMS, 112, 121, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 154, 332, 379, 611, 647, 648, 649 TMS: Tutorial, 650 Truth Maintenance: Tutorial, 650 TurkLex, 540 Turkish Morphology, 540 Turtle Graphics, 1008, 1075, 1106, 1320 Tutor, 981 Tutoring, 362 Tweak, 576 Twin Spiral Patterns, 387 Type Checking, 604, 829, 1010, 1036, 1186, 1188, 1224 Type Inference, 1187 Type Simplification, 749 Type Theory, 609 Type-Secure Lisp, 829 UCG, 565 UCI, 337 UCLA, 1060 UCPOP, 592 UCSD, 244 UIUC, 935, 1090 UMB Scheme, 1327 UNIF, 1044 UNISYS, 769 UNSW Prolog, 1121 UR-Resolution, 614 URANUS, 333 USC, 1093 Uncertainty, 132, 154, 639, 978 Unification, 105, 112, 305, 533, 550, 557, 565, 607, 609, 719, 783, 784, 979, 1016, 1038, 1044, 1082 Unification Categorial Grammar, 565 Unit Resolution, 1036 Univ. of Alabama, 257 Univ. of Amsterdam, 1119 Univ. of Bremen, 1072 Univ. of Calgary, 1014, 1117 Univ. of Cambridge, 608 Univ. of Copenhagen, 1151, 1323 Univ. of Dortmund, 266, 321 Univ. of Geneva, 1302, 1304 Univ. of Genova, 430 Univ. of Georgia, 985 Univ. of Ghent, 1022 Univ. of Hamburg, 813 Univ. of Illinois, 605 Univ. of Keele, 1024 Univ. of Leeds, 829 Univ. of Manchester, 1199 Univ. of Maryland, 581 Univ. of Massachusetts, 787, 1327 Univ. of Melbourne, 1086 Univ. of Michigan, 707 Univ. of Minnesota, 916 Univ. of Montreal, 999 Univ. of Munich, 608 Univ. of Nice, 1325 Univ. of Pennsylvania, 425 Univ. of Rochester, 739, 744 Univ. of Southampton, 1173 Univ. of Stuttgart, 735, 736 Univ. of Texas, 461, 462, 463, 464, 465, 466, 467, 468, 792 Univ. of Toledo, 237 Univ. of Toronto, 425, 452, 470 Univ. of Tulsa, 255 Univ. of Utah, 197, 1102 Univ. of Waikato, 1117 Univ. of Waterloo, 577 Univ. of Wisconsin, 1077 Univ. of York, 1008 Universal Quantification, 592 Unpack, 1180 Uppsala University, 1120 User Manual Creation, 834 Utilities, 1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359, 1360, 1361, 1362, 1363, 1364, 1365, 1366, 1367, 1368, 1369 VAMV, 46 VAX Configuration, 584 VCR, 579 VSCM, 1328 VT100, 1009 VT52, 1009 Variance, 796 Vector Quantization, 455, 676, 689 Vectors, 777 Verbalist, 528 Verification, 325, 616 Version Spaces, 54, 55, 351, 363, 370, 978 ViewFinder, 5 ViewGen, 5 Virtual Life, 45 Virtual Machine: Scheme, 1158 Vision, 438, 712, 713, 714 Visualization, 112, 298, 307, 401, 455, 470, 679, 718 Viterbi-Based Pitch Tracker, 677 Voronoi, 299 Vowel Formant Frequency Database, 669 Vowels, 387, 668 WAM, 311, 829, 1071, 1114, 1115, 1122, 1124, 1125, 1126 WAM Tracer, 1125 WAMCC, 1122 WB, 1314, 1321 WCL, 914 WINTERP, 889 WITHOUT-ERRORS, 738 WLIST, 529 WOOD, 750 WORDSURV, 530 Wade's Common Lisp, 914 Waltz Labeling, 112, 719 Water Jugs Problem, 979 Wautom, 66 Web, 1133 Weight Perturbation, 431 Weighting, 614 Who's Who in Fuzzy Logic, 175 Who's Who in Robotics, 655 Widgets, 883, 889, 890 Wild_LIFE, 1075 WinNN, 469 Winston's Arch, 351, 353, 354, 1036 WireWorld, 67 Wolf-Goat-Cabbage Problem, 979 Word Frequency Analysis, 529 WordNet Information, 498 X-Windows, 878, 879, 883, 885, 889, 890, 891, 892, 1056, 1058, 1059, 1060, 1284 X-Windows: Interfaces for Scheme, 1310, 1322 X11 Toolkits, 1098 XCL, 846 XERION, 470 XFUZZY, 202 XGinseng, 332 XIT, 890 XLISP, 889, 915 XLISP-Stat, 916 XODUS, 24 XOR, 387, 415, 445, 457 XP, 767 XPCE, 1058, 1059 XPNet, 620 XPP, 471 XREF, 835 XSB, 1123 XSCM, 1314, 1322 XScheme, 1149, 1329 XWIN, 891 XWIP, 1060 Xerox Code Walker, 728 Xerox Medley, 756 Xerox PARC, 572, 728, 764, 843, 844, 920, 923, 1128 Xlib, 885, 1060, 1288, 1322 Xlife, 34, 39 Xt, 879, 889, 1288 Xvisual, 455 YASOS, 1339 YLOOP Macro, 771, 776 YY, 892 YYonX, 892 Yale, 811, 1326 Yale Loop Macro, 776 Yes/No, 763 Ytoolkit, 1056 Yule-Walker Method, 796 Z, 1360 ZENO, 646 Zebu, 803, 1223 Zermelo-Fraenkel Set Theory, 608 ZetaLisp, 757, 1106 arc, 1354 arj, 1355 ark, 1354 compress, 1362 cpt, 1362 cu-Prolog, 1064, 1065, 1066, 1067, 1068, 1069 dms, 1357 eLP, 1100 eXene, 975 ex, 1134 fcontrol, 1292 fix, 1364 flip, 1358 fuzzyTECH Demo, 192 gz, 1360 gzip, 1360 hVd Database, 668 latex2pl, 1133 lex, 1025 lha, 1361 libscheme, 1293 lzh, 1361 mGA, 257 make for Common Lisp, 823, 824, 825 make for Prolog, 1037 pak, 1363 patch, 1364 pgz, 1360 pkzip, 1368 ptags, 1134 run, 1292 sea, 1362 shar, 1365 shr, 1365 sit, 1362 soar-mode, 590 tar, 1359 tgrind, 942 tgz, 1359, 1360 txz, 1360 ulaw, 680 unzip, 1368 uu, 1367 vgrind, 942 vi, 1134 xBase, 552 zip, 1368 zoo, 1369