0 | 10 | aamodt_a |  A. Aamodt | 0 | 1019 | 660 |  Case-Based Reasoning: Foundational issues, current state, and future trends, 
1 | 10 | aamodt_a |  A. Aamodt | 0 | 1020 | 660 |  Case-Based Reasoning: Foundational issues, methodological variations, and system approaches, 
2 | 10 | aamodt_a |  A. Aamodt | 0 | 674 | 470 |  Knowledge-intensive case-based reasoning and learning. 
3 | 10 | aamodt_a |  A. Aamodt | 0 | 860 | 558 |  Explanation-driven case-based reasoning, 
4 | 10 | aamodt_a |  A. Aamodt | 0 | 861 | 558 |  Explanation-driven case-based reasoning, 
5 | 10 | aamodt_a | Aamodt, A. | 0 | 1017 | 660 |  Case-Based Reasoning: Foundational issues, methodological variations, and system approaches, 
6 | 10 | aamodt_a |  Aamodt, A | 0 | 673 | 470 | Knowledge-intensive case-based reasoning and sustained learning. 
7 | 10 | aamodt_a |  Aamodt, A. | 0 | 675 | 470 | Knowledge intensive case-based reasoning and sustained learning. 
8 | 10 | aamodt_a |  Aamodt, A., | 0 | 862 | 558 |  Explanation-driven case-based reasoning, 
9 | 10 | aamodt_a |  Aamodt, A. | 1 | 1016 | 659 |  A two layer case-based reasoning architecture for medical image understanding, 
10 | 10 | aamodt_agnar |  Agnar Aamodt | 0 | 1018 | 660 |  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. 
11 | 10 | aamodt_agnar |  Agnar Aamodt | 0 | 671 | 470 |  Knowledge intensive case-based reasoning and sustained learning. 
12 | 10 | aamodt_agnar |  Agnar Aamodt | 0 | 672 | 470 |  Knowledge-Intensive Case-Based Reasoning and Sustained Learning. 

13 | 20 | abbott_a_l |  A. L. Abbott | 1 | 450 | 306 |  Active stereo: Integrating disparity, vergence, focus, aperture, and calibration for surface estimation, 

14 | 30 | abbott_m_r | Abbott, M. R. | 0 | 512 | 354 | Scales of variability of bio-optical properties as observed from near-surface drifters. 

15 | 40 | abdi_h |  H. Abdi | 1 | 461 | 310 |  Low-dimensional representation of faces in higher dimensions of the face space. 
16 | 40 | abdi_h |  H. Abdi | 1 | 462 | 311 |  "Connectionist Models of Face Processing: A Survey". 

17 | 50 | abu-hakima_s |  Abu-Hakima, S. | 0 | 745 | 498 |  Principles for the application of context in diagnostic problem solving,

18 | 60 | acheroy_m |   M. Acheroy | 3 | 818 | 522 |  "Fuzzy reasoning and neural networks for decision making problems in uncertain environments," 

19 | 70 | ackley_d | Ackley , D.  | 1 | 289 | 200 | Boltzmann machines : Constraint satisfaction networks that learns , 
20 | 70 | ackley_david_h |  David H. Ackley | 0 | 1513 | 882 |  Generalization and scaling in reinforcement learning. 
21 | 70 | ackley_david_h |   David H. Ackley | 2 | 288 | 200 | Boltzmann machines : Constraint satisfaction networks that learn . 
22 | 70 | ackley_d_h |   D. H. Ackley | 2 | 287 | 200 | Boltzmann machines : Constraint satisfaction networks that learn . 
23 | 70 | ackley_d_h |   D. H. Ackley | 2 | 290 | 200 | Boltzmann machines : Constraint satisfaction networks that learn . 

24 | 80 | adali_s |  S. Adali | 1 | 851 | 549 |  HERMES: A heterogeneous reasoning and mediator system. 

25 | 90 | aha_d_w | Aha, D. W. | 0 | 650 | 453 | Feature selection for case-based classification of cloud types: An empirical comparison, 
26 | 90 | aha_d_w | Aha, D. W. | 0 | 652 | 453 | Feature selection for case-based classification of cloud types: An empirical comparison. 
27 | 90 | aha_d_w | Aha, D. W. | 0 | 737 | 492 | Case-based learning algorithms. 
28 | 90 | aha_d_w | Aha D.W. | 1 | 651 | 453 |  Feature selection for case-based classification of cloud types: An empirical comparison. 
29 | 90 | aha_d_w |  D. W. Aha | 0 | 649 | 453 | . Feature selection for case-based classification of cloud types: An empirical comparison. 

30 | 100 | ahmed_t |  T. Ahmed | 3 | 466 | 314 |  "Automatic Interpretation of Human Faces and Hand Gestures Using Flexible Models". 

31 | 110 | ahn_r | Ahn, R. | 0 | 560 | 385 | The DenK-architecture: a fundamental approach to user-interfaces. 

32 | 120 | ahuja_n |  N. Ahuja | 0 | 450 | 306 |  Active stereo: Integrating disparity, vergence, focus, aperture, and calibration for surface estimation, 

33 | 130 | ajjanagadde_v |   Ajjanagadde, V. | 1 | 920 | 597 | From simple associations to systematic reasoning: A connectionist representation of rules, variables, and dynamic bindings using temporal synchrony. 

34 | 140 | aleliunas_romas |  Romas Aleliunas | 2 | 747 | 499 |  Theorist: a logical reasoning system for defaults and diagnosis. 
35 | 140 | aleliunas_r |   R. Aleliunas | 2 | 746 | 499 |  Theorist: A logical reasoning system for defaults and diagn osis. 

36 | 150 | alfares_j_j |   Alfares, J.J. | 2 | 1061 | 682 |  Counterfactual reasoning based on revising assumptions. Logic Programming, 

37 | 160 | alfeld_p |  ALFELD, P. | 0 | 604 | 422 |  BernsteinBezier polynomials on circles, sphere, and sphere-like surfaces. 

38 | 170 | allen_b_p | Allen, B.P | 0 | 1026 | 663 |  Case-based reasoning: Business applications, 

39 | 180 | allen_j | Allen, J. | 0 | 857 | 555 | Planning as temporal reasoning. 
40 | 180 | allen_james_f |  James F. Allen | 0 | 888 | 578 |  Temporal reasoning and planning. 

41 | 190 | alonso_r |  Alonso, R. | 0 | 410 | 281 |  A mobile computer interface for heterogeneous databases. 

42 | 200 | alpert_richard |  Richard Alpert | 2 | 426 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
43 | 200 | alpert_r |  R. Alpert | 2 | 425 | 294 |  A Virtual Memory Mapped Network Interface  for the SHRIMP Multicomputer. 
44 | 200 | alpert_r |  R. Alpert | 2 | 427 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
45 | 200 | alpert_r |  R. Alpert | 2 | 428 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
46 | 200 | alpert_r |  R. Alpert | 2 | 429 | 294 |  A virtual memory mapped network interface for the shrimp multicomputer. 
47 | 200 | alpert_r |  R. Alpert | 2 | 430 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputers. 
48 | 200 | alpert_r |  R. Alpert | 2 | 431 | 294 |  A virtual memory mapped network  interface for the SHRIMP multicomputer. 

49 | 210 | alshawi_h | Alshawi, H. | 0 | 1120 | 725 | CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine. 

50 | 220 | al-taha_k_k |   Al-Taha, K. K. | 1 | 1129 | 730 | Reasoning about gradual changes of topological
51 | 220 | al-taha_k_k |   AL-TAHA, K. K. | 1 | 1130 | 730 |  Reasoning about gradual changes of topological relationships. 
52 | 220 | al-taha_k_k |   Al-Taha, K. K. | 1 | 1131 | 730 | Reasoning about gradual changes of
53 | 220 | al-taha_k_k |   Al-Taha, K. K. | 1 | 1132 | 730 | Reasoning about gradual changes of topological

54 | 230 | althoff_k-d |  K.-D. Althoff | 0 | 1013 | 656 | Integrating Inductive and Case-Based Technologies for Classification and Diagnostic Reasoning. 
55 | 230 | althoff_k-d |  K.-D. Althoff | 1 | 834 | 536 | , Induction and reasoning from cases. 

56 | 240 | amarel_s | Amarel, S. | 0 | 931 | 603 | On Representations of Problems of Reasoning about Actions, 
57 | 240 | amarel_s |  S. Amarel | 0 | 930 | 603 |  On representations of problems of reasoning about actions. 

58 | 250 | anbil_r |  Anbil, R.  | 0 | 593 | 412 | "Recent Advances in Crew-Pairing Optimization at American Airlines", 

59 | 260 | anderson_c |   Anderson, C. | 3 | 1472 | 857 | Genetic Reinforcement Learning for Neurocontrol Problems. 
60 | 260 | anderson_c | C. Anderson | 3 | 1474 | 857 | Genetic reinforcement learning for neurocontrol problems. 
61 | 260 | anderson_c | C. Anderson | 3 | 1475 | 857 | Genetic reinforcement learning for neurocontrol problems. 
62 | 260 | anderson_c | C. Anderson | 3 | 1476 | 857 | Genetic reinforcement learning for neurocontrol problems. 
63 | 260 | anderson_c_w |   Anderson, C. W. | 3 | 1471 | 857 | Genetic reinforcement learning for neurocontrol problems. 
64 | 260 | anderson_c_w |   Anderson, C. W. | 3 | 1473 | 857 | Genetic reinforcement learning for neurocontrol problems. 

65 | 270 | angern_a |  A. ANGERN | 0 | 556 | 381 | Intelligent Decision Support Systems: A Visual  Interactive Approach, 

66 | 280 | antonisse | Antonisse | 0 | 26 | 20 |   A new interpretation of schema notation that overturns the binary coding constraint . 
67 | 280 | antonisse_h_j | Antonisse , H. J. | 0 | 29 | 20 | A New Interpretation of the Schema Notation that Overturns the Binary Encoding Constraint . 

68 | 280 | antonisse_j | Antonisse, J | 0 | 31 | 20 | A New Interpretation of Schema Notation that Overturns the Binary Encoding Constraint . 
69 | 280 | antonisse_j | Antonisse , J.   | 0 | 32 | 20 | " A new interpretation of schema encoding that overturns the binary encoding constraint , " in 
70 | 280 | antonisse_jim | Jim Antonisse | 0 | 30 | 20 | " A New Interpretation of Schema Notation that Overturns the Binary Encoding Constraint , " 
71 | 280 | antonisse_jim | Jim Antonisse | 0 | 33 | 20 | " A New Interpretation of Schema Notation that Overturns the Binary Encoding Constraint , " 
72 | 280 | antonisse_jim | Jim  Antonisse  | 1 | 26 | 20 |   A new interpretation of schema notation that overturns the binary coding constraint . 
73 | 280 | antonisse_j | J. Antonisse | 0 | 27 | 20 | A new interpretation of schema notation that overturns the binary encoding constraint . 
74 | 280 | antonisse_j | J. Antonisse | 0 | 28 | 20 | " A New Interpretation of the Schema Notation that Overturns the Binary Encoding Constraint , " 

75 | 300 | anttila_arto |   Arto Anttila | 2 | 62 | 40 | Constraint grammar of english : A performanceoriented introduction . 

76 | 310 | anzai_y |   Anzai, Y. | 1 | 1079 | 694 | A user friendly interface for task assignment on multiple robots by contract net negotiation with case-based reasoning. 
77 | 310 | anzai_y |  Anzai, Y. | 1 | 371 | 252 | A user friendly interface for task assignment on multiple robots by contract net negotiation with case-based reasoning. 
78 | 310 | anzai_yuichiro |   Yuichiro Anzai | 1 | 1080 | 694 |  A user friendly interface for task assignment on multiple robots by contract net negotiation with case-based reasoning. 
79 | 310 | anzai_yuichiro |  Yuichiro Anzai | 1 | 372 | 252 |  A user friendly interface for task assignment on multiple robots by contract net negotiation with case-based reasoning. 
80 | 310 | anzai_y |   Y. Anzai | 2 | 1094 | 705 |  "Reducing communication load on contract net by casebased reasoning - extension with directed contract and forgetting -," 

81 | 320 | aparcio_j_n |  Aparcio, J.N. | 1 | 1061 | 682 |  Counterfactual reasoning based on revising assumptions. Logic Programming, 

82 | 330 | arcos_j_l |  Arcos, J. L. | 0 | 855 | 553 | A Reflective Architecture for Integrated Memory-based Learning and Reasoning, 

83 | 340 | arent_michael |  Michael Arent | 0 | 640 | 448 |  Two Disciplines in Search of an Interface: Reflections on a Design Problem, 

84 | 350 | arikawa_s |   S. Arikawa | 1 | 877 | 567 |  Reasoning by Analogy as a Partial Identity between Mo dels. 

85 | 360 | armengol_e |  Armengol, E. | 0 | 833 | 535 | Integrating Induction in a Case-based Reasoner. 

86 | 370 | arvo_j_r |  ARVO, J. R., AND | 1 | 505 | 347 |  Predicting reflectance functions from complex surfaces. 

87 | 380 | asada_m | Asada, M. | 0 | 1509 | 878 | Vision-based reinforcement learning for purposive behavior acquisition. 
88 | 380 | asada_m | Asada, M. | 0 | 1523 | 885 | "Vision-based behavior acquisition for a shooting robot by using a reinforcement learning".
89 | 380 | asada_m | Asada, M. | 0 | 1526 | 886 | "purposive behavior acquisition on a real robot by vision-based reinforcement learning". 
90 | 380 | asada_m | Asada, M. | 0 | 1539 | 889 | Coordination of multiple behaviors acquired by vision-based reinforcement learning. 
91 | 380 | asada_minoru |  Minoru Asada | 0 | 1525 | 886 |  Purposive behavior acquisition on a real robot by visionbased reinforcement learning. 
92 | 380 | asada_minoru |  Minoru Asada | 0 | 1529 | 888 |  Purposive behav ior acquisition for a real robot by visionbased reinforcement learnin. 
93 | 380 | asada_minoru | Minoru Asada | 0 | 1534 | 888 |  Purposive behavior acquisition for a real robot by vision-based reinforcement learning. 
94 | 380 | asada_minoru |  Minoru Asada | 0 | 1536 | 889 |  Coordination of multiple behaviors acquired by vision-based reinforcement learning. 
95 | 380 | asada_minoru | Minoru Asada | 1 | 1541 | 890 |  Behavior coordination for a mobile robot using modular reinforcement learning. 
96 | 380 | asada_minoru | Minoru Asada | 1 | 1542 | 890 |  Behavior coordination for a mobile robot using modular reinforcement learning. 
97 | 380 | asada_m |  M. Asada | 0 | 1508 | 878 |  Vision-based reinforcement learning for purposive behavior acquisition. 
98 | 380 | asada_m | M. Asada | 0 | 1524 | 886 |  Purposive Behavior Acquisition On A Real Robot By A Vision-Based Reinforcement Learning, 
99 | 380 | asada_m |  M. Asada | 0 | 1530 | 888 |  Purposive behavior acquisition for a real robot by vision-based reinforcement learning. 
100 | 380 | asada_m |  M. Asada | 0 | 1531 | 888 |  Purposive behavior acquisition for a real robot by vision-based reinforcement learning. 
101 | 380 | asada_m |  M. Asada | 0 | 1532 | 888 |  Purposive behavior acquisition for a real robot by visionbased reinforcement learning. 
102 | 380 | asada_m |  M. Asada | 0 | 1533 | 888 |  Purposive behavior acquisition for a real robot by vision-based reinforcement learning. 
103 | 380 | asada_m |  M. Asada | 0 | 1535 | 889 |  "coordination of multiple behaviors acquired by vision-based reinforcement learning". 
104 | 380 | asada_m |  M. Asada | 0 | 1537 | 889 |  Coordination of multiple behaviors acquired by visionbased reinforcement learning. 
105 | 380 | asada_m |  M. Asada | 0 | 1538 | 889 |  Coordination of multiple behaviors acquired by visionbased reinforcement learning. 
106 | 380 | asada_m | M. Asada | 0 | 1540 | 889 |  Coordination of multiple behaviors acquired by vision-based reinforcement learning. 
107 | 380 | asada_m |  M. Asada | 0 | 1543 | 891 |  "A vision-based reinforcement learning for coordination of soccer playing behaviors". 

108 | 390 | asama_h |  H. Asama | 2 | 414 | 284 |  "Cooperation between the human operator and the multi-agent robotic system - evaluation of agent monitoring methods for the human interface system -," 

109 | 400 | aseltine_j |  Aseltine, J. | 5 | 1007 | 650 | Terminological meta-reasoning by reification and multiple contexts. 

110 | 410 | atkeson_c |  C. Atkeson | 1 | 1480 | 859 |  Prioritized sweeping: Reinforcement learning with less data and less real time. 
111 | 410 | atkeson_c_g |  Atkeson, C. G. | 1 | 1363 | 809 | Memory-based reinforcement learning: Converging with less data and less real time. 
112 | 410 | atkeson_c_g |  Atkeson, C. G. | 1 | 1364 | 809 | Memory-based reinforcement learning: Converging with less data and less real time, 
113 | 410 | atkeson_c_g |   Atkeson, C. G. | 1 | 1369 | 812 | The parti-game algorithm for variable resolution reinforcement learning in multidimensional state-spaces. 
114 | 410 | atkeson_c_g |  Atkeson, C. G. | 1 | 1371 | 812 | The Parti-game algorithm for variable resolution reinforcement learning in multidimensional state-spaces, 
115 | 410 | atkeson_c_g |   Atkeson, C. G. | 1 | 1481 | 859 | Prioritized sweeping: Reinforcement learning with less data and less real time. 
116 | 410 | atkeson_c_g |   Atkeson, C. G. | 1 | 1483 | 859 | Prioritized sweeping: Reinforcement learning with less data and less time. 
117 | 410 | atkeson_c_g |  C. G. Atkeson | 1 | 1370 | 812 |  The Parti-game Algorithm for Variable  Resolution Reinforcement Learning in Multidimensional State-spaces. 
118 | 410 | atkeson_c_g |  C. G. Atkeson | 1 | 1373 | 812 |  The Parti-game Algorithm for Variable Resolution Reinforcement Learning in Multidimensional State-spaces. 
119 | 410 | atkeson_c_g |  C. G. Atkeson | 1 | 1478 | 859 |  Prioritized Sweeping: Reinforcement Learning with Less Data and Less Real Time. 
120 | 410 | atkeson_c_g |  C. G. Atkeson | 1 | 1479 | 859 |  Prioritized Sweeping: Reinforcement Learning with Less Data and Less Real Time. 
121 | 410 | atkeson_c_g |  C. G. Atkeson | 1 | 1482 | 859 |  Prioritized Sweeping: Reinforcement Learning with Less Data and Less Real Time. 
122 | 410 | atkeson_c_g | C.G. ATKESON | 3 | 1352 | 806 |  Feudal Reinforcement Learning. 
123 | 410 | atkeson_christopher_g |   Atkeson, Christopher G. | 1 | 1365 | 810 | Memory-based reinforcement learning: Efficient computation with prioritized sweeping. 

