Australia http://www.anu.edu.au Australian National University Robin Stanton 1984 Ph.D David Poole Canada University of Waterloo Ph.D Eric M Neufeld 1972 United States http://www.stanford.edu/ Stanford University Ph.D John R. Anderson United States http://www.cmu.edu/ Carnegie-Mellon University Ph.D Renee Elio 1999 Learning to improve quality of plans produced by partial order planners Canada University of Alberta Ph.D 1995 Monte Carlo Comparison of non-hierarchical unsupervised classifiers Canada University of Saskatchewan M.S. M. Afzal Upal 2005 United States http://www.utoledo.edu University of Toledo M.S. Rashid Erfani Japan Kyoto University 1949 Frequency Analysis of Time Varying Networks United States Columbia University Ph.D Lotfi A. Zadeh France http://www.ups-tlse.fr Université Paul Sabatier Ph.D Josep Aguilar-Martin 1972 Sobre distancias estadísticas Universitat de Barcelona Ph.D Francesco Sales Vallès 1972 Sobre distancias estadísticas Spain Universitat de Barcelona Ph.D Enric Trillas 1981 Machine Learning Algorithms in Pattern Recognition. Application to Robotics Spain http://www.upc.edu Universitat Politècnica de Catalunya Ph.D 1979 On Self-learning Patern Classification United States University of California, Berkeley M.S. 1977 Autoapprentissage d'une partition. Application au Classement Iteratif de Donnees Multidimensionnelles (Selflearning of partitions. Application to the Sequential Classification of Multi-dimensional Data) Ph.D Ramon Lopez de Mantaras 1987 EAR: A System to Assist the Explicitation and Structuring of Knowledge Ph.D Enric Plaza 2004 Case-Based Sequence Analysis in Dynamic, Imprecise, and Adversarial Domains Ph.D Francisco Martín United States University of Pittsburgh Nuel Belnap 1968 United States http://www.cs.wisc.edu University of Wisconsin-Madison Ph.D Robert (Bob) Meyer 1980 Computers and Relevant Logic: A Project in Computing Matrix Model Structures for Propositional Logics Ph.D John Slaney 1997 Ph.D Timothy John Surendonk 1991 Instructional Planning in an Intellient Tutoring System: Combining Global Lesson Plans with Local Discourse Control United States Illinois Institute of Technology Ph.D Chong Woo Woo 1997 The Noos Representation Language Ph.D Josep Lluis Arcos 1997 Raisonnements centralisés et répartis: De la compilation logique à la coopération entre agents France http://www.univ-lille1.fr University of Lille 1 (USTL) 1991 L'utilisation de la logique trivaluée dans les systèmes experts Ph.D Philippe Mathieu 1953 United States Duke University Ph.D John Cocke 1952 Linear Elliptic Differential Operators United States Yale University Ph.D Jacob T. Schwartz 1971 Global Flow Analysis and Register Allocation for Simple Code Structures United States New York University Ph.D Ken Kennedy 1977 Global Data Flow Algorithms and Their Implementations United States Rice University Ph.D Jayashree Ramanathan 1989 United States The Ohio State University Ph.D Soumitra Sarkar 1964 Analysis and Synthesis of Pulse Frequency Modulation Feedback Systems Ph.D Theodosios Pavlidis 1970 On the Definition and Recognition of Patterns United States http://www.princeton.edu/main/ Princeton University Ph.D John Mylopoulos United States University of Maryland Ph.D Steven W. Zucker Canada Toronto General Hospital Dominic Covvey 1980 A Framework for Visual Motion Understanding Canada http://www.utoronto.ca University of Toronto Ph.D John K. Tsotsos 1988 Visual Stereoscopic Computation Ph.D Michael Jenkin 1981 Computing Invariants of Finitely presented Nilpotent Groups Ph.D Leon Sterling 1994 Component Ontological Representation of Function for Candidate Discrimination in Model-Based Diagnosis United States State University of New York at Buffalo Ph.D Amruth N Kumar Israel Bar-Ilan University 1991 Generating Lexically Cohesive Text Using Systemic Grammar and Lexical Relations Ph.D Woong Jae Lee 1977 France Université de Grenoble Ph.D Jean-Claude Latombe 2000 Vers une théorie probabiliste des systèmes sensori-moteurs 1983 La génération de plan en univers multi-agents Ph.D Pierre Bessière 1997 A Framework for Integrated Learning and Problem Solving Ph.D Eva Armengol 1999 Ph.D Hongxue Wang 1978 Slovenia http://www.uni-lj.si/en/ University of Ljubljana Ph.D Ivan Bratko Netherlands Vrije Universiteit Amsterdam Mark Franciscus Johannes van Assem 1989 France Université Pierre et Marie Curie (Paris 6) Ph.D Suzanne Pinson 1993 Aprenentatge i generació de plans per a sistemes experts Ph.D Beatriz López Ibáñez Australia La Trobe University 1980 United Kingdom University of Edinburgh Ph.D William Clocksin 1992 Cut-free Sequent and Tableau Systems for Propositional Normal Modal Logics United Kingdom University of Cambridge Ph.D Rajeev Prabhakar Gore 2003 Ph.D Andrew Slater 1988 Ph.D Murray Patrick Shanahan 1995 Formal Reasoning about Actions and Narratives United Kingdom Imperial College London Ph.D Rob Miller 1967 A study of a model for parallel computation United States University of Michigan Ph.D Raymond Reiter 1955 Probability and Induction in the Cambridge School Ph.D Henry E. Kyburg Jr. 1987 Theory and Computation of Uncertain Reasoning and Decision United States University of Rochester Ph.D Ronald Prescott Loui 1989 A Mathematical Treatment of Defeasible Reasoning and its Implementation United States Washington University in St. Louis Guillermo Ricardo Simari 1998 Defeasible Temporal Reasoning Argentina Universidad Nacional del Sur Ph.D Juan Carlos Augusto 1943 Administrative Behavior: A Study of Decision-Making Processes in Administrative Organizations United States University of Chicago Ph.D Herbert Alexander Simon 1961 Ph.D Robert K. Lindsay 1946 United Kingdom University of London Ph.D Reuben Louis Goodstein 1971 The Metatheory of the Elementary Equation Calculus United Kingdom University of Leicester Ph.D Alan Bundy 1999 The Use of Proofs-as-Programs to Build an Analogy-Based Functional Program Editor Ph.D Jonathan Whittle 1985 Ph.D Jim Kiper 1842 Von der Theorie der Wärme Friedrich-Alexander-Universität Erlangen-Nürnberg Gustav A. Bauer 1868 Über die Transformation der allgemeinen Gleichung des zweiten Grades zwischen Linien-Koordinaten auf eine kanonische Form Rheinische Friedrich-Wilhelms-Universität Bonn Ph.D Felix Christian Klein 1873 Über unendlich kleine Bewegungen und über Kraftsysteme bei allgemeiner projektivischer Maßbestimmung Friedrich-Alexander-Universität Erlangen-Nürnberg Ph.D C. L. Ferdinand (Carl Louis) Lindemann 1894 Über die Transformation einer quadratischen Form in sich selbst mit Anwendungen auf die Linien- und Kugelgeometrie Ludwig-Maximilians-Universität München Ph.D Alfred Loewy 1922 Über Begleitmatrizen und Elementarteilertheorie Albert-Ludwigs-Universität Freiburg im Breisgau Ph.D Wolfgang Krull 1966 Zur Theorie der pro-endlichen Gruppen Wilfried Brauer 2005 Einsatz Neuronaler Netze für die Erkennung und Klassifizierung von Promotorstrukturen in genomischen DNA Sequenzen Germany Technische Universität München Korbinian Grote 1995 Abduction Ph.D Fiora Pirri United States Louisiana State University Germany DFKI 1981 Natürlichsprachliche Argumentation in Dialogsystemen. KI-Verfahren zur Rekonstruktion und Erklärung approximativer Inferenzprozesse Germany Universität Hamburg Wolfgang Wahlster 2005 Dynamic Modeling of Interpersonal Relations between Virtual Characters Ph.D Markus Schmitt 1985 Ph.D Walt McKnight 1966 A Logical Analysis of the Concept of Stored Program: A Step Toward a Possible Theory of Rational Learning United States University of California, Los Angeles Ph.D Lawrence E. Travis 1985 Pattern-Based and Knowledge-Directed Query Compilation for Recursive Data Bases Ph.D Jiawei Han 1999 Canada Simon Fraser University Ph.D Osmar Rachid Zaiane United States Ludwig-Maximilian University of Munich 1954 Theory of Neural-Analog Reinforcement Systems and Its Application to the Brain Model Problem Ph.D Marvin Lee Minsky 1960 The Lattices of Logic and Topology Ph.D Seymour A. Papert 1970 Learning Structural Descriptions from Examples United States http://web.mit.edu/ Massachusetts Institute of Technology Ph.D Patrick Henry Winston 1972 David Waltz 1980 The Semantic Interpretation of Compound Nominals United States University of Illinois at Urbana-Champaign Ph.D Timothy Wilking Finin 1998 Relationships Among Security and Algebraic Properties of Cryptographic Objects, and a Security Infrastructure for Agent Communication Languages United States http://umbc.edu/ University of Maryland, Baltimore County Ph.D Muhammad Abdallah Rabi 1998 Proof-Planning Coinduction Ph.D Louise Abigail Dennis 1999 Virtual Team Assistant: Integration of Synchronous and Asynchronous Telecooperation for Workflow Management in Teams Ph.D Georg Schneider 1960 Ph.D Edward A. Feigenbaum 1911 Algebraic Geometry Ireland www.ucc.ie University College Cork, Ireland Ph.D Solomon Lefschetz 1951 Projection Operators and Partial Differential Equations Ph.D John McCarthy 1969 The Application of Theorem Proving to Question-Answering Systems Ph.D Claude Cordell Green 1927 Alternatives to Zermelo's Assumption Ph.D Alonzo Church 1934 Beitrage zur logischen analyse des wahrscheinlichkeitsbegriffs Germany Universität Berlin Ph.D Carl Gustav Hempel 1964 The Philosophy of Space Ph.D Gerald J. Massey 1966 "Logics of Scientific Discovery" United States Michigan State University Ph.D Bruce G Buchanan 1975 MYCIN: A Rule-Based Computer Program To Advise Physicians Regarding Antimicrobial Therapy Selection Ph.D Edward Hance Shortliffe 1987 A Framework for the Explanation and Refinement of a Formal Choice Model United States University of Pennsylvania Ph.D David Klein 1987 Ph.D Ronald Lee Hartung 1999 Re-design of Compositional Systems Ph.D Niek J.E. Wijngaards 1988 Ph.D Deepak Kulkarni United Kingdom Manchester Metropolitan University 1997 Not Required for Syracuse U. United States Syracuse University M.S. 2003 Exploring Trading Dynamics in a Derivative Securities Market of Heterogeneous Agents Ph.D Olga Streltchenko 1986 Ph.D William Hochstettler III 1958 Tensor methods in algebraic geometry Ph.D Roger Penrose 1980 A Cohomological Approach to Scattering Theory United Kingdom University of Oxford Matthew Leigh Ginsberg 1992 A Symbolic Generalization of Probability Theory Ph.D Adnan Darwiche 2005 A Unifying Framework for Propositional Satisfiability and Knowledge Compilation Ph.D Jinbo Huang 1989 Synthese de programmes: connaissance et deduction dans les domaines d'application Ph.D Ramon F Brena 1897 Aspiration in Irish Denmark University of Copenhagen Ph.D Holger Pedersen 1923 Louis Hjelmslev 1960 Ph.D Jacob Mey 1969 A Conceptual-Dependency Representation for a Computer-Oriented Semantics United States http://wwwhost.cc.utexas.edu/ University of Texas at Austin Ph.D Roger Carl Schank 1980 Ph.D Janet L. Kolodner 1987 Resolving adversarial conflicts: an approach integrating case-based and analytical methods United States Georgia Institute of Technology Ph.D Katia Sycara 2001 An Empirical Investigation on Quantifying the Competitive Advantage of an Agent Learning Models about other Agents in a Multiagent Environment Mexico http://www.itesm.mx Tecnológico de Monterrey Ph.D Leonardo Garrido 1987 Ph.D John F. Canny 1957 Ph.D Leonard Uhr 1990 Generative Learning Structures and Processes for Generalized Connectionist Networks Ph.D Vasant G Honavar 2006 Abstraction, Aggregation and Recursion for Generating Accurate and Simple Classifiers United States http://www.cs.iastate.edu Iowa State University Ph.D Dae-Ki Kang 1998 Planning Proofs of Correctness of CCS Systems Ph.D Raul Monroy-Borja 1964 United States http://www.harvard.edu Harvard University Ph.D Susumu Kuno 1968 Ph.D William A Woods 1977 A Structural Paradigm for Representing Knowledge Ph.D Ronald J Brachman 1994 Image Description as a Mapping from the Visual to the Linguistic Space Ph.D Jörg Schirra Claudette Sayettat Ph.D Ahmed Elgammal 1978 Automated Consultation for Complex Computer Systems Ph.D Michael Genesereth 1985 Learning by Understanding Analogies Ph.D Russell Greiner Learning Effective Interpretation Policies United States Rutgers University Ph.D Ramana Isukapalli 1974 XXX Italy Università degli Studi di Torino Piero Torasso 1939 Ph.D Herbert S. Ribner 1970 Numerical study of sound refraction by a jet flow Ph.D Lenhart Karl Schubert 1994 Discourse interpretation and the scope of operators Ph.D Massimo Poesio 1998 Definite Description Processing in Unrestricted Text Ph.D Renata Vieira 1967 Ph.D Lee James White 1976 Comparative Evaluation of Stored Pattern Classifiers Ph.D Sargur Srihari 1998 A Theory of Document Object Locator Combination Ph.D Jung Soh 1990 Small nets and short paths: optimizing neural computation Ph.D Marcus R Frean 1969 Function of the cerebellum Ph.D David Marr 1977 The Interpretation of Visual Motion Ph.D Shimon Ullman Ph.D Ellen Hildreth 1977 "Version Spaces: An Approach to Concept Learning" Ph.D Tom Mitchell 1976 "Applications of the Meta Level Knowledge to the Construction, Maintenance and the Use of Large Knowledge Bases" Ph.D Randall Davis 2005 1988 Ph.D Reid Simmons 1996 Approximation of Graphical Probabilistic Models by Iterative Dynamic Discretization and its Application to Time-Series Segmentation Ph.D Lonnie D. Chrisman 1998 Automating Diagrammatic Proofs of Arithmetic Arguments Ph.D Mateja Jamnik 1972 Netherlands Universiteit van Amsterdam Ph.D Bob J. Wielinga 1992 Pragmatics of the Knowledge Level Ph.D Guus Schreiber 1962 University of California, Berkeley Ph.D David McNeill 1991 Children’s Development of the Expression of Time and Event in Narrative Ph.D Justine Cassell United States Northwestern University Ph.D Brooke Foucalt Netherlands University of Groningen 1984 Inference of Array Grammars Ph.D Gautam Biswas 1998 Robust Vision Through Imperfect Eyes Ph.D Uma Mahadevan 1965 Ph.D Richmond H. Thomason 1954 The Prediction of Accident Rates from Basic Design Features of USAF Aircraft United States University of Southern California Ph.D Robert F. Simmons 1982 Exploration in Story Understanding Using Contextually Accessed Semantics Networks Ph.D Robert Lee Young 1959 Uber die Losung des Cauchy problems fur lineare partielle Differentialgleichungen mit Hilfe von differenzengleichungen Sweden www.kth.se Kungliga Tekniska Högskolan Ph.D Heinz-Otto Kreiss Northwestern University Ph.D Francisco Iacobelli 2006 Attributes in Lexical Acquisition United Kingdom University of Essex Ph.D Abdulrahman Almuhareb 1995 Extended Incidence Calculus and Its Comparison with Related Theories Ph.D Weiru Liu 1998 Learning Bayesian Networks from Data: an Information Theory Based Approach Ireland www.alster.ac.uk University of Ulster Ph.D Jie Cheng 1957 Information Processing: A New Technique for the Behavioral Sciences Ph.D Allen Newell 1983 The Chunking of Goal Hierarchies: A Model of Practice and Stimulus-Response Compatibility Ph.D Paul Simon Rosenbloom 1991 Eliminating Combinatorics from Production Match Ph.D Milind Tambe 2001 Font Classification and Character Recognition Ph.D Minchul Jung 2002 Experience Based Language Acquisition: A Computational Model of Human Language Acquisition Ph.D Brian Edward Pangburn 1986 Ph.D Guo-Jan Zhang Ph.D Ramesh Jain 1982 The Puff Recognition System: Ph.D Richard Dale Edmiston 1943 Contributions to the Problem of Geocze Ph.D Harry Huskey 1982 The Detection and Correction of Errors in Problem-Solving Systems Ph.D Joseph Francis Dreussi Northwestern University Ph.D Andrea Tartaro 1999 Hierarchical Character Recognition Ph.D Jaewha Park Ph.D William K. Pratt 1975 Optimum Restoration of Quantized Correlated Signals Ph.D Michael N. Huhns 1959 Ph.D Julian Feldman United States University of Hawaii 1996 Search and Planning under Incomplete Information - A Study using Bridge Card Play Ph.D Ian Frank 1936 Ph.D Charles Alfred Coulson Hugh Christopher Longuet-Higgins