124 | 420 | auriol_e |  E. Auriol | 2 | 834 | 536 | , Induction and reasoning from cases. 
125 | 420 | auriol_e |  E. Auriol | 5 | 1013 | 656 | Integrating Inductive and Case-Based Technologies for Classification and Diagnostic Reasoning. 

126 | 430 | avesani_paolo |   Paolo Avesani | 1 | 1142 | 737 |  Learning a local similarity metric for casebased reasoning. 
127 | 430 | avesani_p |  Avesani, P. | 1 | 1141 | 737 | Learning a local similarity metric for case-based reasoning. 
128 | 430 | avesani_p |   Avesani, P. | 1 | 1143 | 737 | Learning a local similarity metric for case-based reasoning. 
129 | 430 | avesani_p |   P. Avesani | 1 | 1140 | 737 |  Learning a local similarity metric for case-based reasoning. 

130 | 440 | ayer_a_j |  A.J. Ayer | 0 | 1102 | 712 |  The origins of pragmatism. 

131 | 450 | azevedo_flavio_s |  Flavio S. Azevedo | 1 | 382 | 260 |  Paragente: Exploring the issues in agent based user interfaces. 

132 | 460 | babuska_r | Babuska R. | 2 | 1434 | 838 | Adaptive fuzzy control of satellite attitude by reinforcement learning. 

133 | 470 | bacchus_fahiem |  Fahiem Bacchus | 0 | 667 | 466 |  Statistical foundations for default reasoning. 
134 | 470 | bacchus_fahiem |  Fahiem Bacchus | 0 | 922 | 599 |  Representing and Reasoning with Probabilistic Knowledge. 
135 | 470 | bacchus_f |  F. Bacchus | 0 | 1082 | 696 |  Lp, a logic for representing and reasoning with statistical knowledge. 
136 | 470 | bacchus_f |  F. Bacchus | 0 | 923 | 599 |  Representing and Reasoning With Probabilistic Knowledge. 
137 | 470 | bacchus_f |  F. Bacchus | 0 | 924 | 599 |  Representing and Reasoning with Probabilistic Knowledge. 

138 | 480 | backstrom_c |  C. Backstrom | 0 | 657 | 457 |  Equivalence and tractability results for SAS+ planning. 

139 | 490 | baddeley_a | Baddeley, A. | 0 | 492 | 334 | `Working Memory: the interface between memory and cognition', 
140 | 490 | baddeley_a |  Baddeley, A., | 0 | 517 | 359 |  Depth of processing, context, and face recognition , in Canadian 

141 | 500 | bagnara_r | R. Bagnara | 0 | 134 | 88 | On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs . 
142 | 500 | bagnara_r | R. Bagnara | 0 | 259 | 177 | Constraint Systems for Pattern Analysis of Constraint Logic > = Based Languages . 
143 | 500 | bagnara_r |  R. Bagnara | 0 | 3 | 3 | An application of constraint propagation to data-flow analysis . 
144 | 500 | bagnara_r | R. Bagnara | 0 | 4 | 3 | An Application of Constraint Propagation to Data-AEow Analysis . 

145 | 510 | baird_l_c | Baird, L.C. | 0 | 1362 | 808 | Reinforcement learning with highdimensional, continuous actions Wright-Patterson Air Force Base, OH. 
146 | 510 | baird_l_c | Baird, L.C. | 0 | 1552 | 895 | Residual Algorithms: Reinforcement Learning with Function Approximation. 
147 | 510 | baird_l_c | Baird, L. C. | 0 | 1553 | 895 | Residual Algorithms: Reinforcement Learning with Function Approximation.
148 | 510 | baird_l_c | Baird, L. C. | 0 | 1554 | 895 | "Residual Algorithms: Reinforcement Learning with Function Approximation," 
149 | 510 | baird_l_c |  Baird, L. C. | 1 | 1488 | 862 | Reinforcement learning applied to a differential game. 

150 | 520 | baker_a_b | A. B. Baker | 0 | 63 | 41 | Intelligent backtracking on the hardest constraint problems . 

151 | 530 | balachandran_m_b |  Balachandran, M. B. | 1 | 764 | 504 | Case-Based Reasoning in Design, 
152 | 530 | balachandran_m_b |  M. B. Balachandran, | 1 | 766 | 504 | Case-Based Reasoning in Design. 
153 | 530 | balachandran_m |  M. Balachandran | 1 | 765 | 504 |  Case-Based Reasoning in Design, 

154 | 540 | balas_e |  E. Balas | 0 | 547 | 373 |  On the set covering polytype: I. all the facets with coefficients in f0,1,2g.
155 | 540 | balas_e |  E. Balas | 0 | 548 | 373 |  On the set covering polytype: II. lifting the facets with coefficients in f0,1,2g. 

156 | 550 | baldwin_j_m | Baldwin, J.M.  | 1 | 492 | 334 | `Working Memory: the interface between memory and cognition', 

157 | 560 | ballard_dana_h |  Dana H. Ballard | 1 | 1206 | 763 |  A study of cooperative mechanisms for faster reinforcement learning. 
158 | 560 | ballard_dana_h |  Dana H. Ballard | 1 | 316 | 212 | Natural basis functions and topographic memory for face recognition. 
159 | 560 | ballard_d | Ballard D. | 1 | 1411 | 825-2 |  Active Perception and Reinforcement Learning, 
160 | 560 | ballard_d_h |   Ballard, D. H. | 1 | 1412 | 825 | Active perception and reinforcement learning. 
161 | 560 | ballard_d_h | D. H. Ballard | 1 | 1345 | 804 | Learning to perceive and act by trial and error. 
162 | 560 | ballard_d_h |  D. H. Ballard | 1 | 1410 | 825 |  Active perception and reinforcement learning. 

163 | 570 | baluja_shumeet |  Shumeet Baluja | 1 | 597 | 415 |  "Human Face Detection in Visual Scenes". 

164 | 580 | banchoff_t |  T. Banchoff | 0 | 619 | 432 | Complex Function Graphs, Dupin Cylinders, Gauss Map, and Veronese Surface. 

165 | 590 | banda_m_garca_de_la | M. Garca de la Banda | 0 | 247 | 168 | A practical approach to the global analysis of constraint logic programs . 
166 | 590 | banda_m_garca_de_la | M. Garca de la Banda | 0 | 248 | 168 | A Practical Approach to the Global Analysis of Constraint Logic Programs. 
167 | 590 | banda_m_garca_de_la | M. Garca de la Banda | 0 | 276 | 189 | Analyzing Constraint Logic Programs . 
168 | 590 | banda_m_garca_de_la | M. Garca de la Banda | 0 | 278 | 191 | Some Considerations on the CompileTime Analysis of Constraint Logic Programs . 
169 | 590 | banda_m_garca_de_la |  M. Garca de la Banda | 1 | 879 | 569 |  Goal Dependent vs Goal Independent Analysis of Logic Programs. 

170 | 600 | bankert_r_l | Bankert R.L.  | 0 | 651 | 453 |  Feature selection for case-based classification of cloud types: An empirical comparison. 
171 | 600 | bankert_r_l |  Bankert, R. L. | 1 | 650 | 453 | Feature selection for case-based classification of cloud types: An empirical comparison, 
172 | 600 | bankert_r_l |  Bankert, R. L. | 1 | 652 | 453 | Feature selection for case-based classification of cloud types: An empirical comparison. 
173 | 600 | bankert_r_l |   R. L. Bankert | 1 | 649 | 453 | . Feature selection for case-based classification of cloud types: An empirical comparison. 

174 | 610 | barron_a_r |  A.R. Barron | 0 | 626 | 439 |  Statistical learning networks: A unifying view. 

175 | 620 | barron_r_l |  R.L. Barron | 1 | 626 | 439 |  Statistical learning networks: A unifying view. 

176 | 630 | barto_a |  A. Barto | 1 | 1386 | 815 |  Improving elevator performance using reinforcement learning. 
177 | 630 | barto_a |  A. Barto | 1 | 1390 | 815 |  Improving elevator performance using reinforcement learning. 
178 | 630 | barto_a_g |  A.G. Barto | 0 | 1495 | 868 |  Monte Carlo matrix inversion and reinforcement learning. 
179 | 630 | barto_a_g |  A.G. Barto | 1 | 1387 | 815 |  Improving elevator performance using reinforcement learning. 
180 | 630 | barto_a_g |  A. G. Barto | 1 | 1388 | 815 |  Improving Elevator Performance using Reinforcement Learning. 
181 | 630 | barto_a_g | Barto, A. G. | 0 | 1511 | 880 | Associative search network: A reinforcement learning
182 | 630 | barto_a_g |  Barto A.G. | 1 | 1385 | 815 | Improving elevator performance using reinforcement learning. 
183 | 630 | barto_a_g |   Barto, A. G. | 1 | 1389 | 815 | Improving elevator performance using reinforcement learning. 
184 | 630 | barto_a_g |   Barto, A. G | 1 | 1391 | 815 | "Improving Elevator Performance Using Reinforcement Learning," 
185 | 630 | barto_a_g |  Barto, A. G. | 1 | 1392 | 815 | Improving elevator performance using reinforcement learning. 

186 | 640 | barwise_j | Barwise , J. | 0 | 121 | 78 | Constraints , channels , and the flow of information . 
187 | 640 | barwise_jon | Jon Barwise | 0 | 122 | 78 | Constraints , channels , and the flow of information . 

188 | 650 | basu_anindya |  Anindya Basu | 1 | 399 | 275 |  U-Net: A User-Level Network Interface for Parallel and Distributed Computing. 

189 | 660 | battaile_b |  Battaile, B. | 3 | 504 | 346 |  Modelling the Interaction of Light between Diffuse Surfaces. 

190 | 670 | bauer_b |  B. Bauer | 2 | 513 | 355 |  Compass: Predicting biological activities from molecular surface properties. Performance comparisons on a steroid benchmark, 

191 | 680 | bauer_m | Bauer, M. | 0 | 1139 | 736 | Integrating Probabilistic Reasoning into Plan Recognition. 

192 | 690 | bayerl_s |  S. Bayerl | 2 | 845 | 546 |  SETHEO: A HighPerformance Theorem Prover. 
193 | 690 | bayerl_s |  S. Bayerl | 2 | 846 | 546 |  SETHEO, A High-Performance Theorem Prover. 
194 | 690 | bayerl_s |  S. Bayerl | 2 | 847 | 546 |  SETHEO, A High-Performance  13  Theorem Prover. 

195 | 700 | beck_c |  C. Beck | 8 | 404 | 279 |  Specification of the KQML Agent-Communication Language. 

196 | 710 | becker_s | Becker, S.  | 0 | 603 | 421 | A self-organizing neural network that discovers surfaces in random-dot stereograms. 

197 | 720 | beek_peter_van |  Peter van Beek | 0 | 1083 | 697 |  Exact and approximate reasoning about temporal relations. 
198 | 720 | beek_peter_van |  Peter van Beek | 0 | 803 | 514 |  The design and experimental analysis of algorithms for temporal reasoning. 
199 | 720 | beek_p_van | P. van Beek | 0 | 82 | 52 | Constraint tightness versus global consistency . 
200 | 720 | beek_p_van | P. van Beek | 0 | 83 | 53 | On the Inherent Level of Local Consistency in Constraint Networks . 
201 | 720 | beek_p_van |  P. van Beek | 0 | 973 | 628 |  Constraint tightness versus global consistency. 

202 | 730 | bell_b | Bell , B. | 1 | 160 | 107 | Constraint-based hypertext for argumentation . 

203 | 740 | bell_p_c |  P.C. BELL | 1 | 567 | 391 | Visual Interactive Modeling in Industry: Results  from a Survey of Visual Interactive Model Builders, 

204 | 750 | bell_s |  S. Bell | 0 | 274 | 187 | Deciding distinctness of query results by discovered constraints . 

205 | 760 | benbrahim_h |  H. Benbrahim | 2 | 1492 | 866 | Acquiring robot skills via reinforcement learning. 
206 | 760 | benbrahim_h |  H. Benbrahim | 2 | 1493 | 866 | Acquiring robot skills via reinforcement learning. 

207 | 770 | bennett_b |  B. Bennett | 0 | 1115 | 720 |  Spatial reasoning with propositional logic. 
208 | 770 | bennett_b |  B. Bennett | 0 | 1135 | 732 |  Modal logics for qualitative spatial reasoning. 

209 | 780 | bennett_kristin_p | Kristin P. Bennett | 0 | 302 | 207 | Global tree optimization: A non-greedy decision tree algorithm. 

210 | 790 | bereiter_c | Bereiter C | 0 | 1137 | 734 | Reasoning, 

211 | 800 | berenji_h | Berenji, H.  | 0 | 1515 | 884 | Learning and tuning fuzzy logic controllers through reinforcements. 
212 | 800 | berenji_h | Berenji, H. | 0 | 1517 | 884 | Learning and tuning fuzzy logic controllers through reinforcements. 
213 | 800 | berenji_h | Berenji, H.,  | 0 | 1521 | 884 | Learning and tuning fuzzy logic controllers through reinforcements. 
214 | 800 | berenji_h |  H. Berenji | 0 | 1518 | 884 |  "Learning and Tuning Fuzzy Controllers Through Reinforcements", 
215 | 800 | berenji_h |  H. Berenji | 0 | 1520 | 884 |  Learning and tuning fuzzy logic controllers through reinforcements. 
216 | 800 | berenji_h |  H. Berenji | 0 | 1522 | 884 |  "Learning and fine tuning fuzzy logic controllers through reinforcement," 
217 | 800 | berenji_h_r | Berenji, H. R. | 0 | 1293 | 789 | Refinement of approximate reasoning-based controllers by reinforcement learning. 
218 | 800 | berenji_h_r | Berenji, H.R. | 0 | 1516 | 884 | Learning and tuning fuzzy controllers bthrough reinforcements.
219 | 800 | berenji_h_r |  Berenji, H.R.  | 0 | 1519 | 884 |  Learning and Tuning Fuzzy Controllers Through Reinforcements, 
220 | 800 | berenji_h_r | Berenji, H. R. | 0 | 739 | 493 | Refinement of approximate reasoning-based controllers by reinforcement learning. 
221 | 800 | berenji_h_r |  H. R. Berenji | 0 | 1292 | 789 |  Refinement of Approximate Reasoning-Based Controllers by 
222 | 800 | berenji_h_r |  H. R. Berenji | 0 | 738 | 493 |  Refinement of Approximate Reasoning-Based Controllers by 

223 | 810 | berghuis_h |   H. Berghuis | 2 | 237 | 160 | " Global regulation for robot manipulators under actuator constraints " , 

224 | 820 | bergmann_r |  R. Bergmann | 1 | 1013 | 656 | Integrating Inductive and Case-Based Technologies for Classification and Diagnostic Reasoning. 

225 | 830 | berleant_d |  Berleant, D. | 0 | 660 | 460 | Using incomplete quantitative knowledge in qualitative reasoning. 

226 | 840 | bern_m | Bern, M. | 0 | 621 | 434 | Hidden surface removal for rectangles. 

227 | 850 | berns_k | Berns K. | 1 | 1477 | 858 | A learning architecture based on reinforcement learning for adaptive control of the walking machine LAURON. 

228 | 860 | bertsekas_d |  D. Bertsekas. | 0 | 1502 | 875 | Notational conventions for the reinforcement learning workshop at ML93,

229 | 870 | bessiere_c | C. Bessiere | 0 | 285 | 198 | An arc consistency algorithm optimal in the number of constraint checks . 

230 | 880 | betge-brezetz_s |  Betge-Brezetz, S. | 1 | 829 | 531 | Probabilistic Map Learning: Necessity and Difficulties. 

231 | 890 | beun_r_j |  Beun, R. J. | 1 | 560 | 385 | The DenK-architecture: a fundamental approach to user-interfaces. 

232 | 900 | beymer_d |  D. Beymer | 0 | 351 | 234 |  Face recognition from one model view. 

233 | 910 | bhattacharya_b |  B. Bhattacharya | 1 | 599 | 417 |  "The application of voronoi diagrams to nonparametric decision rules", 

234 | 920 | bibel_w |   W. Bibel | 3 | 845 | 546 |  SETHEO: A HighPerformance Theorem Prover. 
235 | 920 | bibel_w |   W. Bibel | 3 | 846 | 546 |  SETHEO, A High-Performance Theorem Prover. 
236 | 920 | bibel_w |   W. Bibel | 3 | 847 | 546 |  SETHEO, A High-Performance  13  Theorem Prover. 

237 | 930 | bieber_michael |  Michael Bieber | 0 | 496 | 338 |  Issues in modeling a "dynamic" hypertext interface for non-hypertext systems. 

238 | 940 | bilas_angelos |  Angelos Bilas | 0 | 602 | 420 |  Fast RPC on the SHRIMP Virtual Memory Mapped Network Interface.

239 | 950 | binford_thomas_o |  Thomas O. Binford | 0 | 625 | 438 |  Inferring surfaces from images. 

240 | 960 | birnbaum_lawrence |  Lawrence Birnbaum | 1 | 906 | 588 |  A modelbased approach to learning from planning failures. 

241 | 970 | bisio_r |  R. Bisio | 0 | 1157 | 748 |  Cost Estimation of Software Projects through Case-Based Reasoning. 

242 | 980 | bistarelli_s | Bistarelli , S.  | 0 | 125 | 80 | Constraint Solving over Semirings . 

243 | 990 | blake_a |  A. Blake | 1 | 327 | 218 |  Surface Orientation and Time to Contact from Image Divergence and Deformation. 
244 | 990 | blake_a |  A. Blake | 1 | 328 | 218 |  Surface orientation and time to contact from image divergence and deformation. 
245 | 990 | blake_a |  A. Blake | 1 | 329 | 219 |  Surface shape from the deformation of apparent contours, 

246 | 1000 | blasco_d | D. Blasco | 3 | 512 | 354 | Scales of variability of bio-optical properties as observed from near-surface drifters. 

247 | 1010 | bledsoe_w_w |  W. W. Bledsoe | 0 | 1101 | 711 |  Challenge problems in elementary calculus. 

248 | 1020 | bloom_b |  B. Bloom | 1 | 953 | 619 |  A Situated Reasoning Architecture for Spacebased Repair and Replace Tasks, 

249 | 1030 | blumrich_matthias_a |  Matthias A. Blumrich | 0 | 412 | 283 |  User-Level DMA for the SHRIMP Network Interface. 
250 | 1030 | blumrich_matthias_a |  Matthias A. Blumrich | 0 | 426 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
251 | 1030 | blumrich_matthias |  Matthias Blumrich | 0 | 413 | 283 | Protected, user-level dma for the shrimp network interface. 
252 | 1030 | blumrich_matthias |  Matthias Blumrich | 0 | 448 | 305 |  Virtualmemory-mapped network interfaces. 
253 | 1030 | blumrich_m |  M. Blumrich | 0 | 425 | 294 |  A Virtual Memory Mapped Network Interface  for the SHRIMP Multicomputer. 
254 | 1030 | blumrich_m |  M. Blumrich | 0 | 427 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
255 | 1030 | blumrich_m |  M. Blumrich | 0 | 428 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
256 | 1030 | blumrich_m |  M. Blumrich | 0 | 429 | 294 |  A virtual memory mapped network interface for the shrimp multicomputer. 
257 | 1030 | blumrich_m |  M. Blumrich | 0 | 430 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputers. 
258 | 1030 | blumrich_m |  M. Blumrich | 0 | 431 | 294 |  A virtual memory mapped network  interface for the SHRIMP multicomputer. 
259 | 1030 | blumrich_m |  M. Blumrich | 0 | 449 | 305 |  Virtual memory mapped network interfaces. 

260 | 1040 | boguraev_b |  Boguraev, B. | 8 | 1120 | 725 | CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine. 

261 | 1050 | bonissone_p |  P. Bonissone | 0 | 950 | 616 |  "Time-Constrained Reasoning under Uncertainty," 

262 | 1060 | booth_c_r | C. R. Booth | 2 | 512 | 354 | Scales of variability of bio-optical properties as observed from near-surface drifters. 

263 | 1070 | borghuis_t |  Borghuis, T. | 2 | 560 | 385 | The DenK-architecture: a fundamental approach to user-interfaces. 

264 | 1080 | borgida_a |  A. Borgida | 0 | 792 | 508 |  Hierarchical knowledge bases and efficient disjunctive reasoning. 
265 | 1080 | borgida_a |  A. Borgida | 0 | 793 | 508 |  Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning, 
266 | 1080 | borgida_alex |  Alex Borgida | 1 | 885 | 575 |  Vivid knowledge and tractable reasoning: Preliminary report. 

267 | 1090 | borning_a | A. Borning | 0 | 228 | 153 | ThingLab : A Constraint Programming System . 

268 | 1100 | bose_s |   S. Bose | 3 | 137 | 91 | A new generalized framework for finding object orientation using perspective trihedral angle constraint . 
269 | 1100 | bose_s |   S. Bose | 3 | 138 | 91 | A new generalized computational framework for finding object orientation using perspective trihedral angle constraint . 

270 | 1110 | boulanger_d |   D. Boulanger | 1 | 226 | 151 | Abstract Interpretation for ( Constraint ) Logic Programming . 
271 | 1110 | boulanger_d |  D. Boulanger | 1 | 280 | 193 | Abstract Interpretation for ( Constraint ) Logic Programming . 
272 | 1110 | boulanger_d |   D. Boulanger | 1 | 281 | 194 | Abstract interpretation for ( constraint ) logic programming . 

273 | 1120 | bouma_g | Bouma , G.  | 0 | 230 | 155 | ` Constraint-based categorial grammar ' , 

274 | 1130 | bourigault_didier |  Didier Bourigault | 0 | 395 | 272 |  Surface grammatical analysis for the extraction of terminological noun phrases. 
275 | 1130 | bourigault_didier |  Didier Bourigault | 0 | 396 | 272 |  Surface grammatical analysis for the extraction of terminological noun phrases. 

276 | 1140 | boutilier_craig | Craig Boutilier | 1 | 1494 | 867 |  Exploiting natural structure in reinforcement learning: Experience in robot soccerplaying,

277 | 1150 | bowyer_kevin |   Kevin Bowyer | 1 | 932 | 604 |  "Achieving Generalized Object Recognition through Reasoning about Association of Function to Structure," 

278 | 1160 | box_g_e_p |  G. E. P. Box | 0 | 628 | 441 | Empirical ModelBuilding and Response Surfaces.
279 | 1160 | box_g_e_p |  G. E. P. Box | 0 | 629 | 441 |  Empirical Model-Building and Response Surfaces.

280 | 1170 | boyan_j_a |  Boyan, J. A. | 1 | 1296 | 791 | A distributed reinforcement learning scheme for network routing. 
281 | 1170 | boyan_j_a |  J. A. Boyan | 0 | 1374 | 813 |  Generalization in reinforcement learning: Safely approximating the value function. 
282 | 1170 | boyan_j_a |  J. A. Boyan | 0 | 1375 | 813 |  Generalization in Reinforcement Learning: Safely Approximating the Value Function. 
283 | 1170 | boyan_j_a |  J. A. Boyan | 0 | 1376 | 813 |  Generalization in reinforcement learning: safely approximating the value function. 
284 | 1170 | boyan_j_a |  J.A. Boyan | 0 | 1377 | 813 |  Generalization in reinforcement learning: Safely approximating the value  function. 
285 | 1170 | boyan_j_a | J. A. Boyan | 0 | 1378 | 813 |  Generalization in reinforcement learning: safely approximating the value function. 
286 | 1170 | boyan_j_a |  J. A. Boyan | 0 | 1379 | 813 |  Generalization in reinforcement learning: safely approximating the value function. 
287 | 1170 | boyan_j_a |  J. A. Boyan | 0 | 1380 | 813 | . Generalization in reinforcement learning: Safely approximating the value function. 
288 | 1170 | boyan_j |  J. Boyan | 1 | 1297 | 791 |  A distributed reinforcement learning scheme for network routing. 

289 | 1180 | brachman_r_j |  Brachman, R. J. | 0 | 886 | 576 |  An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON. 
290 | 1180 | brachman_r_j |   Brachman, R. J. | 1 | 887 | 577 | A fundamental tradeoff in knowledge representation and reasoning. 
291 | 1180 | brachman_ronald_j |  Ronald J. Brachman | 2 | 885 | 575 |  Vivid knowledge and tractable reasoning: Preliminary report. 
292 | 1180 | brachman_r |  R. Brachman | 0 | 884 | 574 |  "Reducing" classic to Practice: Knowledge Representation Theory Meets Reality. 

293 | 1190 | bradshaw_g |  Bradshaw, G. | 2 | 609 | 426 | Three facets of scientific discovery. 

294 | 1200 | bradtke_s_j | Bradtke, S.J. | 0 | 1356 | 807 | Reinforcement learning applied to linear quadratic regulation. 
295 | 1200 | bradtke_s_j | Bradtke, S. J | 0 | 1357 | 807 | Reinforcement learning applied to linear quadratic regulation. 
296 | 1200 | bradtke_s_j | Bradtke, S. J. | 0 | 1358 | 807 | Reinforcement Learning Applied to Linear Quadratic Regulation. 
297 | 1200 | bradtke_s_j | Bradtke, S. J. | 0 | 1359 | 807 | Reinforcement learing applied to linear quadratic regulation. 
298 | 1200 | bradtke_s_j |  S. J. Bradtke | 0 | 1360 | 807 |  Reinforcement learning applied to linear quadratic regulation. 
299 | 1200 | bradtke_s_j |  S. J. Bradtke | 0 | 1361 | 807 |  Reinforcement learning applied to linear quadratic regulation. 

300 | 1210 | braeuer_m |  M. Braeuer | 8 | 1013 | 656 | Integrating Inductive and Case-Based Technologies for Classification and Diagnostic Reasoning. 

301 | 1220 | brajinik_g | Brajinik, G. | 0 | 379 | 258 | User modeling in expert man-machine interfaces: A case study in intelligent information retrieval. 

302 | 1220 | brajnik_g |   Brajnik, G. | 1 | 832 | 534 | A semi-quantitiative physics compiler. 
303 | 1220 | brajnik_g |  G. Brajnik | 0 | 1062 | 683 | . A Flexible Tool for Developing User Modeling Applications with Nonmonotonic Reasoning Capabilities. 
304 | 1220 | brajnik_g |  G. Brajnik | 0 | 1063 | 683 | . A Flexible Tool for Developing User Modeling Applications with Nonmonotonic Reasoning Capabilities. 

305 | 1240 | branting_karl |  Karl Branting | 0 | 715 | 484-2 |  The role of explanations in reasoning from legal precedents. 
306 | 1240 | branting_karl |  Karl Branting | 0 | 731 | 489 |  Exploiting the complementarity of rules and precedents with reciprocity and fairness. 
307 | 1240 | branting_karl | Karl Branting | 0 | 732 | 489 |  Exploiting the complementaryity of rules and precedents with reciprocity and fairness. 
308 | 1240 | branting_k |  Branting, K | 0 | 730 | 488 | Integrating generalizations with exemplar-based reasoning. 

309 | 1250 | brazdil_p |  P. Brazdil | 0 | 1152 | 744 |  Learning from imperfect data. 

310 | 1260 | brent_m_r | Brent , M. R. | 0 | 267 | 182 | Distributional Regularity and Phonotactic Constraints are Useful for Segmentation . 

311 | 1270 | bresina_j |  Bresina, J. | 2 | 733 | 490 | Total Order vs. Partial Order Planning: Factors Influencing Performance. 

312 | 1280 | brewka_gerhard |  Gerhard Brewka | 0 | 663 | 463 |  Preferred subtheories: An extended logical framework for default reasoning. 

313 | 1290 | brezillon_p |   Brezillon, P. | 1 | 745 | 498 |  Principles for the application of context in diagnostic problem solving,

314 | 1300 | brigham_j_c | Brigham, J. C. | 0 | 365 | 247 | The influence of race on face recognition. 

315 | 1310 | brink_a |  A. Brink | 2 | 851 | 549 |  HERMES: A heterogeneous reasoning and mediator system. 

316 | 1320 | brink_k_h |  K. H.Brink | 1 | 512 | 354 | Scales of variability of bio-optical properties as observed from near-surface drifters. 

317 | 1330 | briscoe_e |  Briscoe, E. | 6 | 1120 | 725 | CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine. 

318 | 1340 | brner_k |  Brner, K | 0 | 856 | 554 | Structural similarity as a guidance in case-based design. 

319 | 1350 | brooks_f_p |  F. P. Brooks, Jr. | 1 | 552 | 377 |  Fast analytical computation of Richards's smooth molecular surface. 

320 | 1360 | brouwer_p_s |  Brouwer, P. S. | 2 | 1511 | 880 | Associative search network: A reinforcement learning

321 | 1370 | brown_b | Brown, B. | 0 | 838 | 540 | A case-based reasoning solution to the problem of redundant resolutions of non-conformances in large scale manufacturing. 

322 | 1380 | brunelli_r |  R. Brunelli | 0 | 446 | 304 |  "Face Recognition: Features versus Templates". 
323 | 1380 | brunelli_r |  R. Brunelli | 0 | 447 | 304 |  "Face Recognition: Features versus Templates". 

324 | 1390 | bruynooghe_m |  Bruynooghe, M. | 1 | 271 | 184 | Belief updating from integrity constraints and queries . 
325 | 1390 | bruynooghe_m | M. Bruynooghe | 0 | 226 | 151 | Abstract Interpretation for ( Constraint ) Logic Programming . 
326 | 1390 | bruynooghe_m | M. Bruynooghe | 0 | 280 | 193 | Abstract Interpretation for ( Constraint ) Logic Programming . 
327 | 1390 | bruynooghe_m |  M. Bruynooghe | 0 | 281 | 194 | Abstract interpretation for ( constraint ) logic programming . 
328 | 1390 | bruynooghe_m |   M. Bruynooghe | 1 | 282 | 195 | Towards a Framework for Abstract Interpretation of Constraint Logic Programs . 
329 | 1390 | bruynooghe_m |   M. Bruynooghe | 2 | 1035 | 668 |  Temporal reasoning with abductive event calculus. 
330 | 1390 | bruynooghe_m |   M. Bruynooghe | 2 | 1036 | 668 |  Temporal reasoning with abductive event calculus. 
331 | 1390 | bruynooghe_m |   M. Bruynooghe | 2 | 12 | 12 | Detection of Free Variables in the Presence of Numeric Constraints by means of Abstract Interpretation . 
332 | 1390 | bruynooghe_m |   M. Bruynooghe | 2 | 13 | 13 | Detection of Free Variables in the Presence of Numeric Constraints . 
333 | 1390 | bruynooghe_m |  M. Bruynooghe | 2 | 14 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
334 | 1390 | bruynooghe_m |  M. Bruynooghe | 2 | 15 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
335 | 1390 | bruynooghe_m |  M. Bruynooghe | 2 | 16 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
336 | 1390 | bruynooghe_m |  M. Bruynooghe | 2 | 17 | 14 | Freeness analysis in the presence of numerical constraints . 
337 | 1390 | bruynooghe_m |  M. Bruynooghe | 2 | 18 | 14 | Freeness analysis in the presence of numerical constraints . 
338 | 1390 | bruynooghe_m |  M. Bruynooghe | 2 | 879 | 569 |  Goal Dependent vs Goal Independent Analysis of Logic Programs. 

339 | 1400 | bub_u |  U. Bub | 3 | 562 | 387 | : Multimodal Learning Interfaces, 

340 | 1410 | buchanan_b |  B. Buchanan | 1 | 1015 | 658 |  Protein secondary structure prediction using two-level case-based reasoning. 
341 | 1410 | buchanan_b_g |   B. G. Buchanan | 1 | 984 | 635 |  A Model of Inexact Reasoning in Medicine, in: Rule-Based Expert Systems, 
342 | 1410 | buchanan_b_g |   B.G. Buchanan | 1 | 987 | 636 |  A model of inexact reasoning in medicine. 
343 | 1410 | buchanan_b_g |   Buchanan, B. G. | 1 | 985 | 635 | A model of inexact reasoning in medicine, 
344 | 1410 | buchanan_g_b |  Buchanan, G. B. | 1 | 986 | 636 | A model of inexact reasoning in medicine. 

345 | 1430 | buchanan_m |  M. Buchanan | 1 | 525 | 366 |  The Fast Messages (FM) 2.0 streaming interface. 

346 | 1440 | buch_vineet |  Vineet Buch | 2 | 399 | 275 |  U-Net: A User-Level Network Interface for Parallel and Distributed Computing. 

347 | 1450 | buijtenen_w_m | Buijtenen W.M. | 0 | 1434 | 838 | Adaptive fuzzy control of satellite attitude by reinforcement learning. 

348 | 1460 | bunke_h |  Bunke, H | 0 | 858 | 556 | Similarity measures for structured representations. 

349 | 1470 | bunt_h |  Bunt, H. | 3 | 560 | 385 | The DenK-architecture: a fundamental approach to user-interfaces. 

350 | 1480 | burckert_hans-jurgen |   Hans-Jurgen Burckert | 1 | 913 | 593 |  Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. 
351 | 1480 | burckert_h-j |   H.-J. Burckert | 1 | 914 | 593 |  Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. 

352 | 1490 | burel_g |  G. Burel | 0 | 464 | 313 |  "Detection and Localization of Faces on Digital Images". 
353 | 1490 | burel_g |  G. Burel | 0 | 465 | 313 |  "Detection and Localization of Faces on Digital Images". 

354 | 1500 | burke_e_k | BURKE E. K. | 0 | 47 | 29 | A University Timetabling System Based on Graph Colouring and Constraint Manipulation , 
355 | 1500 | burke_e_k | Burke E. K. | 0 | 48 | 29 | A University Timetabling System Based on Graph Colouring and Constraint Manipulation , 

356 | 1510 | burl_m_c |  M.C. Burl | 0 | 471 | 317 |  "Face Localization via Shape Statistics". 
357 | 1510 | burl_m_c |  M.C. Burl | 0 | 472 | 317 |  "Face Localization via Shape Statistics". 
358 | 1510 | burl_m_c |  M.C. Burl | 1 | 473 | 318 |  "Finding Faces in Cluttered Scenes using Random Labeled Graph Matching". 

359 | 1520 | burstein_mark_h | Mark H. Burstein | 0 | 728 | 487 |  Analogy vs. CBR; The purpose of mapping. 
360 | 1520 | burstein_m |  Burstein, M | 0 | 729 | 487 | Analogy vs. cbr; the purpose of mapping. 
361 | 1520 | burstein_m_h | Burstein M. H. | 0 | 1003 | 647 |  Concept Formation by Analogical Reasoning and Debugging, 

362 | 1530 | burt_p_j |  P.J. Burt | 0 | 600 | 418 |  A multiscale face recognition system. 

363 | 1540 | byrd_r |  Byrd, R. | 0 | 367 | 249 |  Lexical Assistance at the Information Retrieval User Interface. 
364 | 1540 | byrd_roy |  Roy Byrd | 0 | 368 | 249 |  Lexical assistance at the information retrieval user interface. 

365 | 1550 | byun_y |  Y. Byun | 1 | 661 | 461 |  A robust, qualitative method for robot spatial reasoning. 

366 | 1560 | cagan_j |   J. Cagan | 1 | 659 | 459 |  Activity analysis: The qualitative analysis of stationary points for optimal reasoning. 

367 | 1570 | cain_t | Cain, T. | 0 | 735 | 491 | Using domain knowledge to influence similarity judgement. 
368 | 1570 | cain_t | Cain, T. | 0 | 736 | 491 | Using domain knowledge to influence similarity judgements. 
369 | 1570 | cain_t |  T. Cain | 0 | 734 | 491 |  Using domain knowledge to influence similarity judgments. 

370 | 1580 | calder_paul_r |  Paul R. Calder. | 2 | 569 | 393 |  Composing user interfaces with InterViews. 
371 | 1580 | calder_p |  P. Calder. | 2 | 570 | 393 |      Composing User Interfaces with Interviews    , 

372 | 1590 | caldwell_c |  C. Caldwell | 0 | 323 | 214 | Tracking a criminal suspect through "face-space" with a genetic algorithm. 

373 | 1600 | cao_y | Cao, Y | 2 | 314 | 211 | An Intelligent Interface for a Virtual Environment. 
374 | 1600 | cao_y |  Y. Cao | 2 | 315 | 211 | An intelligent interface for a virtual environment. 

375 | 1610 | carel_d |  D. Carel | 1 | 464 | 313 |  "Detection and Localization of Faces on Digital Images". 
376 | 1610 | carel_d |  D. Carel | 1 | 465 | 313 |  "Detection and Localization of Faces on Digital Images". 

377 | 1620 | carmo_m_p_d |  M. P. D. Carmo | 0 | 606 | 424 |  Differential Geometry of Curves and Surfaces. 

378 | 1630 | carro |  Carro | 9 | 1120 | 725 | CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine. 

379 | 1640 | carter_d |  Carter, D. | 1 | 1120 | 725 | CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine. 

380 | 1650 | cartwright_t_a |  Cartwright , T. A. | 1 | 267 | 182 | Distributional Regularity and Phonotactic Constraints are Useful for Segmentation . 

381 | 1660 | catmull_e |  E. Catmull | 0 | 359 | 242 |  A Subdivision Algorithm for Computer Display of Curved Surfaces. 

382 | 1670 | celniker_g | Celniker, G. | 0 | 618 | 431 |   Deformable  curveandsurface finite-elements forfree-fromshapedesign. 

383 | 1680 | ceri_s |  S. Ceri | 0 | 435 | 298 |  Consolidated specification of Chimera, the conceptual interface of IDEA. 

384 | 1690 | chandrasekaran_b |  B. Chandrasekaran | 0 | 1088 | 700 |  Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design. 
385 | 1690 | chandrasekaran_b |  B. Chandrasekaran | 0 | 872 | 565 |  Towards a theory of commonsense visual reasoning. 
386 | 1690 | chandrasekaran_b | Chandrasekaran, B. | 0 | 1089 | 700 | Generic tasks in knowledge-based reasoning: Highlevel building blocks for expert system design. 

387 | 1700 | chang_c | C. Chang | 0 | 303 | 208 |  "PROSQL: A Prolog Programming Interface with SQL/DS," 

388 | 1710 | chapman_david |  David Chapman | 0 | 1195 | 758 | . Learning from delayed reinforcement in a complex domain. 
389 | 1710 | chapman_david_j | David J. Chapman | 0 | 1194 | 757 | Input Generalization in Delayed Reinforcement Learning: An Algorithm and Performance Comparisons. 
390 | 1710 | chapman_d | Chapman, D. | 0 | 1191 | 757 | Input generalization in delayed reinforcement learning: An algorithm and performance comparisons. 
391 | 1710 | chapman_d | Chapman, D. | 0 | 1192 | 757 | "Input generalization in delayed reinforcement learning: An alogorithm and performance comparisons". 
392 | 1710 | chapman_d | Chapman, D.  | 0 | 1193 | 757 | Input generalization in delayed reinforcement learning: An algorithm and performance comparisons. 
393 | 1710 | chapman_d | Chapman, D.  | 0 | 1196 | 759 | Learning from delayed reinforcement in a complex domain. 
394 | 1710 | chapman_d | D. Chapman | 0 | 1197 | 759 |  Learning from Delayed Reinforcement In a Complex Domain. 
395 | 1710 | chapman_d |  D. Chapman | 3 | 513 | 355 |  Compass: Predicting biological activities from molecular surface properties. Performance comparisons on a steroid benchmark, 

396 | 1720 | charlier_b_le |  B. Le Charlier | 1 | 10 | 10 | EOEcient Abstract Interpretation of Prolog Programs by means of Constraint Solving over Finite Domains . 
397 | 1720 | charlier_b_le | B. Le Charlier | 1 | 9 | 9 | EOEcient Abstract Interpretation of Prolog Programs by means of Constraint Solving over Finite Domains ( extended abstract ) . 
398 | 1720 | charlier_b_le |  B. Le Charlier | 3 | 11 | 11 | Efficient Bottom-up Abstract Interpretation of Prolog by means of Constraint Solving over Symbolic Finite Domains . 

399 | 1730 | chatila_r |  Chatila, R. | 2 | 829 | 531 | Probabilistic Map Learning: Necessity and Difficulties. 

400 | 1740 | cheng_b |  B. Cheng | 1 | 394 | 271 |  MSEED: A program for rapid determination of accessible surface areas and their derivatives. 

401 | 1750 | chen_h |  H. Chen | 2 | 301 | 206 |  Calculations of viscous nonlinear freesurface flows using an interactive zonal approach. 

402 | 1760 | chiang_c |  C. Chiang | 1 | 1400 | 820 |  "A Self-Learning and Tuning Fuzzy Logic Controller Employing Reinforcement Learning". 

403 | 1770 | chien_a |  A. Chien | 3 | 525 | 366 |  The Fast Messages (FM) 2.0 streaming interface. 

404 | 1780 | chin_d_n | Chin, D. N. | 0 | 558 | 383 | Intelligent Interfaces As Agents. 

405 | 1790 | chouraqui_e | Chouraqui E. | 0 | 954 | 620 |  Construction of a Model for Reasoning by Analogy, 

406 | 1800 | chrisman_l | Chrisman, L. | 0 | 1317 | 795 | Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
407 | 1800 | chrisman_l | Chrisman, L. | 0 | 1318 | 795 | Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
408 | 1800 | chrisman_l | Chrisman, L. | 0 | 1319 | 795 | Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
409 | 1800 | chrisman_l | Chrisman, L. | 0 | 1320 | 795 | Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
410 | 1800 | chrisman_l | Chrisman, L. | 0 | 1322 | 795 | Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
411 | 1800 | chrisman_l | Chrisman, L. | 0 | 1501 | 874 | Notational conventions for the reinforcement learning workshop at ML93,
412 | 1800 | chrisman_l |  L. Chrisman | 0 | 1315 | 795 |  Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
413 | 1800 | chrisman_lonnie |  Lonnie Chrisman | 0 | 1314 | 795 |  Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
414 | 1800 | chrisman_lonnie |  Lonnie Chrisman | 0 | 1316 | 795 |  Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 
415 | 1800 | chrisman_lonnie |  Lonnie Chrisman | 0 | 1321 | 795 |  Reinforcement learning with perceptual aliasing: The perceptual distinctions approach. 

416 | 1810 | chung_h |  H. Chung | 0 | 1400 | 820 |  "A Self-Learning and Tuning Fuzzy Logic Controller Employing Reinforcement Learning". 

417 | 1820 | ciccarelli_eugene_c |  Eugene C. Ciccarelli | 0 | 590 | 409 |  Presentation Based User Interfaces.

418 | 1830 | cichosz_p |  P. Cichosz | 0 | 1402 | 822 |  "Truncating Temporal Differences: On the Efficient Implementation of TD(lambda) for Reinforcement Learning", 
419 | 1830 | cichosz_p |  P. Cichosz | 0 | 1403 | 822 |  Truncating temporal differences: On the efficient implementation of TD(>=) for reinforcement learning. 

420 | 1840 | cipolla_r |  R. Cipolla | 0 | 327 | 218 |  Surface Orientation and Time to Contact from Image Divergence and Deformation. 
421 | 1840 | cipolla_r |  R. Cipolla | 0 | 328 | 218 |  Surface orientation and time to contact from image divergence and deformation. 
422 | 1840 | cipolla_r |  R. Cipolla | 0 | 329 | 219 |  Surface shape from the deformation of apparent contours, 
423 | 1840 | cipolla_r |  R. Cipolla | 0 | 374 | 254 |  Uncalibrated stereo vision with pointing for a man-machine interface. 

424 | 1850 | clancy_d_j | Clancy, D. J. | 0 | 656 | 456 | Behavior abstraction for tractable simulation. 

425 | 1860 | clark_e_v | Clark , E. V. | 0 | 102 | 66 | The Principle of Contrast : A Constraint on Language Acquisition . 
426 | 1860 | clark_eve_v |  Eve V. Clark | 0 | 620 | 433 |  When nouns surface as verbs. 

427 | 1870 | clark_herbert_h |  Herbert H. Clark | 1 | 620 | 433 |  When nouns surface as verbs. 

428 | 1880 | clark_p |   P. Clark | 1 | 1152 | 744 |  Learning from imperfect data. 

429 | 1890 | clouse_j_a | Clouse, J.A. | 0 | 1167 | 752 | A teaching method for reinforcement learning. 
430 | 1890 | clouse_j_a | Clouse, J.A. | 0 | 1171 | 752 | A teaching method for reinforcement learning. 
431 | 1890 | clouse_j_a | Clouse, J. A.  | 0 | 1172 | 752 | A Teaching Method for Reinforcement Learning. 
432 | 1890 | clouse_j | Clouse, J.  | 0 | 1165 | 752 | A teaching method for reinforcement learning. 
433 | 1890 | clouse_j |  Clouse, J.  | 0 | 1166 | 752 |  A teaching method for reinforcement learning. 
434 | 1890 | clouse_j | Clouse, J. | 0 | 1168 | 752 | A teaching method for reinforcement learning. 
435 | 1890 | clouse_j | Clouse, J. | 0 | 1169 | 752 |  A teaching method for reinforcement learning. 
436 | 1890 | clouse_j | Clouse, J. | 0 | 1170 | 752 | A teaching method for reinforcement learning. 
437 | 1890 | clouse_j |  Clouse, J.  | 0 | 1173 | 752 |  A teaching method for reinforcement learning. 
438 | 1890 | clouse_jeffery_a |  Jeffery A. Clouse | 0 | 1164 | 752 |  A teaching method for reinforcement learning. 

439 | 1900 | cobb_helen_g | Helen G. Cobb | 0 | 1499 | 872 | Toward Understanding Learning Biases in a Collective Reinforcement Learner. 

440 | 1910 | codish_m | M. Codish | 0 | 110 | 70 | EOEcient Analysis of Concurrent Constraint Logic Programs . 
441 | 1910 | codish_m |  M. Codish | 0 | 879 | 569 |  Goal Dependent vs Goal Independent Analysis of Logic Programs. 
442 | 1910 | codish_m |   M. Codish | 3 | 14 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
443 | 1910 | codish_m |   M. Codish | 3 | 15 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
444 | 1910 | codish_m |   M. Codish | 3 | 16 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
445 | 1910 | codish_m |   M. Codish | 3 | 17 | 14 | Freeness analysis in the presence of numerical constraints . 
446 | 1910 | codish_m |   M. Codish | 3 | 18 | 14 | Freeness analysis in the presence of numerical constraints . 

447 | 1920 | codispoti_l_a |  L. A. Codispoti | 6 | 512 | 354 | Scales of variability of bio-optical properties as observed from near-surface drifters. 

448 | 1930 | codognet_c | C. Codognet | 0 | 284 | 197 | A general semantics for Concurrent Constraint Languages and their Abstract Interpretation . 

449 | 1940 | codognet_p | P. Codognet | 0 | 146 | 98 | Computations , Abstractions and Constraints ( abstract ) . 
450 | 1940 | codognet_p | P. Codognet | 0 | 147 | 98 | Computations , Abstractions and Constraints in Logic Programs . 
451 | 1940 | codognet_p | P. Codognet | 0 | 162 | 109 | Semantic foundations of concurrent constraint programming . 
452 | 1940 | codognet_p |   P. Codognet | 1 | 284 | 197 | A general semantics for Concurrent Constraint Languages and their Abstract Interpretation . 

453 | 1950 | cohen_j |  J. Cohen | 0 | 233 | 158 | Constraint logic programming languages . 
454 | 1950 | cohen_j |  J. Cohen | 0 | 234 | 158 | Constraint logic programming languages . 
455 | 1950 | cohen_j | J. Cohen | 0 | 235 | 158 | Constraint logic programming languages . 

456 | 1960 | cohen_philip_r | Philip R. Cohen, | 0 | 433 | 296 |  Adaptive Interfaces, 
457 | 1960 | cohen_philip_r | Philip R. Cohen | 0 | 434 | 297 |  The Role of Natural Language in a Multimodal Interface, 
458 | 1960 | cohen_p_r |  Cohen, P.R. | 1 | 415 | 285 |  Toward interface design for human language technology: Modality and structure as determinants of linguistic complexity, 

459 | 1970 | cohen_robin |   Robin Cohen | 1 | 1083 | 697 |  Exact and approximate reasoning about temporal relations. 

460 | 1980 | cohen_william_w | William W. Cohen | 0 | 1008 | 651 |  Learning the classic description logic: Theoretical and experimental results. 

461 | 1990 | cohn_a_g | Cohn, A. G. | 0 | 1037 | 669 | Logical and computational aspects of spatial reasoning. 
462 | 1990 | cohn_a_g | COHN, A. G. | 0 | 1038 | 669 |  Logical and computational aspects of spatial reasoning. 
463 | 1990 | cohn_a_g | Cohn, A. G. | 0 | 1039 | 669 | Logical and computational aspects of spatial reasoning. 

464 | 2000 | cohn_h | Cohn, H. | 0 | 605 | 423 | Conformal mappings on Riemann surfaces. 

465 | 2010 | collins_gregg | Gregg Collins | 0 | 906 | 588 |  A modelbased approach to learning from planning failures. 

466 | 2020 | collins_robert_j | Collins, Robert J. | 0 | 375 | 255 | CM++: A C++ interface to the Connection Machine. 
467 | 2020 | collins_robert_j | Collins, Robert J. | 0 | 376 | 255 | CM++: A C++ interface to the Connection Machine. 

468 | 2030 | colombetti_m |  M. Colombetti | 1 | 1544 | 892 |  The role of the Trainer in Reinforcement Learning, 

469 | 2040 | connel_j |  Connel, J. | 1 | 1275 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
470 | 2040 | connell_j | Connell, J. | 1 | 1262 | 783 | Automatic Programming of Behavior-Based Robots using Reinforcement Learning, 
471 | 2040 | connell_j |   Connell, J. | 1 | 1271 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
472 | 2040 | connell_j |  Connell, J. | 1 | 1272 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
473 | 2040 | connell_j |  Connell, J. | 1 | 1276 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
474 | 2040 | connell_j |   Connell, J. | 1 | 1277 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
475 | 2040 | connell_j |   Connell, J. | 1 | 1278 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
476 | 2040 | connell_j |  Connell, J. | 1 | 1279 | 785 | "Automatic programming of behavior-based robots using reinforcement learning", 
477 | 2040 | connell_j |  Connell, J. | 1 | 1280 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
478 | 2040 | connell_j |   Connell, J. | 1 | 1282 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
479 | 2040 | connell_j |   Connell, J. | 1 | 1284 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
480 | 2040 | connell_j |  J. Connell | 1 | 1260 | 783 |  Automatic programming of behavior-based robots using reinforcement learning. 
481 | 2040 | connell_j |   J. Connell | 1 | 1261 | 783 |  Automatic programming of behavior-based robots using reinforcement learning. 
482 | 2040 | connell_j |  J. Connell | 1 | 1263 | 783 |  Automatic programming of behavior-based robots using reinforcement learning. 
483 | 2040 | connell_j |  J. Connell | 1 | 1273 | 785 |  Automatic programming of behavior-based robots using reinforcement learning. 
484 | 2040 | connell_j |  J. Connell | 1 | 1274 | 785 |  Automatic programming of behavior-based robots using reinforcement learning, 
485 | 2040 | connell_j |  J. Connell | 1 | 1281 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
486 | 2040 | connell_j | J. Connell | 1 | 1283 | 785 | Automatic programming of behavior-based robots using reinforcement learning. 
487 | 2040 | connell_j |  J. Connell | 1 | 1286 | 786 | . Automatic programming of behavior-based robots using reinforcement learning. 
488 | 2040 | connell_jonathan |  Jonathan Connell | 1 | 1285 | 786 |  Automatic programming of behavior-based robots using reinforcement learning. 
489 | 2040 | connell_jonathan |  Jonathan Connell | 1 | 1287 | 787 |  Scaling reinforcement learning to robotics by exploiting the subsumption architecture. 
490 | 2040 | connell_jonathan |  Jonathan Connell | 1 | 1288 | 787 |  Scaling reinforcement learning to robotics by exploiting the subsumption architecture. 

491 | 2060 | connolly_m_l |  M. L. Connolly | 0 | 607 | 425 |  Solvent-accessible surfaces of proteins and nucleic acids. 
492 | 2060 | connolly_m_l |  M. L. Connolly | 0 | 608 | 425 |  Solvent-accessible surfaces of proteins and nucleic acids, 

493 | 2070 | conruyt_n |  N. Conruyt | 5 | 834 | 536 | , Induction and reasoning from cases. 
494 | 2070 | conruyt_n |  N. Conruyt | 6 | 1013 | 656 | Integrating Inductive and Case-Based Technologies for Classification and Diagnostic Reasoning. 

495 | 2080 | conry_s_e | Conry , S. E.  | 0 | 143 | 95 | Multistage negotiation for distributed constraint satisfaction . 
496 | 2080 | conry_s_e | Conry, S. E. | 0 | 955 | 621 | DARES: A Distributed Automated REasoning System. 
497 | 2080 | conry_s_e | Conry, S. E. | 0 | 956 | 621 | DARES: A Distributed Automated REasoning System. 
498 | 2080 | conry_susan_e | Conry, Susan E. | 0 | 957 | 621 | DARES: A Distributed Automated REasoning System. 

499 | 2090 | coombs_s | Coombs , S.   | 0 | 25 | 19 | Genetic algorithms and communication link speed design : Constraints and operators . 
500 | 2090 | coombs_s | S. Coombs | 0 | 24 | 19 | Genetic algorithms and communication link speed design : constraints and operators . 

501 | 2100 | cootes_t_f |  T.F. Cootes | 2 | 466 | 314 |  "Automatic Interpretation of Human Faces and Hand Gestures Using Flexible Models". 

502 | 2110 | coppock_r | Coppock , R. | 0 | 277 | 190 | Social Constraints on Technological Progress . 

503 | 2120 | cormen_t_h |   Cormen, T. H. | 2 | 1191 | 757 | Input generalization in delayed reinforcement learning: An algorithm and performance comparisons. 

504 | 2130 | cornuejols_g |  G. Cornuejols | 0 | 549 | 374 |  On the 0,1 facet of the set covering problems. 

505 | 2140 | corsini_m_-_m | M. - M. Corsini | 0 | 10 | 10 | EOEcient Abstract Interpretation of Prolog Programs by means of Constraint Solving over Finite Domains . 
506 | 2140 | corsini_m_-_m | M. - M. Corsini | 0 | 11 | 11 | Efficient Bottom-up Abstract Interpretation of Prolog by means of Constraint Solving over Symbolic Finite Domains . 
507 | 2140 | corsini_m_-_m | M. - M. Corsini | 0 | 9 | 9 | EOEcient Abstract Interpretation of Prolog Programs by means of Constraint Solving over Finite Domains ( extended abstract ) . 

508 | 2150 | costantini_s | Costantini, S. | 0 | 1145 | 739 |  Metalevel negation and nonmonotonic reasoning. 

509 | 2160 | cottrell_g | G. Cottrell | 0 | 364 | 246 | EMPATH: Face, emotion, and gender recognition using holons. 
510 | 2160 | cottrell_g_w |  G.W. Cottrell | 1 | 350 | 233 |  A model of scan paths applied to face recognition. 
511 | 2160 | cottrell_g_w |  G.W. Cottrell | 3 | 462 | 311 |  "Connectionist Models of Face Processing: A Survey". 

512 | 2170 | cowan_d_d |  D. D. Cowan | 0 | 421 | 291 |  "Rita - An Editor User Interface for Manipulating Structured Documents", 

513 | 2180 | cox_m_t |  Cox, M T | 0 | 1001 | 645 | Using introspective reasoning to select learning strategies. 
514 | 2180 | cox_m_t |   Cox, M. T. | 1 | 1002 | 646 | Introspective Reasoning Using Meta-Explanations for Multistrategy Learning. 

515 | 2190 | coyne_r_d |   Coyne, R.D. | 1 | 1128 | 729 | Reasoning about spatial constraints, 
516 | 2190 | coyne_r_d |  Coyne , R. D. | 1 | 275 | 188 | Reasoning about spatial constraints , 

517 | 2200 | craig_l | L. Craig | 0 | 204 | 135 | User ' s guide for CFSQP version 2. 1 : A C code for solving ( large scale ) constrained nonlinear ( minimax ) optimization problems , generating iterates satisfying all inequality constraints . 

518 | 2210 | crawford_j_m | Crawford, J. M. | 0 | 889 | 579 | ALL: formalizing acess-limited reasoning. 
519 | 2210 | crawford_j_m |  J.M. Crawford | 0 | 1099 | 709 |  A theoretical analysis of reasoning by symmetry in first-order logic. 

520 | 2220 | crites_r_h | Crites R.H. | 0 | 1385 | 815 | Improving elevator performance using reinforcement learning. 
521 | 2220 | crites_r_h | Crites, R. H.  | 0 | 1389 | 815 | Improving elevator performance using reinforcement learning. 
522 | 2220 | crites_r_h | Crites, R. H.  | 0 | 1391 | 815 | "Improving Elevator Performance Using Reinforcement Learning," 
523 | 2220 | crites_r_h | Crites, R. H.  | 0 | 1392 | 815 | Improving elevator performance using reinforcement learning. 
524 | 2220 | crites_r_h |  R.H. Crites | 0 | 1387 | 815 |  Improving elevator performance using reinforcement learning. 
525 | 2220 | crites_r_h |  R. H. Crites | 0 | 1388 | 815 |  Improving Elevator Performance using Reinforcement Learning. 
526 | 2220 | crites_r_h |  R. H. Crites | 1 | 1500 | 873 |  Multiagent reinforcement learning and the iterated prisoner's dilemma. 
527 | 2220 | crites_r |  R. Crites | 0 | 1386 | 815 |  Improving elevator performance using reinforcement learning. 
528 | 2220 | crites_r |  R. Crites | 0 | 1390 | 815 |  Improving elevator performance using reinforcement learning. 

529 | 2230 | crouch_r |  Crouch, R. | 2 | 1120 | 725 | CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine. 

530 | 2240 | crowley_j | Crowley, J. | 0 | 828 | 530 | Mathematical Foundations of Navigation and Perception for an Autonomous Mobile Robot. 
531 | 2240 | crowley_j_l | J. L. Crowley | 0 | 827 | 530 |  Mathematical foundations of navigation an perception for an autonomous mobile robot. 

532 | 2250 | crutchfield_j_p |  J. P. Crutchfield  | 2 | 1121 | 726 |  Scientific Reasoning: The Bayesian Approach. 

533 | 2260 | cui_z |  Cui, Z. | 1 | 1037 | 669 | Logical and computational aspects of spatial reasoning. 
534 | 2260 | cui_z |  CUI, Z. | 1 | 1038 | 669 |  Logical and computational aspects of spatial reasoning. 
535 | 2260 | cui_z |  Cui, Z. | 1 | 1039 | 669 | Logical and computational aspects of spatial reasoning. 

536 | 2270 | culler_david |  David Culler | 0 | 484 | 327 |  LogP Performance Assessment of Fast Network Interfaces. 
537 | 2270 | culler_david |  David Culler | 0 | 485 | 327 |  LogP Performance Assessment of Fast Network Interfaces. 

538 | 2280 | cunningham_p |  Cunningham, P. | 1 | 676 | 471 | Dj Vu: A hierarchical case-based reasoning system for software design. 

539 | 2290 | d'ambrosio_b |   D'Ambrosio, B. | 1 | 944 | 611 | Efficient inference in bayes nets as a combinatorial optimization problem. 
540 | 2290 | d'ambrosio_b |  D'Ambrosio, B.  | 1 | 945 | 611 | Efficient inference in Bayes networks as a combinatorial optimization problem. 
541 | 2290 | d'ambrosio | D'Ambrosio | 0 | 946 | 612 | Local expression languages for probabilistic dependence. 

542 | 2300 | dam_j_w_m_van |  J.W.M. van Dam | 1 | 1223 | 770 | Adaptive state space quantisation for reinforcement learning of collision-free navigation, 
543 | 2300 | dam_j_w_m_van |  J.W.M. van Dam | 1 | 1224 | 771 |  "Learning to avoid collision: a reinforcement learning paradigm for mobile robot navigation" 

544 | 2310 | dandrade_r_g | DAndrade, R. G. | 0 | 1095 | 706 | Culturally Based Reasoning. 
545 | 2310 | dandrade_r_g | DAndrade, R. G. | 0 | 1096 | 706 | Culturally Based Reasoning, 

546 | 2320 | dantzig_g_b |  G.B. DANTZIG | 1 | 559 | 384 | Decision making  and problem solving, 

547 | 2330 | darses_3_francoise | 3. Francoise Darses | 0 | 117 | 75 | The constraint satisfaction approach to design : A psychological investigation . 

548 | 2340 | das_r |   Das, R. | 2 | 1415 | 827 | Genetic Reinforcement Learning with Multilayer Neural Networks. 
549 | 2340 | das_r |  Das, R. | 2 | 1471 | 857 | Genetic reinforcement learning for neurocontrol problems. 
550 | 2340 | das_r |  Das, R. | 2 | 1472 | 857 | Genetic Reinforcement Learning for Neurocontrol Problems. 
551 | 2340 | das_r |  Das, R. | 2 | 1473 | 857 | Genetic reinforcement learning for neurocontrol problems. 
552 | 2340 | das_r |  R. Das | 2 | 1416 | 827 |  Genetic reinforcement learning with multilayer neural networks. 
553 | 2340 | das_r | R. Das | 2 | 1474 | 857 | Genetic reinforcement learning for neurocontrol problems. 
554 | 2340 | das_r | R. Das | 2 | 1475 | 857 | Genetic reinforcement learning for neurocontrol problems. 
555 | 2340 | das_r | R. Das | 2 | 1476 | 857 | Genetic reinforcement learning for neurocontrol problems. 

556 | 2350 | davies_s |  S. Davies | 0 | 1394 | 817 |  Multidimensional Triangulation and Interpolation for Reinforcement Learning. 
557 | 2350 | davies_s |  S. Davies | 0 | 1399 | 819 |  Applying grid-based interpolation to reinforcement learning. 

558 | 2360 | davies_t_r |  T.R. Davies | 0 | 910 | 590 |  A logical approach to reasoning by analogy. 

559 | 2370 | davis_c_o | C. O. Davis  | 5 | 512 | 354 | Scales of variability of bio-optical properties as observed from near-surface drifters. 

560 | 2380 | davis_l |  Davis , L. | 1 | 25 | 19 | Genetic algorithms and communication link speed design : Constraints and operators . 
561 | 2380 | davis_l |   L. Davis | 1 | 22 | 17 | Shall we repair Genetic algorithms , combinatorial optimization , and feasibilty constraints . 
562 | 2380 | davis_l |  L. Davis | 1 | 24 | 19 | Genetic algorithms and communication link speed design : constraints and operators . 

563 | 2390 | dayan_p | Dayan, P. | 0 | 1351 | 806 | Feudal reinforcement learning. 
564 | 2390 | dayan_p | Dayan, P. | 0 | 1353 | 806 | Feudal reinforcement learning. 
565 | 2390 | dayan_p | Dayan, P.  | 0 | 1354 | 806 | Feudal reinforcement learning. 
566 | 2390 | dayan_p | Dayan, P. | 0 | 1355 | 806 | Feudal reinforcement learning. 
567 | 2390 | dayan_p | P. Dayan | 0 | 1352 | 806 |  Feudal Reinforcement Learning. 

568 | 2400 | dean_j |  Dean, J. | 5 | 771 | 506 | Classifying news stories using memory based reasoning. 

569 | 2410 | dean_n |  N. DEAN | 0 | 519 | 361 | NETPAD: An interactive  graphics system for network modeling and optimization,

570 | 2420 | dean_t | Dean, T. | 0 | 1004 | 648 | A model for reasoning about causality and persistence. 
571 | 2420 | dean_t |  Dean, T.   | 0 | 190 | 126 | Planning under time constraints in stochastic domains. 
572 | 2420 | dean_thomas |  Dean, Thomas | 0 | 1005 | 648 | A model for reasoning about persistence and causation. 
573 | 2420 | dean_thomas | Thomas Dean | 0 | 191 | 126-2 | Planning under time constraints in stochastic domains . 

574 | 2430 | debray_s_k |  S. K. Debray | 1 | 5 | 5 | Joining Abstract and Concrete Computations in Constraint Logic Programming . 
575 | 2430 | debray_s_k |  S. K. Debray | 1 | 6 | 6 | A Generalized Semantics for Constraint Logic Programs . 
576 | 2430 | debray_s_k |  S. K. Debray | 1 | 8 | 8 | Generalized Semantics and Abstract Interpretation for Constraint Logic Programs . 

577 | 2440 | dechter_r |  Dechter, R. | 2 | 1004 | 648 | A model for reasoning about causality and persistence. 
578 | 2440 | dechter_r | R. Dechter | 0 | 184 | 122 | Network-based heuristics for constraintsatisfaction problems . 
579 | 2440 | dechter_r | R. Dechter | 0 | 185 | 122 | Network-based heuristics for constraint satisfaction problems . 
580 | 2440 | dechter_r | R. Dechter | 0 | 186 | 122 | NetworkBased Heuristics for ConstraintSatisfaction Problems , 
581 | 2440 | dechter_r | R. Dechter | 0 | 70 | 46 | Constraint Networks , 
582 | 2440 | dechter_r | R. Dechter | 0 | 72 | 46 | Constraint networks . 
583 | 2440 | dechter_r | R. Dechter | 0 | 73 | 46 | Constraint Networks , 
584 | 2440 | dechter_r |  R. Dechter | 1 | 82 | 52 | Constraint tightness versus global consistency . 
585 | 2440 | dechter_r |   R. Dechter | 1 | 973 | 628 |  Constraint tightness versus global consistency. 

586 | 2450 | deffenbacher_k_a |  K.A. Deffenbacher | 2 | 461 | 310 |  Low-dimensional representation of faces in higher dimensions of the face space. 

587 | 2460 | deffuant_guillaume |  Guillaume Deffuant | 0 | 554 | 379 |  An algorithm for building regularized piecewise linear discrimination surfaces: The perceptron membrane. 

588 | 2470 | delcher_a |  Delcher , A. | 1 | 84 | 54 | Analysis of local consistency in parallel constraint networks . 

589 | 2480 | d'eleuterio_g_m_t |  D'Eleuterio, G. M. T. | 1 | 1420 | 831 | CMAC Manipulator Control Using a Reinforcement Learned Trajectory Planner 

590 | 2490 | delgrande_j_p |  J. P. Delgrande | 0 | 837 | 539 |  Default logic revisited. 

591 | 2500 | delmas_sven |  Sven Delmas | 0 | 402 | 278 |  XF Design and Implementation of a Programming Environment for Interactive Construction of Graphical User Interfaces. 

592 | 2510 | demazeau_yves |   Yves Demazeau | 1 | 1108 | 716 |  Exploiting social reasoning to deal with agency level inconistency. 

593 | 2520 | demillo_richard_a | Richard A. DeMillo | 0 | 144 | 96 | Constraint based automatic test data generation . 

594 | 2530 | demonchaux_e |  Demonchaux, E  | 1 | 384 | 262 |  Data analysis, data bases and expert systems: the common interface, 

595 | 2540 | denecker_m | M. Denecker | 0 | 1035 | 668 |  Temporal reasoning with abductive event calculus. 
596 | 2540 | denecker_m |  M. Denecker | 0 | 1036 | 668 |  Temporal reasoning with abductive event calculus. 
597 | 2540 | denecker_m | M. Denecker | 0 | 1057 | 679 |  Knowledge Representation and Reasoning in Incomplete Logic Programming. 
598 | 2540 | denecker_m |  M. Denecker | 0 | 1058 | 679 |  Knowledge Representation and Reasoning in Incomplete Logic Programming. 

599 | 2550 | den_os_e |  den Os , E. | 2 | 252 | 172 | The ( non ) realization of unstressed elements in children ' s utterances : a rhythmic constraint . 

600 | 2560 | dent_l |  L. Dent | 1 | 340 | 227 |  Interfaces that Learn: A Learning Apprentice for Calendar Management, 

601 | 2570 | de_raedt_l |  De Raedt, L.  | 0 | 271 | 184 | Belief updating from integrity constraints and queries . 

602 | 2580 | derose_t_d |  DEROSE, T. D., | 1 | 356 | 239 |  Multiresolution Surfaces of Arbitrary Topological Type. 
603 | 2580 | derose_t |  T. DeRose | 1 | 506 | 348 |  Surface reconstruction from unorganized points. 

604 | 2590 | dietterich_t_g | Dietterich, T. G. | 0 | 1232 | 774 | Explanationbased learning and reinforcement learning: A unifed view. 
605 | 2590 | dietterich_t_g |  Dietterich, T. G. | 1 | 1228 | 772 | "A Reinforcement Learning Approach to Job Shop Scheduling," 
606 | 2590 | dietterich_t_g | T. G. Dietterich | 0 | 227 | 152 | Constraint Propagation Techniques for theory-driven data interpretation . 
607 | 2590 | dietterich_t_g |  T. G. Dietterich | 1 | 1227 | 772 |  A reinforcement learning approach to job-shop scheduling. 
608 | 2590 | dietterich_t |  T. Dietterich | 1 | 1225 | 772 |  A reinforcement learning approach to job-shop scheduling. 
609 | 2590 | dietterich_t |  T. Dietterich | 1 | 1226 | 772 |  A reinforcement learning approach to job-shop scheduling. 

610 | 2600 | digney_b | Digney, B. | 0 | 1221 | 768 | Emergent hierarchical control structures: Learning reactive/hierarchical relationships in reinforcement environments. 

611 | 2610 | dincbas_m | Dincbas, M. | 2 | 90 | 58 | Constraint satisfaction using constraint logic programming . 

612 | 2620 | dittrich_s |  S. Dittrich | 9 | 1013 | 656 | Integrating Inductive and Case-Based Technologies for Classification and Diagnostic Reasoning. 

613 | 2630 | dobkin_d_p |  D. P. Dobkin | 0 | 501 | 343 |  Random-edge discrepancy of supersampling patterns. 

614 | 2640 | dobson_m | Dobson, M. | 0 | 933 | 605 | Towards an analysis of aspects of visual media in relation to learning outcomes: A study in improving syllogistic reasoning skills. 

615 | 2650 | dominic_s |  Dominic, S.  | 1 | 1415 | 827 | Genetic Reinforcement Learning with Multilayer Neural Networks. 
616 | 2650 | dominic_s |  Dominic, S. | 1 | 1471 | 857 | Genetic reinforcement learning for neurocontrol problems. 
617 | 2650 | dominic_s |  Dominic, S. | 1 | 1472 | 857 | Genetic Reinforcement Learning for Neurocontrol Problems. 
618 | 2650 | dominic_s |  Dominic, S. | 1 | 1473 | 857 | Genetic reinforcement learning for neurocontrol problems. 
619 | 2650 | dominic_s | S. Dominic | 1 | 1416 | 827 |  Genetic reinforcement learning with multilayer neural networks. 
620 | 2650 | dominic_s | S. Dominic | 1 | 1474 | 857 | Genetic reinforcement learning for neurocontrol problems. 
621 | 2650 | dominic_s | S. Dominic | 1 | 1475 | 857 | Genetic reinforcement learning for neurocontrol problems. 
622 | 2650 | dominic_s | S. Dominic | 1 | 1476 | 857 | Genetic reinforcement learning for neurocontrol problems. 

623 | 2660 | don_abbe |  Abbe Don | 3 | 643 | 449 |  Guides: Characterizing the interface. 

624 | 2670 | dorigo_m | Dorigo M. | 0 | 1401 | 821 | Ant-Q: A Reinforcement Learning Approach to Combinatorial Optimization. 
625 | 2670 | dorigo_m |  Dorigo, M. | 1 | 1545 | 893 | Ant-Q: A Reinforcement Learning approach to the traveling salesman problem, 
626 | 2670 | dorigo_m |  Dorigo, M. | 1 | 1548 | 893 | Ant-Q: A Reinforcement Learning approach to the traveling salesman problem, 
627 | 2670 | dorigo_m | M. Dorigo | 0 | 1544 | 892 |  The role of the Trainer in Reinforcement Learning, 
628 | 2670 | dorigo_m |  M. Dorigo | 1 | 1546 | 893 |  Ant-Q: A Reinforcement Learning Approach to the Traveling Salesman Problem. 
629 | 2670 | dorigo_m |  M. Dorigo | 1 | 1547 | 893 |  Ant-Q: A Reinforcement Learning Approach to the Traveling Salesman Problem. 

630 | 2680 | dorward_s |  S. Dorward | 0 | 510 | 352 |  A survey of object-space hidden surface removal. 

631 | 2690 | doshita_s |   S. Doshita | 1 | 800 | 511 |  Reasoning about discontinuous change. 

632 | 2700 | doyle_j |  J. Doyle | 0 | 958 | 622 |  Rationality and its Roles in Reasoning (extended version), 
633 | 2700 | doyle_j |  J. Doyle | 0 | 959 | 622 |  Rationality and its Roles in Reasoning (extended version), 
634 | 2700 | doyle_j |   J. Doyle | 1 | 1072 | 689 |  Non-monotonic Reasoning I. 

635 | 2710 | draper_d |  D. Draper | 3 | 806 | 517 | . An Approach to Planning with Incomplete Information. 
636 | 2710 | draper_d |  D. Draper | 3 | 809 | 517 |  An approach to planning with incomplete information. 
637 | 2710 | draper_d |  D. Draper | 3 | 810 | 517 |  An Approach to Planning with Incomplete Information. 
638 | 2710 | draper_d |  D. Draper | 3 | 811 | 517 |  An Approach to Planning with Incomplete Information. 
639 | 2710 | draper_d |  D. Draper | 3 | 812 | 517 |  An Approach to Planning with Incomplete Information. 
640 | 2710 | draper_d |  Draper, D. | 3 | 808 | 517 | An Approach to Planning with Incomplete Information. 

641 | 2720 | draper_n_r |  N. R. Draper.  | 1 | 628 | 441 | Empirical ModelBuilding and Response Surfaces.
642 | 2720 | draper_n_r |  N. R. Draper | 1 | 629 | 441 |  Empirical Model-Building and Response Surfaces.

643 | 2730 | drummond_mark |  Drummond, Mark  | 0 | 750 | 501 | Situated control rules. 
644 | 2730 | drummond_mark |  Mark Drummond | 0 | 902 | 584 |  A representation of action and belief for automatic planning systems. 
645 | 2730 | drummond_m | Drummond, M. | 0 | 749 | 501 | Situated control rules. 
646 | 2730 | drummond_m |  Drummond, M. | 0 | 751 | 501 |  Situated Control Rules. 
647 | 2730 | drummond_m |  Drummond, M. | 0 | 752 | 501 | Situated Control Rules. 
648 | 2730 | drummond_m |  Drummond, M. | 0 | 901 | 584 | A Representation of Action and Belief for Automatic Planning Systems. 
649 | 2730 | drummond_m |  Drummond, M. | 1 | 733 | 490 | Total Order vs. Partial Order Planning: Factors Influencing Performance. 

650 | 2740 | dubnick_cezary |  Cezary Dubnick | 1 | 413 | 283 | Protected, user-level dma for the shrimp network interface. 

651 | 2740 | dubnicki_c |  C. Dubnicki | 1 | 449 | 305 |  Virtual memory mapped network interfaces. 
652 | 2740 | dubnicki_c |  C. Dubnicki | 3 | 425 | 294 |  A Virtual Memory Mapped Network Interface  for the SHRIMP Multicomputer. 
653 | 2740 | dubnicki_c |  C. Dubnicki | 3 | 427 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
654 | 2740 | dubnicki_c |  C. Dubnicki | 3 | 428 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
655 | 2740 | dubnicki_c |  C. Dubnicki | 3 | 429 | 294 |  A virtual memory mapped network interface for the shrimp multicomputer. 
656 | 2740 | dubnicki_c |  C. Dubnicki | 3 | 430 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputers. 
657 | 2740 | dubnicki_c |  C. Dubnicki | 3 | 431 | 294 |  A virtual memory mapped network  interface for the SHRIMP multicomputer. 
658 | 2740 | dubnicki_cezary |  Cezary Dubnicki | 1 | 412 | 283 |  User-Level DMA for the SHRIMP Network Interface. 
659 | 2740 | dubnicki_cezary |  Cezary Dubnicki | 1 | 448 | 305 |  Virtualmemory-mapped network interfaces. 
660 | 2740 | dubnicki_cezary |  Cezary Dubnicki | 3 | 426 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 

661 | 2760 | duchamp_d |  D. Duchamp | 1 | 411 | 282 |  Service Interface and Replica Management Algorithm for Mobile File System Clients. 

662 | 2770 | duchamp_t |  T. Duchamp | 2 | 506 | 348 |  Surface reconstruction from unorganized points. 

663 | 2780 | duff_m |  M. Duff | 1 | 1495 | 868 |  Monte Carlo matrix inversion and reinforcement learning. 

664 | 2790 | dumortier_v | V. Dumortier | 0 | 12 | 12 | Detection of Free Variables in the Presence of Numeric Constraints by means of Abstract Interpretation . 
665 | 2790 | dumortier_v |  V. Dumortier | 0 | 13 | 13 | Detection of Free Variables in the Presence of Numeric Constraints . 
666 | 2790 | dumortier_v |  V. Dumortier | 0 | 14 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
667 | 2790 | dumortier_v |  V. Dumortier | 0 | 15 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
668 | 2790 | dumortier_v | V. Dumortier | 0 | 16 | 14 | Freeness Analysis in the Presence of Numerical Constraints . 
669 | 2790 | dumortier_v | V. Dumortier | 0 | 17 | 14 | Freeness analysis in the presence of numerical constraints . 
670 | 2790 | dumortier_v | V. Dumortier | 0 | 18 | 14 | Freeness analysis in the presence of numerical constraints . 

671 | 2800 | duncan_j |  J. Duncan | 0 | 393 | 270 |  Beyond the search surface: Visual search and attentional engagement. 

672 | 2810 | dyer_c_r |  C.R. Dyer | 1 | 354 | 237 |  "Global surface reconstruction by purposive control of observer motion," 

673 | 2820 | dyer_m_e |  M. E. Dyer  | 1 | 1 | 1 | Locating the Phase Transition in Constraint Satisfaction Problems . 

674 | 2830 | dyn_n |  DYN, N. | 0 | 514 | 356 |  A Butterfly Subdivision Scheme for Surface Interpolation with Tension Control. 

675 | 2840 | edelman_s |  S. Edelman | 1 | 349 | 232 |  Generalizing from a single view in face recognition. 
676 | 2840 | edelman_s |  S. Edelman | 2 | 348 | 231 |  Generalization across changes in illumination and viewing position in upright and inverted faces. 

677 | 2850 | edelsbrunner_h |  H. Edelsbrunner | 0 | 475 | 320 |  Measuring proteins and voids in proteins. 

678 | 2860 | edwards_p | Edwards, P. | 1 | 341 | 228 | Interface Agents that Learn: An Investigation of Learning Issues in a Mail Agent Interface. 
679 | 2860 | edwards_p |  Edwards, P.;  | 1 | 373 | 253 | Experience with Rule Induction and k-Nearest Neighbour Methods for Interface Agents that Learn. 

680 | 2870 | egeland_o |  O. Egeland | 2 | 98 | 63 | Control of vehicles with second-order nonholonomic constraints : Underactuated vehicles . 

681 | 2880 | egenhofer_m | Egenhofer, M. | 0 | 1129 | 730 | Reasoning about gradual changes of topological
682 | 2880 | egenhofer_m | EGENHOFER, M. | 0 | 1130 | 730 |  Reasoning about gradual changes of topological relationships. 
683 | 2880 | egenhofer_m | EGENHOFER, M. | 0 | 873 | 566 |  Reasoning about binary topological relations. 
684 | 2880 | egenhofer_m_j | Egenhofer, M. J. | 0 | 1131 | 730 | Reasoning about gradual changes of
685 | 2880 | egenhofer_m_j | Egenhofer, M. J. | 0 | 1132 | 730 | Reasoning about gradual changes of topological
686 | 2880 | egenhofer_m_j | Egenhofer, M. J. | 0 | 874 | 566 | Reasoning about binary topological relations. 
687 | 2880 | egenhofer_m_j | Egenhofer, M. J. | 0 | 876 | 566 | Reasoning about binary topological relations. 
688 | 2880 | egenhofer_m_j |  M.J. Egenhofer | 0 | 875 | 566 |  Reasoning about binary topological relations. 

689 | 2890 | eicken_thorsten_von |  Thorsten von Eicken | 0 | 399 | 275 |  U-Net: A User-Level Network Interface for Parallel and Distributed Computing. 

690 | 2900 | eisele_andreas | Andreas Eisele | 0 | 242 | 164 | Towards probabilistic extensions of constraint-based grammars . 

691 | 2910 | eisenhauer_g |  G. Eisenhauer | 1 | 498 | 340 |  A machine independent interface for lightweight threads. 

692 | 2920 | elgot-drapkin_j |  J. Elgot-Drapkin | 0 | 493 | 335 |  Memory, reason, and time: the step-logic approach. 
693 | 2920 | elgot-drapkin_j |  J. Elgot-Drapkin | 0 | 952 | 618 |  Reasoning situated in time I: Basic concepts. 

694 | 2930 | elliman_d_g | ELLIMAN D. G. | 1 | 47 | 29 | A University Timetabling System Based on Graph Colouring and Constraint Manipulation , 
695 | 2930 | elliman_d_g | Elliman D. G. | 1 | 48 | 29 | A University Timetabling System Based on Graph Colouring and Constraint Manipulation , 

696 | 2940 | elliot_g |  Elliot , G. | 1 | 180 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 
697 | 2940 | elliot_g |  Elliot , G. | 1 | 183 | 121 | Increasing Tree Search Efficiency for Constraint Satisfaction Problems . 
698 | 2940 | elliot_g_l |  Elliot , G. L. | 1 | 182 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 
699 | 2940 | elliot_g_l |   G. L. Elliot | 1 | 179 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 
700 | 2940 | elliott_g |   G. Elliott | 1 | 181 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 

701 | 2960 | elmroth_t |  Elmroth T.  | 0 | 592 | 411 | "Automatic Subproblem Optimization for Airline Crew Scheduling", 

702 | 2970 | emery_r |  R. Emery | 3 | 851 | 549 |  HERMES: A heterogeneous reasoning and mediator system. 

703 | 2980 | endo_i |  I. Endo | 4 | 414 | 284 |  "Cooperation between the human operator and the multi-agent robotic system - evaluation of agent monitoring methods for the human interface system -," 

704 | 2990 | epstein_s_l | Epstein, S. L. | 0 | 1033 | 666 | On Heuristic Reasoning, Reactivity, and Search. 
705 | 2990 | epstein_s_l | Epstein , S. L. | 0 | 114 | 72 | Hard Questions about Easy Tasks - Issues from Learning to Play Games , 

706 | 3000 | eric_j |  Eric J. | 1 | 188 | 124 | Reasoning under varying and uncertain resource constraints . 

707 | 3010 | espinoza_f | Espinoza, F.  | 0 | 398 | 274 | A WWW Interface to an Adaptive Hypermedia System. 

708 | 3020 | etherington_david_w |  David W. Etherington | 0 | 885 | 575 |  Vivid knowledge and tractable reasoning: Preliminary report. 
709 | 3020 | etherington_d |  D. Etherington | 0 | 1116 | 721 |  Reasoning with Incomplete Information. 
710 | 3020 | etherington_d |  D. Etherington | 0 | 883 | 573 |  Nonmonotonicity and the scope of reasoning: Preliminary report. 
711 | 3020 | etherington_d |   D. Etherington | 1 | 792 | 508 |  Hierarchical knowledge bases and efficient disjunctive reasoning. 
712 | 3020 | etherington_d_w |   D. W. Etherington | 1 | 793 | 508 |  Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning, 

713 | 3030 | etzioni_o | Etzioni, O. | 0 | 533 | 367 |  A Softbot-Based Interface to the Internet, 
714 | 3030 | etzioni_o |  Etzioni,O.  | 0 | 535 | 367 |  "A Softbot-Based Interface to the Internet," 
715 | 3030 | etzioni_o | Etzioni, O. | 0 | 537 | 367 | A softbot-based interface to the internet. 
716 | 3030 | etzioni_o | Etzioni, O. | 0 | 808 | 517 | An Approach to Planning with Incomplete Information. 
717 | 3030 | etzioni_o | Etzioni, O. | 0 | 935 | 606 | Tractable closed-world reasoning with updates. 
718 | 3030 | etzioni_o | O. Etzioni | 0 | 210 | 140 | Optimal Information Gathering on the Internet with Time and Cost Constraints . 
719 | 3030 | etzioni_o |  O. Etzioni | 0 | 527 | 367 |  A softbot-based interface to the internet. 
720 | 3030 | etzioni_o |  O. Etzioni | 0 | 528 | 367 |  A softbot-based interface to the internet. 
721 | 3030 | etzioni_o |  O. Etzioni | 0 | 529 | 367 |  A softbot-based interface to the Internet. 
722 | 3030 | etzioni_o |  O. Etzioni | 0 | 530 | 367 |  A softbot-based interface to the internet. 
723 | 3030 | etzioni_o |  O. Etzioni | 0 | 540 | 367 |  A softbot-based interface to the internet. 
724 | 3030 | etzioni_o |  O. Etzioni | 0 | 806 | 517 | . An Approach to Planning with Incomplete Information. 
725 | 3030 | etzioni_o |  O. Etzioni | 0 | 809 | 517 |  An approach to planning with incomplete information. 
726 | 3030 | etzioni_o |  O. Etzioni | 0 | 810 | 517 |  An Approach to Planning with Incomplete Information. 
727 | 3030 | etzioni_o |  O. Etzioni | 0 | 811 | 517 |  An Approach to Planning with Incomplete Information. 
728 | 3030 | etzioni_o |  O. Etzioni | 0 | 812 | 517 |  An Approach to Planning with Incomplete Information. 
729 | 3030 | etzioni_o |  O. Etzioni | 0 | 934 | 606 |  Tractable closed-world reasoning with updates. 
730 | 3030 | etzioni_o | O. Etzioni | 0 | 937 | 606 |  Tractable closed-world reasoning with updates. 
731 | 3030 | etzioni_o |  O. Etzioni | 0 | 938 | 606 |  Tractable closed-world reasoning with updates. 
732 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 526 | 367 |  A softbot-based interface to the internet. 
733 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 531 | 367 |  `A softbotbased interface to the internet', 
734 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 532 | 367 |  A softbot-based interface to the internet. 
735 | 3030 | etzioni_oren | Oren Etzioni | 0 | 534 | 367 |  A softbot-based interface to the internet. 
736 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 536 | 367 |  A softbot-based interface to the internet. 
737 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 538 | 367 |  A softbot-based interface to the internet. 
738 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 539 | 367 |  A softbot-based interface to the internet. 
739 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 807 | 517 | . An approach to planning with incomplete information. 
740 | 3030 | etzioni_oren |  Oren Etzioni | 0 | 936 | 606 |  Tractable closed world reasoning with updates. 

741 | 3040 | everett_s | S. Everett | 0 | 333 | 223 |  "Talking to InterFIS: Adding Speech Input to a Natural Language Interface," 
742 | 3040 | everett_stephanie | Stephanie Everett | 0 | 332 | 222 |  Adding Speech Recognition to a Natural Language Interface, 
743 | 3040 | everett_stephanie | Stephanie Everett | 0 | 334 | 223 |  Talking to InterFIS: Adding Speech Input to a Natural Language Interface, 

744 | 3050 | facello_m |  M. Facello | 1 | 475 | 320 |  Measuring proteins and voids in proteins. 

745 | 3060 | falaschi_m | M. Falaschi | 0 | 168 | 115 | Compositional Analysis for Concurrent Constraint Programming . 
746 | 3060 | falaschi_m | M. Falaschi | 1 | 110 | 70 | EOEcient Analysis of Concurrent Constraint Logic Programs . 

747 | 3070 | fallside_f |  F. Fallside | 1 | 1245 | 779 |  Dynamic reinforcement driven error propagation networks with application to game playing. 
748 | 3070 | fallside_f |  F. Fallside | 1 | 1246 | 779 |  Dynamic reinforcement driven error propagation networks with application to game playing. 

749 | 3080 | fan_h |  H. Fan | 0 | 361 | 244 |  On error surfaces of sufficient order adaptive IIR filters: proofs and counterexamples to a unimodality conjecture. 

750 | 3090 | fargier_h | Fargier , H.   | 1 | 45 | 27 | Valued Constraint Satisfaction Problems : Hard and Easy Problems . 

751 | 3100 | farquhar_adam |  Adam Farquhar | 0 | 1118 | 723 |  Focusing atms-based diagnosis and prediction. 
752 | 3100 | farquhar_a | Farquhar, A. | 0 | 832 | 534 | A semi-quantitiative physics compiler. 
753 | 3100 | farquhar_a | Farquhar, A. | 0 | 840 | 542 | QSIM: The program and its use. 

754 | 3110 | feiner_steven |  Steven Feiner | 1 | 495 | 337 |  A Visual Language for Browsing, Undoing and Redoing Graphical Interface Commands. 

755 | 3120 | felten_edward |  Edward Felten | 2 | 413 | 283 | Protected, user-level dma for the shrimp network interface. 
756 | 3120 | felten_edward |  Edward Felten | 2 | 448 | 305 |  Virtualmemory-mapped network interfaces. 
757 | 3120 | felten_edward_w |  Edward W. Felten | 1 | 602 | 420 |  Fast RPC on the SHRIMP Virtual Memory Mapped Network Interface.
758 | 3120 | felten_edward_w |  Edward W. Felten | 2 | 412 | 283 |  User-Level DMA for the SHRIMP Network Interface. 
759 | 3120 | felten_edward_w |  Edward W. Felten | 4 | 426 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
760 | 3120 | felten_e |  E. Felten | 2 | 449 | 305 |  Virtual memory mapped network interfaces. 
761 | 3120 | felten_e |  E. Felten | 4 | 425 | 294 |  A Virtual Memory Mapped Network Interface  for the SHRIMP Multicomputer. 
762 | 3120 | felten_e |  E. Felten | 4 | 427 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
763 | 3120 | felten_e |  E. Felten | 4 | 428 | 294 |  A Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. 
764 | 3120 | felten_e |  E. Felten | 4 | 429 | 294 |  A virtual memory mapped network interface for the shrimp multicomputer. 
765 | 3120 | felten_e |  E. Felten | 4 | 430 | 294 |  Virtual Memory Mapped Network Interface for the SHRIMP Multicomputers. 
766 | 3120 | felten_e |  E. Felten | 4 | 431 | 294 |  A virtual memory mapped network  interface for the SHRIMP multicomputer. 

767 | 3130 | fiechter_c-n |  Fiechter, C.-N. | 0 | 1514 | 883 | Efficient Reinforcement Learning. 

768 | 3140 | fikes_r_e |  R. E. Fikes | 1 | 1045 | 672 |  The DARPA Knowledge Sharing Effort: Progress report. 
769 | 3140 | fikes_r |  Fikes, R. | 1 | 1047 | 672 | The DARPA knowledge sharing effort: Progress report. 
770 | 3140 | fikes_r |  Fikes, R. | 2 | 905 | 587 |  JOSIE: An integration of specialized representation and reasoning tools. Working notes. 
771 | 3140 | fikes_r |  R. Fikes | 1 | 1042 | 672 |  The DARPA knowledge sharing effort: Progress report. 
772 | 3140 | fikes_r |  R. Fikes | 1 | 1043 | 672 |  The DARPA knowledge sharing effort: Progress report. 
773 | 3140 | fikes_r |  R. Fikes | 1 | 1044 | 672 |  The DARPA knowledge sharing effort: Progress report. 
774 | 3140 | fikes_r |  R. Fikes | 1 | 1046 | 672 |  The DARPA Knowledge Sharing Effort: Progress Report. 
775 | 3140 | fikes_r |  R. Fikes | 1 | 1048 | 672 |  The DARPA Knowledge Sharing Effort: Progress report. 

776 | 3150 | fil_g |   G. Fil | 1 | 146 | 98 | Computations , Abstractions and Constraints ( abstract ) . 
777 | 3150 | fil_g |   G. Fil | 1 | 147 | 98 | Computations , Abstractions and Constraints in Logic Programs . 

778 | 3160 | finin_t |  Finin, T. | 4 | 1047 | 672 | The DARPA knowledge sharing effort: Progress report. 
779 | 3160 | finin_timothy_w | Timothy W. Finin | 1 | 304 | 209 | The intelligent database interface: Integrating AI and database systems. 
780 | 3160 | finin_t |  T. Finin | 0 | 403 | 279 | Specification of the KQML Agent-Communication Language plus example agent policies and architectures. 
781 | 3160 | finin_t |  T. Finin | 0 | 404 | 279 |  Specification of the KQML Agent-Communication Language. 
782 | 3160 | finin_t |  T. Finin | 4 | 1042 | 672 |  The DARPA knowledge sharing effort: Progress report. 
783 | 3160 | finin_t |  T. Finin | 4 | 1043 | 672 |  The DARPA knowledge sharing effort: Progress report. 
784 | 3160 | finin_t |  T. Finin | 4 | 1044 | 672 |  The DARPA knowledge sharing effort: Progress report. 
785 | 3160 | finin_t |  T. Finin | 4 | 1045 | 672 |  The DARPA Knowledge Sharing Effort: Progress report. 
786 | 3160 | finin_t |  T. Finin | 4 | 1046 | 672 |  The DARPA Knowledge Sharing Effort: Progress Report. 
787 | 3160 | finin_t |  T. Finin | 4 | 1048 | 672 |  The DARPA Knowledge Sharing Effort: Progress report. 

788 | 3170 | fink_j |  Fink, J.;  | 2 | 370 | 251 | Building adaptive applications on widely-used platforms with BGP-MS. 

789 | 3180 | fischer_g | Fischer, G. | 0 | 432 | 295 | Shared Knowledge in Cooperative Problem-Solving Systems - Integrating Adaptive and Adaptable Components. 

790 | 3190 | fisher_d |  Fisher, D. | 4 | 1007 | 650 | Terminological meta-reasoning by reification and multiple contexts. 

791 | 3200 | fisher_m_l | Fisher, M. L. | 0 | 591 | 410 | An Applications Oriented Guide to Lagrangian Relaxation, 

792 | 3210 | fissore_l |  L. Fissore | 1 | 326 | 217 |  "On the Use of Neural Networks for Speaker Independent Isolated Word Recognition", 

793 | 3220 | flann_n | Flann, N. | 1 | 1232 | 774 | Explanationbased learning and reinforcement learning: A unifed view. 

794 | 3230 | foley_d |  D. Foley | 1 | 423 | 293 |  A Built-in Provision for Collecting Individual Task Usage Information in UIDE: the User Interface Design Environment. 
795 | 3230 | foley_d |  D. Foley | 1 | 424 | 293 |  A Built-in Provision for Collecting Individual Task Usage Information in UIDE: the User Interface Design Environment. 

796 | 3240 | forbus_kenneth |  Kenneth Forbus | 0 | 899 | 582 |  The qualitative process engine. 
797 | 3240 | forbus_k | Forbus, K. | 0 | 898 | 582 | The qualitative process engine. 

798 | 3250 | ford_roger |  Roger Ford | 0 | 1494 | 867 |  Exploiting natural structure in reinforcement learning: Experience in robot soccerplaying,

799 | 3260 | forsyth_d_a |  D. A. Forsyth | 0 | 352 | 235 |  Recognizing algebraic surfaces from their outlines, 

800 | 3270 | fotland_d |  Fotland D. | 0 | 460 | 309 |  Knowledge Representation in the Many Faces of Go, 

801 | 3280 | fournier_a |  Fournier, A. | 0 | 486 | 328 |  Common Illumination between Real and Computer Generated Scenes. 

802 | 3290 | fox_b | Fox , B. | 2 | 160 | 107 | Constraint-based hypertext for argumentation . 

803 | 3300 | fox_s | Fox, S. | 0 | 1158 | 749 | Modeling case-based planning for repairing reasoning failures. 

804 | 3310 | frank_a_u | Frank, A. U. | 0 | 1041 | 671 | Qualitative spatial reasoning with cardinal directions. 
805 | 3310 | frank_a_u | FRANK, A. U. | 0 | 1049 | 673 |  Qualitative spatial reasoning with cardinal directions. 
806 | 3310 | frank_a_u | Frank, A. U | 0 | 1050 | 673 | Qualitative spatial reasoning with cardinal directions. 

807 | 3320 | franklin_j_a | J. A. Franklin | 1 | 1492 | 866 | Acquiring robot skills via reinforcement learning. 
808 | 3320 | franklin_j_a | J. A. Franklin | 1 | 1493 | 866 | Acquiring robot skills via reinforcement learning. 

809 | 3330 | fraser_c_w |  C. W. Fraser | 0 | 594 | 413 |  A code generation interface for 
810 | 3330 | fraser_c_w |  C. W. Fraser | 0 | 595 | 413 |  A code generation interface for 

811 | 3340 | freed_michael |  Michael Freed | 3 | 906 | 588 |  A modelbased approach to learning from planning failures. 

812 | 3350 | freksa_c |  C. Freksa | 0 | 1040 | 670 |  Qualitative spatial reasoning. 
813 | 3350 | freksa_c |  C. Freksa | 0 | 1067 | 685 |  Temporal reasoning based on semi-intervals. 
814 | 3350 | freksa_c | FREKSA, C. | 0 | 1068 | 686 |  Temporal reasoning based on semi-intervals. 
815 | 3350 | freksa_c | Freksa, C. | 0 | 1069 | 686 | Temporal reasoning based on semi-intervals. 
816 | 3350 | freksa_c | FREKSA, C. | 0 | 1133 | 731 |  Using orientation information for qualitative spatial reasoning. 
817 | 3350 | freksa_c | Freksa, C. | 0 | 1134 | 731 | Using orientation information for qualitative spatial reasoning.
818 | 3350 | freksa_c | FREKSA, C.  | 0 | 820 | 524 | On the utilization of spatial structures for cognitively plausible and efficient reasoning. 

819 | 3360 | freuder_e_c | E. C. Freuder | 0 | 245 | 166 | Eliminating interchangeable values in constraint satisfaction . 
820 | 3360 | freuder_e |   E. Freuder | 1 | 244 | 165 | Contradicting Conventional Wisdom in Constraint Satisfaction . 
821 | 3360 | freuder_e | Freuder , E. | 0 | 93 | 59 | Partial Constraint Satisfaction . 
822 | 3360 | freuder_e |  Freuder , E. | 1 | 243 | 165 | Contradicting Conventional Wisdom in Constraint Satisfaction . 
823 | 3360 | freuder_eugene_c | Eugene C. Freuder | 0 | 92 | 59 | Partial constraint staisfaction . 

824 | 3370 | freundschuh_s_m | Freundschuh, S.M. | 0 | 866 | 562 | Is there a relationship between spatial cognition and environmental patterns. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. 

825 | 3380 | fritzson_r |  R. Fritzson | 4 | 404 | 279 |  Specification of the KQML Agent-Communication Language. 

826 | 3390 | fronhofer_b |  B. Fronhofer | 0 | 848 | 547 |  Cooperative Competition: A Modest Proposal Concerning the Use of Multi-Processor Systems for Automated Reasoning. 
827 | 3390 | fronhofer_b |  B. Fronhofer | 0 | 849 | 547 |  Cooperative competition: A modest proposal concerning the use of multi-processor systems for automated reasoning. 

828 | 3400 | fu_p |  P. Fu | 2 | 475 | 320 |  Measuring proteins and voids in proteins. 

829 | 3410 | gabbay_d | D. Gabbay | 0 | 1022 | 662 |  Quantifier Elimination in Second-Order Predicate Logic. 
830 | 3410 | gabbay_d |  D. Gabbay | 0 | 1024 | 662 |  Quantifier elimination in second-order predicate logic. 
831 | 3410 | gabbay_d |  D. Gabbay | 0 | 1025 | 662 |  Quantifier Elimination in Second-Order Predicate Logic. 
832 | 3410 | gabbay_d | Gabbay, D. | 0 | 1023 | 662 | Quantifier elimination in second-order predicate logic. 

833 | 3420 | gabbrielli_m |  M. Gabbrielli | 1 | 168 | 115 | Compositional Analysis for Concurrent Constraint Programming . 

834 | 3430 | gaines_b_r |  B.R. Gaines | 0 | 977 | 629 |  Mediator: information and knowledge management for the virtual factory, 
835 | 3430 | gaines_b_r | Gaines, B.R. | 0 | 904 | 586 | Empirical investigation of knowledge representation servers: design issues and applications experience with KRS. 
836 | 3430 | gaines_b_r | Gaines, B.R. | 0 | 948 | 614 | Modeling practical reasoning. 
837 | 3430 | gaines_b_r | Gaines, B.R. | 0 | 974 | 629 | Mediator: information and knowledge management for the virtual factory.
838 | 3430 | gaines_b_r | Gaines, B.R. | 0 | 975 | 629 |  Mediator: Information and Knowledge Management for the Virtual Factory, 
839 | 3430 | gaines_b_r | Gaines, B.R. | 0 | 976 | 629 | Mediator: information and knowledge management for the virtual factory.

840 | 3440 | gamback_b | Gamback, B. | 0 | 841 | 543 | Pragmatic reasoning in bridge. 

841 | 3450 | gambardella_l_m | Gambardella, L. M.  | 0 | 1545 | 893 | Ant-Q: A Reinforcement Learning approach to the traveling salesman problem, 
842 | 3450 | gambardella_l_m | Gambardella, L. M.  | 0 | 1548 | 893 | Ant-Q: A Reinforcement Learning approach to the traveling salesman problem, 
843 | 3450 | gambardella_l_m |  L. M. Gambardella | 0 | 1546 | 893 |  Ant-Q: A Reinforcement Learning Approach to the Traveling Salesman Problem. 
844 | 3450 | gambardella_l_m |  L. M. Gambardella | 0 | 1547 | 893 |  Ant-Q: A Reinforcement Learning Approach to the Traveling Salesman Problem. 
845 | 3450 | gambardella_l_m |  L.M. Gambardella | 1 | 1401 | 821 | Ant-Q: A Reinforcement Learning Approach to Combinatorial Optimization. 

846 | 3460 | garca_m_j_garca_de_la_banda | M. J. Garca de la Banda Garca  | 0 | 279 | 192 | Independence , Global Analysis , and Parallelism in Dynamically Scheduled Constraint Logic Programming . 

847 | 3470 | garey_m | M. Garey | 0 | 211 | 141 | Optimal task scheduling with precedence constraints . 

848 | 3480 | gaschnig_j | J. Gaschnig | 0 | 136 | 90 | A constraint satisfaction method for inference making . 

849 | 3490 | gasser_l |   L. Gasser | 1 | 679 | 473 |  Realtime Metareasoning with Dynamic Tradeoff Evaluation, 

850 | 3500 | gecsei_j | J. Gecsei | 1 | 325 | 216 | Design Of A Browsing Interface For Information Retrieval. 

851 | 3510 | gelman_e |  E. Gelman  | 1 | 593 | 412 | "Recent Advances in Crew-Pairing Optimization at American Airlines", 

852 | 3520 | genesereth_m |  Genesereth, M. | 0 | 740 | 494 | Knowledge interchange format. 
853 | 3520 | genesereth_m |  M. Genesereth | 3 | 404 | 279 |  Specification of the KQML Agent-Communication Language. 

854 | 3530 | gent_i_p | I. P. Gent | 0 | 23 | 18 | The Satisfiability Constraint Gap . 

855 | 3540 | georgeff_m |  Georgeff, M. | 0 | 798 | 510 |  Reactive Reasoning and Planning. 
856 | 3540 | georgeff_michael_p |  Michael P. Georgeff | 0 | 796 | 510 |  Reactive reasoning and planning. 
857 | 3540 | georgeff_michael_p |   Michael P. Georgeff | 1 | 669 | 468 |  An abstract architecture for rational agents. 
858 | 3540 | georgeff_michael_p |   Michael P. Georgeff | 1 | 907 | 589 |  `A modeltheoretic approach to the verication of situated reasoning systems', 
859 | 3540 | georgeff_michael_p |   Michael P. Georgeff | 1 | 908 | 589 |  A model-theoretic approach to the verification of situated reasoning systems. 
860 | 3540 | georgeff_michael_p |   Michael P. Georgeff | 1 | 909 | 589 |  A model-theoretic approach to the verification of situated reasoning systems. 
861 | 3540 | georgeff_m |  M. Georgeff | 0 | 797 | 510 |  Reactive Reasoning and Planning, 
862 | 3540 | georgeff_m_p |  Georgeff, M.P. | 0 | 799 | 510 | Reactive Reasoning and Planning. 
863 | 3540 | georgeff_m_p |   M. P. Georgeff | 1 | 1059 | 680 |  Modeling rational agents within a BDI-architecture. 
864 | 3540 | georgeff_m_p |  M.P. Georgeff | 1 | 1090 | 701 |  An architecture for real-time reasoning andsystem control. 

865 | 3550 | gerevini_alfonso |  Alfonso Gerevini | 0 | 670 | 469 |  Efficient temporal reasoning through timegraphs. 

866 | 3560 | gero_j_s | Gero, J. S. | 0 | 1127 | 728 | Shape emergence using symbolic reasoning, 

867 | 3570 | gershkoff_i |  Gershkoff, I. | 0 | 568 | 392 | "Optimizing Flight Crew Schedules", 

868 | 3580 | gettys_j | Gettys, J. | 0 | 416 | 286 | Xlib - C language X interface, MIT X consortium standard. 

869 | 3590 | ghose_abdul_sattar_aditya_k | Abdul Sattar Aditya K. Ghose | 0 | 135 | 89 | Default reasoning as partial constraint satisfaction . 
870 | 3590 | ghose_aditya_k |  Aditya K. Ghose | 0 | 881 | 571 |  Default reasoning as belief change: A rationale. 
871 | 3590 | ghose_aditya_k | Aditya K. Ghose | 1 | 882 | 572 |  Default reasoning as partial constraint satisfaction. 

872 | 3600 | ghosh_k |  K. Ghosh | 2 | 498 | 340 |  A machine independent interface for lightweight threads. 

873 | 3610 | giacobazzi_r | R. Giacobazzi | 0 | 5 | 5 | Joining Abstract and Concrete Computations in Constraint Logic Programming . 
874 | 3610 | giacobazzi_r | R. Giacobazzi | 0 | 6 | 6 | A Generalized Semantics for Constraint Logic Programs . 
875 | 3610 | giacobazzi_r | R. Giacobazzi | 0 | 8 | 8 | Generalized Semantics and Abstract Interpretation for Constraint Logic Programs . 
876 | 3610 | giacobazzi_r |  R. Giacobazzi | 1 | 3 | 3 | An application of constraint propagation to data-flow analysis . 
877 | 3610 | giacobazzi_r |  R. Giacobazzi | 1 | 4 | 3 | An Application of Constraint Propagation to Data-AEow Analysis . 
878 | 3610 | giacobazzi_r |   R. Giacobazzi | 2 | 229 | 154 | Abstracting Synchronization in Concurrent Constraint Programming . 

879 | 3620 | giblin_p |  P. Giblin | 0 | 353 | 236 |  Reconstruction of surfaces from proles, 

880 | 3630 | gibson_k_d |  K. D. Gibson | 2 | 394 | 271 |  MSEED: A program for rapid determination of accessible surface areas and their derivatives. 

881 | 3640 | gilbert_v_p |  Gilbert, V.P. | 1 | 886 | 576 |  An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON. 

882 | 3650 | gillies_d | D. Gillies | 0 | 212 | 142 | Scheduling tasks with AND / OR precedence constraints . 
883 | 3650 | gillies_d | D. Gillies | 0 | 213 | 142 | Scheduling tasks with AND / OR precedence constraints . 
884 | 3650 | gillies_d | D. Gillies | 0 | 214 | 143 | Algorithms to schedule tasks with AND / OR precedence constraints . 
885 | 3650 | gillies_d | D. Gillies | 0 | 215 | 143 | Algorithms to schedule tasks with AND / OR precedence constraints . 

886 | 3660 | ginsberg_matthew_l |  Matthew L. Ginsberg | 0 | 894 | 581 | . Readings in Nonmonotonic Reasoning. 
887 | 3660 | ginsberg_matthew |  Matthew Ginsberg | 0 | 997 | 641 |  Reasoning about action I: A possible worlds approach. 
888 | 3660 | ginsberg_matthew |  Matthew Ginsberg | 0 | 998 | 641 |  Reasoning about action II: The qualification problem. 
889 | 3660 | ginsberg_m | Ginsberg, M. | 0 | 891 | 581 | Readings in Nonmonotonic Reasoning. 
890 | 3660 | ginsberg_m |  M. Ginsberg | 0 | 999 | 643 |  Reasoning about action I: A possible worlds approach. 

891 | 3670 | girosi_f | Girosi , F. | 0 | 119 | 77 | Constraints for the Computation of Optical Flow , 
892 | 3670 | girosi_f | Girosi F. | 0 | 120 | 77 | Constraints for the computation of optic flow . 

893 | 3680 | gjessing_stein |  Stein Gjessing | 2 | 574 | 396 |  Distributed-Directory Scheme: Scalable Coherent Interface. 

894 | 3690 | globig_c |   Globig, C. | 1 | 1012 | 655 | Case-based and symbolic classification | a case study |. 

895 | 3700 | glover_f | F. Glover | 0 | 268 | 183 | Heuristics for integer programming using surrogate constraints . 
896 | 3700 | glover_f | F. Glover | 0 | 269 | 183 | Heuristics for integer programming using surrogate constraints . 
897 | 3700 | glover_f | F. Glover | 0 | 270 | 183 | Heuristics for integer programming using surrogate constraints . 

898 | 3710 | godin_r |  R. Godin | 0 | 325 | 216 | Design Of A Browsing Interface For Information Retrieval. 

899 | 3720 | goebel_randy |   Randy Goebel | 1 | 135 | 89 | Default reasoning as partial constraint satisfaction . 
900 | 3720 | goebel_randy |  Randy Goebel | 1 | 747 | 499 |  Theorist: a logical reasoning system for defaults and diagnosis. 
901 | 3720 | goebel_randy |   Randy Goebel | 1 | 881 | 571 |  Default reasoning as belief change: A rationale. 
902 | 3720 | goebel_randy |   Randy Goebel | 2 | 882 | 572 |  Default reasoning as partial constraint satisfaction. 
903 | 3720 | goebel_r |  R. Goebel | 1 | 746 | 499 |  Theorist: A logical reasoning system for defaults and diagn osis. 

904 | 3730 | goldberg_d_e |  Goldberg, D. E. | 0 | 1432 | 836 | Probability matching, the magnitude of reinforcement, and classifier system bidding. 

905 | 3740 | golden_keith |  Keith Golden | 1 | 936 | 606 |  Tractable closed world reasoning with updates. 
906 | 3740 | golden_k | Golden, K. | 1 | 935 | 606 | Tractable closed-world reasoning with updates. 
907 | 3740 | golden_k |  K. Golden | 1 | 934 | 606 |  Tractable closed-world reasoning with updates. 
908 | 3740 | golden_k |  K. Golden | 1 | 937 | 606 |  Tractable closed-world reasoning with updates. 
909 | 3740 | golden_k |  K. Golden | 1 | 938 | 606 |  Tractable closed-world reasoning with updates. 

910 | 3750 | golding_a_r |  A. R. Golding | 0 | 677 | 472 |  Improving rule-based systems through Case-Based Reasoning. 
911 | 3750 | golding_a_r |  A. R. Golding | 0 | 678 | 472 |  Improving rule-based systems through case-based reasoning. 

912 | 3760 | golledge_r_g | Golledge, R.G. | 0 | 865 | 561 | Do people understand spatial concepts: The case of firstorder primitives. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. 

913 | 3770 | golumbic_martin_c |  Martin C. Golumbic | 0 | 912 | 592 |  Complexity and algorithms for reasoning about time: A graph-theoretic approach. 

914 | 3780 | goral_c_m |  Goral, C. M. | 0 | 504 | 346 |  Modelling the Interaction of Light between Diffuse Surfaces. 

915 | 3790 | gordon_g_j |  G. J. Gordon | 0 | 1393 | 816 |  Stable fitted reinforcement learning. 

916 | 3800 | graf_hans_peter |  Hans Peter Graf | 0 | 467 | 315 | . "Locating Faces and Facial Parts". 

917 | 3810 | graham_d_p_w | Graham, D. P. W. | 0 | 1420 | 831 | CMAC Manipulator Control Using a Reinforcement Learned Trajectory Planner 

918 | 3820 | grant_j | J. GRANT | 0 | 201 | 133 | On the family of generalized dependency constraints , 

919 | 3830 | grant_s_a |   S. A. Grant | 1 | 46 | 28 | Sparse Constraint Graphs and Exceptionally Hard Problems . 
920 | 3830 | grant_s_a |   S. A. Grant | 1 | 49 | 30 | Sparse Constraint Graphs and Exceptionally Hard Problems . 

921 | 3840 | greenberg_d_p |  Greenberg, D. P. | 2 | 504 | 346 |  Modelling the Interaction of Light between Diffuse Surfaces. 

922 | 3850 | green_c_l |  Green, C. L. | 2 | 373 | 253 | Experience with Rule Induction and k-Nearest Neighbour Methods for Interface Agents that Learn. 

923 | 3860 | gregory_j |  GREGORY, J. | 2 | 514 | 356 |  A Butterfly Subdivision Scheme for Surface Interpolation with Tension Control. 

924 | 3870 | grimnes_m |  Grimnes, M. | 0 | 1016 | 659 |  A two layer case-based reasoning architecture for medical image understanding, 

925 | 3880 | grimson_w_e_l | W. E. L. Grimson | 0 | 154 | 103 | Object Recognition by Computer : The role of geometric constraints . 
926 | 3880 | grimson_w_e_l | W. E. L. Grimson | 0 | 155 | 103 | Object Recognition by Computer : The role of geometric constraints . 

927 | 3890 | groenink_a_v | Groenink, A. V.  | 0 | 553 | 378 | FORMAL MECHANISMS FOR MOVEMENT AND SURFACE STRUCTURE IN DUTCH  

928 | 3900 | gropp_w |  W. Gropp | 0 | 494 | 336 |  USING MPI Portable Parallel Programming with the MessagePassing Interface. 

929 | 3910 | grosof_b | Grosof, B. | 0 | 844 | 545 | Shift of bias as nonmonotonic reasoning. 

930 | 3920 | gross_k |  Gross, K.  | 2 | 844 | 545 | Shift of bias as nonmonotonic reasoning. 

931 | 3930 | group_the_qualitative_reasoning |   The Qualitative Reasoning Group | 4 | 840 | 542 | QSIM: The program and its use. 

932 | 3940 | grove_adam |  Adam Grove | 1 | 667 | 466 |  Statistical foundations for default reasoning. 

933 | 3950 | grover_c |  Grover, C. | 7 | 1120 | 725 | CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine. 

934 | 3960 | gruber_t |  Gruber, T. | 5 | 1047 | 672 | The DARPA knowledge sharing effort: Progress report. 
935 | 3960 | gruber_t_r |  T. R. Gruber | 0 | 995 | 639 |  An ontology for engineering mathematics. 
936 | 3960 | gruber_t_r |  T. R. Gruber | 5 | 1045 | 672 |  The DARPA Knowledge Sharing Effort: Progress report. 
937 | 3960 | gruber_t |  T. Gruber | 5 | 1042 | 672 |  The DARPA knowledge sharing effort: Progress report. 
938 | 3960 | gruber_t |  T. Gruber | 5 | 1043 | 672 |  The DARPA knowledge sharing effort: Progress report. 
939 | 3960 | gruber_t |  T. Gruber | 5 | 1044 | 672 |  The DARPA knowledge sharing effort: Progress report. 
940 | 3960 | gruber_t |  T. Gruber | 5 | 1046 | 672 |  The DARPA Knowledge Sharing Effort: Progress Report. 
941 | 3960 | gruber_t |  T. Gruber | 5 | 1048 | 672 |  The DARPA Knowledge Sharing Effort: Progress report. 

942 | 3970 | guesgen_h-w | GUESGEN, H.-W. | 0 | 1064 | 684 |  Spatial reasoning based on Allen's temporal logic. 
943 | 3970 | guesgen_h-w | Guesgen, H.-W. | 0 | 1065 | 684 | Spatial reasoning based on Allen's temporal logic. 
944 | 3970 | guesgen_h-w |  H.-W. Guesgen | 0 | 1066 | 684 |  Spatial reasoning based on Allen's temporal logic. 

945 | 3980 | guida_g |  Guida, G.;  | 1 | 379 | 258 | User modeling in expert man-machine interfaces: A case study in intelligent information retrieval. 

946 | 3990 | gullapalli_v | Gullapalli V. | 0 | 1441 | 841 | Skillful control under uncertainty via direct reinforcement learning. 
947 | 3990 | gullapalli_v | Gullapalli, V. | 0 | 1451 | 847 | A stochastic reinforcement learning algorithm for learning real valued functions. 
948 | 3990 | gullapalli_v | Gullapalli, V. | 0 | 1492 | 866 | Acquiring robot skills via reinforcement learning. 
949 | 3990 | gullapalli_v | Gullapalli, V. | 0 | 1493 | 866 | Acquiring robot skills via reinforcement learning. 

950 | 4000 | gunawan_a_s |  Gunawan, A. S. | 1 | 486 | 328 |  Common Illumination between Real and Computer Generated Scenes. 

951 | 4010 | gupta_v |   V. Gupta | 2 | 156 | 104 | Foundations of timed concurrent constraint programming . 

952 | 4020 | gurney_john | John Gurney | 0 | 521 | 363 |  A Natural Language Interface Generator, for a Graphic Information System, 

953 | 4030 | guur-ali_ouzden | Ouzden Guur-Ali | 0 | 142 | 94 | Induction of rules subject to a quality constraint : Probabilistic inductive learning . 

954 | 4040 | haber_e |  Haber, E. | 1 | 410 | 281 |  A mobile computer interface for heterogeneous databases. 

955 | 4050 | haddawy_p | Haddawy, P. | 0 | 688 | 479 | Representations for Decision-Theoretic Planning: Utility Functions for Dealine Goals. 

956 | 4060 | hadfield_p_a |  P. A. Hadfield | 1 | 374 | 254 |  Uncalibrated stereo vision with pointing for a man-machine interface. 

957 | 4070 | hahn_u | Hahn, U. | 0 | 1006 | 649 | Learning from texts: A terminological meta-reasoning perspective. 
958 | 4070 | hahn_u |  Hahn, U. | 1 | 1007 | 650 | Terminological meta-reasoning by reification and multiple contexts. 

959 | 4080 | halperin_dan |  Dan Halperin | 0 | 509 | 351 |  Spheres, molecules, and hidden surface removal. 

960 | 4090 | halpern_joseph_y |  Joseph Y. Halpern | 2 | 667 | 466 |  Statistical foundations for default reasoning. 

961 | 4100 | halverson_p |   P. Halverson | 1 | 950 | 616 |  "Time-Constrained Reasoning under Uncertainty," 

962 | 4110 | hammond_k | Hammond, K. | 0 | 710 | 481 | Opportunistic Memory: Storing and Recalling Suspended Goals; 

963 | 4120 | hanks_s |   Hanks, S. | 1 | 688 | 479 | Representations for Decision-Theoretic Planning: Utility Functions for Dealine Goals. 
964 | 4120 | hanks_s |  Hanks, S. | 1 | 808 | 517 | An Approach to Planning with Incomplete Information. 
965 | 4120 | hanks_s |  S. Hanks | 0 | 963 | 624 |  Default reasoning, nonmonotonic logics and the frame problem. 
966 | 4120 | hanks_s |  S. Hanks | 1 | 210 | 140 | Optimal Information Gathering on the Internet with Time and Cost Constraints . 
967 | 4120 | hanks_s |  S. Hanks | 1 | 806 | 517 | . An Approach to Planning with Incomplete Information. 
968 | 4120 | hanks_s |  S. Hanks | 1 | 809 | 517 |  An approach to planning with incomplete information. 
969 | 4120 | hanks_s |  S. Hanks | 1 | 810 | 517 |  An Approach to Planning with Incomplete Information. 
970 | 4120 | hanks_s |  S. Hanks | 1 | 811 | 517 |  An Approach to Planning with Incomplete Information. 
971 | 4120 | hanks_s |  S. Hanks | 1 | 812 | 517 |  An Approach to Planning with Incomplete Information. 
972 | 4120 | hanks_steven |  Steven Hanks | 1 | 807 | 517 | . An approach to planning with incomplete information. 

973 | 4130 | hanson_d_r |  D. R. Hanson | 1 | 594 | 413 |  A code generation interface for 
974 | 4130 | hanson_d_r |  D. R. Hanson | 1 | 595 | 413 |  A code generation interface for 

975 | 4140 | hansson_othar |  Hansson, Othar | 0 | 1032 | 665 | Heuristic search as evidential reasoning. 

976 | 4150 | hanus_m | M. Hanus | 0 | 19 | 15 | Analysis of Nonlinear Constraints in CLP ( R ) . 
977 | 4150 | hanus_m | M. Hanus | 0 | 20 | 15 | Analysis of nonlinear constraints in CLP ( R ) . 
978 | 4150 | hanus_m | M. Hanus | 0 | 258 | 176 | Compile-time analysis of nonlinear constraints in clp ( r ) . 

979 | 4160 | haraguchi_m |  M. Haraguchi | 0 | 877 | 567 |  Reasoning by Analogy as a Partial Identity between Mo dels. 

980 | 4170 | haralick_r | Haralick , R. | 0 | 180 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 
981 | 4170 | haralick_r | Haralick , R. | 0 | 183 | 121 | Increasing Tree Search Efficiency for Constraint Satisfaction Problems . 
982 | 4170 | haralick_r_m | Haralick , R. M. | 0 | 182 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 
983 | 4170 | haralick_r_m | Haralick, R. M.  | 0 | 561 | 386 |  The Facet Approach to Optic Flow, 
984 | 4170 | haralick_r_m | R. M. Haralick | 0 | 179 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 
985 | 4170 | haralick_r | R. Haralick | 0 | 181 | 121 | Increasing tree search efficiency for constraint satisfaction problems . 

986 | 4180 | harmon_mance_e |  Mance E. Harmon | 0 | 1512 | 881 |  Reinforcement learning: A tutorial. 
987 | 4180 | harmon_m_e | Harmon, M. E. | 0 | 1488 | 862 | Reinforcement learning applied to a differential game. 

988 | 4190 | harmon_p | Harmon, P. | 0 | 1092 | 703 | Case-based reasoning III, 

989 | 4200 | harper_j_s |  J. S. Harper | 1 | 151 | 101 | The effects of precision constraints in a backpropagation learning network . 
990 | 4200 | harper_j_s | J. S. Harper  | 1 | 152 | 101 | The Effects of Precision Constraints in a Backpropagation Learning Network . 

991 | 4210 | harper_m_p | Harper , M. P. | 0 | 164 | 111 | Extensions to constraint dependency parsing for spoken language processing . 
992 | 4210 | harper_m_p | Harper , M. P. | 0 | 165 | 112 | Managing multiple knowledge sources in constraint-based parsing spoken language . 
993 | 4210 | harper_m_p |  Harper, M. P. | 1 | 2 | 2 | Implementation issues in the development of the parsec parser.
994 | 4210 | harper_m_p |  Harper , M. P. | 1 | 58 | 36 | PAC learning and constraint dependency grammars . 
995 | 4210 | harper_m_p | M. P. Harper | 0 | 57 | 35 | Constraint parsing : A powerful framework for textbased and spoken language processing . 

996 | 4220 | harslem_e |  Harslem, E. | 4 | 542 | 369 | "Designing the Star user interface," 

997 | 4230 | hauw_koen_van_der | Koen van der Hauw | 0 | 171 | 118 | Evaluating and Improving Steady State Evolutionary Algorithms on Constraint Satisfaction Problems , 

998 | 4240 | hayes_r |  R. Hayes | 1 | 338 | 226 |  Adl | an interface definition language for specifying and testing software. 
999 | 4240 | hayes_r |  R. Hayes | 1 | 339 | 226 |  Adl | an interface definition language for specifying and testing software. 

1000 | 4250 | hebert_p | Hebert, P. | 0 | 829 | 531 | Probabilistic Map Learning: Necessity and Difficulties. 

1001 | 4260 | heger_matthias |  Heger, Matthias  | 0 | 1243 | 778 | Consideration of risk in reinforcement learning. 
1002 | 4260 | heger_m | Heger, M. | 0 | 1244 | 778 | Consideration of risk in reinforcement learning. 

1003 | 4270 | heikkila_juha |  Juha Heikkila | 1 | 62 | 40 | Constraint grammar of english : A performanceoriented introduction . 

1004 | 4280 | hein_h-w |  H.-W. Hein | 2 | 639 | 447 |  X-AiD: An adaptive and knowledge-based human-computer interface. 

1005 | 4290 | helzerman_r_a | Helzerman, R. A. | 0 | 2 | 2 | Implementation issues in the development of the parsec parser.
1006 | 4290 | helzerman_r_a | Helzerman , R. A. | 0 | 58 | 36 | PAC learning and constraint dependency grammars . 
1007 | 4290 | helzerman_r_a |  Helzerman , R. A. | 1 | 164 | 111 | Extensions to constraint dependency parsing for spoken language processing . 
1008 | 4290 | helzerman_r_a |  Helzerman , R. A. | 1 | 165 | 112 | Managing multiple knowledge sources in constraint-based parsing spoken language . 
1009 | 4290 | helzerman_r_a | R. A. Helzerman | 1 | 57 | 35 | Constraint parsing : A powerful framework for textbased and spoken language processing . 

1010 | 4300 | hempel_r |  R. Hempel | 0 | 436 | 299 | PARMACS-6.0 library interface specification. 

1011 | 4310 | hennessy_d | Hennessy, D. | 0 | 1091 | 702 | Applying case-based reasoning to autoclave loading. 

1012 | 4320 | hennessy_j |  Hennessy, J., | 1 | 579 | 400 | Creating user interfaces by demonstration. 
1013 | 4320 | hennessy_j_l | J. L. Hennessy | 1 | 580 | 400 | Creating user interfaces by demonstration. 

1014 | 4330 | henry_dana_s |  Dana S. Henry | 0 | 419 | 289 |  The Network Interface Chip. 
1015 | 4330 | henry_dana_s |  Dana S. Henry | 0 | 632 | 444 |  A TightlyCoupled Processor-Network Interface. 

1016 | 4340 | hentenryck_p_van | P. van Hentenryck | 0 | 89 | 57 | Parallel constraint satisfaction in logic programming : Preliminary results of Chip within PEPSys . 

1017 | 4350 | hermenegildo_m |   M. Hermenegildo | 1 | 247 | 168 | A practical approach to the global analysis of constraint logic programs . 
1018 | 4350 | hermenegildo_m |   M. Hermenegildo | 1 | 248 | 168 | A Practical Approach to the Global Analysis of Constraint Logic Programs. 
1019 | 4350 | hermenegildo_m |   M. Hermenegildo | 1 | 276 | 189 | Analyzing Constraint Logic Programs . 
1020 | 4350 | hermenegildo_m |   M. Hermenegildo | 1 | 278 | 191 | Some Considerations on the CompileTime Analysis of Constraint Logic Programs . 
1021 | 4350 | hermenegildo_m |   M. Hermenegildo | 3 | 879 | 569 |  Goal Dependent vs Goal Independent Analysis of Logic Programs. 

1022 | 4360 | hernandez_d | HERNANDEZ, D. | 0 | 1105 | 714 |  Default reasoning and the qualitative representation of spatial knowledge. 
1023 | 4360 | hernandez_d | Hernandez, D. | 0 | 1106 | 714 | Default reasoning and the qualitative representation of spatial knowledge. 

1024 | 4370 | hewitt_j |  Hewitt, J. | 1 | 385 | 263 |  An investigation into the use of error recovery dialogues in a user interface management system for speech recognition, 

1025 | 4380 | heydon_a | A. Heydon | 0 | 272 | 185 | Specifying and checking unix security constraints . 

1026 | 4390 | hfifik_k |  K. Hfifik | 1 | 398 | 274 | A WWW Interface to an Adaptive Hypermedia System. 

1027 | 4400 | hinkle_d |   Hinkle, D. | 1 | 1091 | 702 | Applying case-based reasoning to autoclave loading. 

1028 | 4410 | hinton_g_e | G. E. Hinton | 0 | 287 | 200 | Boltzmann machines : Constraint satisfaction networks that learn . 
1029 | 4410 | hinton_g_e | G. E. Hinton | 0 | 290 | 200 | Boltzmann machines : Constraint satisfaction networks that learn . 
1030 | 4410 | hinton_g_e |  G. E. Hinton | 1 | 1352 | 806 |  Feudal Reinforcement Learning. 
1031 | 4410 | hinton_g_e |  Hinton, G. E. | 1 | 1353 | 806 | Feudal reinforcement learning. 
1032 | 4410 | hinton_g_e |  Hinton, G. E. | 1 | 603 | 421 | A self-organizing neural network that discovers surfaces in random-dot stereograms. 
1033 | 4410 | hinton_geoffrey_e | Geoffrey E. Hinton | 0 | 288 | 200 | Boltzmann machines : Constraint satisfaction networks that learn . 
1034 | 4410 | hinton_g | Hinton , G. | 0 | 289 | 200 | Boltzmann machines : Constraint satisfaction networks that learns , 
1035 | 4410 | hinton_g |   Hinton, G. | 1 | 1351 | 806 | Feudal reinforcement learning. 
1036 | 4410 | hinton_g |   Hinton, G. | 1 | 1354 | 806 | Feudal reinforcement learning. 
1037 | 4410 | hinton_g |  Hinton, G. | 1 | 1355 | 806 | Feudal reinforcement learning. 

1038 | 4420 | hiraki_k |  K. Hiraki | 1 | 1094 | 705 |  "Reducing communication load on contract net by casebased reasoning - extension with directed contract and forgetting -," 

1039 | 4430 | hirsh_haym |   Haym Hirsh | 1 | 1008 | 651 |  Learning the classic description logic: Theoretical and experimental results. 

1040 | 4440 | hochreiter_s |  Hochreiter, S. | 1 | 1419 | 830 | Reinforcement driven information acquisition in nondeterministic environments. 

1041 | 4450 | hoernig_karl |  Karl Hoernig | 2 | 555 | 380 |  MAFIA An   Active MailFilterAgent For an Intelligent Document Processing   Support. 

1042 | 4460 | hoffmann_h |  H.Hoffmann | 3 | 550 | 375 |  Scanning Tunnelling Microscopy on Rough Surfaces: Deconvolution of Constant Current Images, 

1043 | 4470 | hogarth_r |  R. HOGARTH | 2 | 559 | 384 | Decision making  and problem solving, 

1044 | 4480 | hogg_t | T. Hogg | 0 | 64 | 42 | The Hardest Constraint Problems : A Double Phase Transition . 
1045 | 4480 | hogg_t | T. Hogg | 0 | 65 | 42-2 | The Hardest Constraint Problems : A Double Phase Transition . 
1046 | 4480 | hogg_t | T. Hogg | 0 | 66 | 42 | The Hardest Constraint Problems : A Double Phase Transition . 
1047 | 4480 | hogg_t |  T. Hogg | 1 | 67 | 43 | Exploiting the Deep Structure of Constraint Problems . 

1048 | 4490 | hohle_j |  Hohle, J. | 1 | 370 | 251 | Building adaptive applications on widely-used platforms with BGP-MS. 

1049 | 4500 | hollinghurst_n_j |  N. J. Hollinghurst | 2 | 374 | 254 |  Uncalibrated stereo vision with pointing for a man-machine interface. 

1050 | 4510 | hollis_p_w | Hollis , P. W.  | 0 | 152 | 101 | The Effects of Precision Constraints in a Backpropagation Learning Network . 
1051 | 4510 | hollis_p_w | P. W. Hollis | 0 | 151 | 101 | The effects of prec