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 1989 Ph.D Paul Tomassi 1968 A Nonlinear Recursive Filter for Targets with a Bounded Forcing Function United States Cornell University Ph.D Max Mintz 1969 United Kingdom Keele University Ph.D Harry G Barrow 1990 Geometric Reasoning in the Kinematic Analysis of Mechanisms United Kingdom University of Sussex Ph.D Glenn Andrew Kramer 1991 Shape Representation From Curvature Ph.D Gregory L. Dudek 2005 A MACHINE LEARNING FRAMEWORK FOR THE CLASSIFICATION AND REFINEMENT OF HAND-DRAWN CURVES Canada McGill University Ph.D Saul Simhon United Kingdom University of Exeter 1988 Ph.D John Barron M. Matteuzzi 1958 Ronald A. Howard 1990 Computation and Action under Bounded Resources Ph.D Eric Joel Horvitz 2003 Pattern Matching and Retrieval with Binary Feature Vectors Ph.D Bin Zhang 1988 PDP: An artificial Intelligence Approach to Problem Solving and Learning by Doing in a Semantically Rich Domain Ph.D Wouter Jansweijer 1997 Proof Planning for Automating Hardware Verification Ph.D Francisco Cantu Ortiz Ph.D Paul Tepper Germany Universität Erlangen 1993 Ph.D Jacques Maurice Riche Poland http://www.uw.edu.pl/ Uniwersytet Warszawski Victor W. Marek Portugal Instituto Superior de Ciências do Trabalho e da Empresa 2005 STATISTICS OF VISUAL AND PARTIAL RANGE DATA FOR MOBILE ROBOT ENVIRONMENT MODELING Ph.D Luz-Abril Torres-Mendez 2003 Automatic Recognition of Handwritten Numerical Strings Canada École de Technologie Supérieure, Université du Québec Ph.D Luiz S. Oliveira 1983 Learning to Solve Problems by Searching for Macro-Operators Ph.D Richard Earl Korf 1997 Pruning Duplicate Nodes in Depth-first Search Ph.D Larry Arthur Taylor Stefan Wegrzyn 1969 Synthesis of Minimal Expressions and Detection of Symmetry of Logic Functions Poland Silesian University of Technology Ph.D Ryszard Spencer Michalski 2001 Distance Measures for Writer Verification and Identification Ph.D Sung-Hyuk Cha G. A. Lanzarone 2003 Relational Agents: Effecting Change through Human-Computer Relationships Ph.D Timothy W. Bickmore 1992 Expertise in Qualitative Prediction of Behaviour Ph.D Bert Bredeweg 1997 Proof Planning for Automating Hardware Verification Ph.D Francisco Cantu Ortiz 2001 Hybrid Systems Fault Diagnosis with a Probabilistic Logic Reasoning Framework Ph.D Luis Eduardo Garza 1998 User Modeling with Dynamic Bayesian Networks for Adaptive Dialogue Systems Ph.D Ralph Schäfer Italy University of Genoa 1992 France Université des Sciences et Techniques du Languedoc Ph.D Philippe Beaune 1975 United States North Carolina State University Ph.D Alice Parker 1982 A Representation for Visual Information Ph.D James L. Crowley 2001 VOYELLES 1982 Analyse de scènes tridimensionnelles M.S. 1986 Niveaux de Représentation pour la Vision par Ordinateur : Indices d'Image et Indices de Scène Ph.D Yves Demazeau 1993 Ph.D Olivier Boissier 2005 France ENS Mines Saint-Etienne Ph.D Maxime Morge Ph.D Richard P Paul 1985 Ph.D Tetsutaro Shibahara 1970 Ph.D John Seely Brown 1979 Transfer of Rule-Based Expertise Through a Tutorial Dialogue Ph.D William John Clancey 1984 Ph.D Kenneth Kotovsky Naomi Sager Germany http://www.uni-freiburg.de Universität Freiburg 1977 The Shape and Stability of Three-Dimensional Interfaces United States University of Minnesota Ph.D Robert Arthur Brown 1984 Ph.D Lyle H. Ungar 2001 Iterative Combinatorial Auctions: Achieving Economic and Computational Efficiency Ph.D David C. Parkes 2003 Real-Time Monitoring and Diagnosis in Dyanamic Systems Using Particle Filtering Methods Ph.D Ruben Morales Menendez 1980 Asymptotic Boundary Conditions for Ordinary Differential Equations and Numerical Hopf Bifurcation United States California Institute of Technology Ph.D Allan Jepson 1987 The Use of Color in Computational Vision Ph.D Ron Gershon 1964 On the Organization of Intellect Ph.D Lawrence Jerome Fogel 1952 Sheffer Functions and Axiom Sets in M-Valued Logic United States www.ucla.edu University of California at Los Angeles Ph.D Norman Martin 1971 The Logical Structure Underlying Temporal Reference in Natural Language Ph.D Bertram C. (Chip) Bruce 1989 Reasoning and Revision in Hybrid Representation Systems Ph.D Bernhard Nebel 2003 Representation and Reasoning about Expressive Spatial Information Austria Technische Universität Wien 2000 Qualitative Spatial Reasoning about Topological Information Ph.D Jochen Renz Ph.D Lluis Godo 1966 United States Indiana University Ph.D George Lakoff 1980 Stress and Salience in English: Theory and Practice Ph.D Henry Swift Thompson Ph.D Tze-Wah Wong United Kingdom http://www.nottingham.ac.uk University of Nottingham 2004 A Case-Based Approach to Software Design Portugal http://www.uc.pt Universidade de Coimbra Ph.D Paulo Sousa Gomes Tunisia http://www.supcom.mincom.tn SupCom 1998 Germany Universität Essen Ph.D Adriaan van Wijngaarden 1971 An Analysis of Complexity Ph.D Maarten van Emden 1986 Experiments in Search and Knowledge Ph.D Jonathan Schaeffer 1994 Analyses of Linear-Space Search Algorithms and Applications Ph.D Weixiong Zhang 2006 Testing the AIGP Test J. Student (Trial J. Pupil) 2000 Execution Monitoring in Multi-Agent Environments Ph.D Gal Kaminka 1995 Caching and Non-Horn Inference in Model-Elimination Theorem Proving Ph.D Donald Geddis 2007 Coordination and Costly Preference Elicitation in Electronic Markets Ph.D Adam Isaac Juda Ph.D Harry Reeves Halpin 1964 A Formal Semantic for Computer-Oriented Languages Ph.D Jerome A. Feldman 1985 Semantic Networks: An evidential formalization and its connectionist realization Ph.D Lokendra Shastri 1995 Connectionism and Massively Parallel Processing: An Experimental Approach to Knowledge Representation and Reasoning Ph.D D. R. Mani 2000 Well-Foundedness and Reliability in Statistical Natural Language Parsing Ph.D Amon B. Seagull Ph.D Julie Hallmark Bichteler 2000 Automated Theory Formation in Pure Mathematics Ph.D Simon Colton United States Brandeis University Ph.D Xiru Zhang 1991 Compositional Grammars and Natural Language Processing Ph.D Jeremy Valentine Pitt 1973 Dynamic Control Structures and Their Use in Emulaton Ph.D Victor Richard Lesser 1983 A Framework for Organizational Self-Design in Distributed Problem-Solving Networks United States University of Massachusetts Amherst Ph.D Dan Corkill 1994 Flexibility in a Knowledge-Based System for Solving Dynamic Resource-Constrained Scheduling Problems Ph.D David Hildum 1972 Toward a model of children's story comprehension Ph.D Eugene Charniak 1992 A linear constraint satisfaction approach for abductive reasoning United States Brown University Ph.D Eugene Santos, Jr. 1997 Modeling intelligent control of distributed cooperative inferencing United States Air Force Institute of Technology Ph.D Edward Michael Williams 1994 Shading computations on the radiation manifold Ph.D Michael Samuel Langer 2002 Identifikation von Systemen mit Hysterese mit Hilfe von Preisach-Neuronen in vorstrukturierten neuronalen Netzen Clemens Kirchmair 1965 A New Decision Procedure in Logic with a Computer Realization Ph.D Joyce Friedman 1968 Trees, transducers, and transformations Ph.D Bill Rounds 1975 Ph.D (Charles) Raymond Perrault 1977 Formal Studies of Stratificational Grammars Ph.D Alex Borgida Kenneth Adamson 1970 Ph.D Berthold K. P. Horn 1980 Spatial Planning with Polyhedral Obstacles Ph.D Tomas Lozano-Perez 1982 Manipulator Grasping and Pushing Operations Ph.D Matthew Thomas Mason Australia University of Sydney Jack Buchanan 1994 Generating Natural Language Explanations from Large-Scale Knowledge Bases Ph.D James C. Lester 1972 Computational Stylistics: Ph.D Nell Boylan Dale Ph.D Willis Harman 1958 Ph.D Nils J. Nilsson 1991 Universal Attachment: An Integration Method for Logic Hybrids Ph.D Karen Louise Myers 1973 A Computer Model of Skill Acquisition Ph.D Gerald Jay Sussman 1977 Ph.D Drew V McDermott 1984 Representing and Acquiring Geographic Knowledge Ph.D Ernest Davis 1988 Reasoning about Shape and Kinematic Function in Mechanical Devices Ph.D Leo Joskowicz 1984 Ph.D Louise Trave-Massuyes Brazil http://www.usp.br University of São Paulo 2006 Functional Definability Issues in Logics Based on Triangular Norms Spain http://www.usal.es Universidad de Salamanca Ph.D Enrico Marchioni 1996 Efficient Production System Match and Constraint Satisfaction Problem Solving Ph.D Bonghan Cho 1999 Concurrent Network Emulation Ph.D Nigel Wells United States Case Western Reserve University Ph.D Nancy J. Nersessian 1987 "Apprenticeship Learning Techniques for Knowledge Based Systems" Ph.D David C Wilkins 1999 Envisionment-Based Scheduling Using Time Interval Petri Networks: Representation, Inference, And Learning Ph.D Vadim Bulitko 2007 University of Alberta M.S. David Thue 2005 Solving the Constrained Coverage Problem with Flow Networks as Linear Program Approximations Ph.D Russell Knight 1986 Integrating marker-passing and problem-solving: a spreading- activation approach to improved choice in planning Ph.D James A. Hendler 1989 Flexible reuse and modification in hierarchical planning: A validation structure based approach Ph.D Subbarao Kambhampati 2007 Scalable Planning Under Uncertainty United States Arizona State University Ph.D Daniel L Bryce 1996 Handwritten Word and Phrase Recognition Ph.D Gyeonghwan Kim 1989 MILORD: Multilevel Architecture for Classification Expert Systems Ph.D Carles Sierra 2003 Trust and reputation for agent societies Spain Universitat Autònoma de Barcelona Ph.D Jordi Sabater-Mir 1998 A methodology for iterated information change Ph.D Odinaldo Teixeira Rodrigues 1976 Ph.D Jörg Siekmann 1990 Germany Universität Kaiserslautern Ph.D Peter Struss 1988 Representing and Reasoning with Probabilistic Knowledge Ph.D Fahiem Bacchus 2003 CSP-Plan: a closer look at planning as a CSP Adriana Lopez 1980 Descriptive Discovery Processes: Experiments in Baconian Science Ph.D Patrick W. Langley 2001 Value-Driven Agents Ph.D Daniel Shapiro 1987 Time and Causation from the Standpoint of Artificial Intelligence Ph.D Yoav Shoham 1993 PLACA: An Agent Oriented Programming Language Ph.D S. Rebecca (Becky) Thomas 1996 Holistic Techniques for Handwritten Word Recognition Ph.D Sriganesh Madhvanath 2001 Ph.D Juan Antonio Rodríguez Aguilar 1994 Ph.D Paolo Petta littlewood United States http://www.ou.edu/ University of Oklahoma 1980 Ph.D Stephen Cross 1947 Method for the Solution of the Dirichlet Problem for Certain Types of Domains Ph.D Bernard Epstein 1959 Some Applications of Orthogonal Systems of Functions to Interpolation and Analytic Continuation Ph.D Jack Minker 1990 Negation in Disjunctive Logic Programs Ph.D Jorge Lobo 1988 Foundations of a Logic of Knowledge, Action, and Communication Ph.D Leora Morgenstern 1990 Resolving Ambiguity in Nonmonotonic Reasoning Ph.D Lynn Andrea Stein 1997 Address Block Location System Using Multi Resolution State-Space Search Ph.D Jeon Man Park 1971 Metallographic Methods for Determining Temperature Gradients in Cutting Tools University of Birmingham, England Ph.D Paul K. Wright 1990 Machining Planning: A Model of an Expert Planning Process Ph.D Caroline Hayes 2001 TASK-ICDA: A Methodology for Designing Multi-Agent Decision Support Systems Ph.D Nan Tu 1999 Belief Change Theory and its Applications on Knowledge States Ph.D Marcelo Alejandro Falappa 1971 Artificial Neural Networks United Kingdom Queen Mary College University of London Ph.D Ebrahim (Abe) Mamdani 1992 Joint intentions as a model of multi-agent cooperation in complex dynamic environments Ph.D Nicholas Robert Jennings 2004 Multi-Agent Negotiation Using Trust and Persuasion United Kingdom University of Southampton Ph.D Sarvapali Dyanand Ramchurn 1977 Aspects of a Modular Theory of Language Belgium Universiteit Antwerpen Ph.D Luc L. Steels Iran http://www.aut.ac.ir/ Amirkabir University of Technology United Kingdom http://www.manchester.ac.uk/ The Victoria University of Manchester 1976 Perceptual Strategies for Purposive Vision Ph.D Thomas O Binford 1981 Symbolic Reasoning among 3-D Models and 2-D Images Ph.D Rodney Allen Brooks 1993 Specialization of Perceptual Processes Ph.D Ian Horswill 1997 A Framework for Handwritten Document Recognition Ph.D Ajay Shekhawat 1976 A Methodology for the Design of Medical Database Systems United States University of California San Francisco Ph.D Gio Wiederhold 1979 Reasoning about Knowledge and Action Ph.D Robert Carter Moore 1987 Toward a Mathematical Theory of Plan Synthesis Ph.D Edwin Peter Dawson Pednault 2003 Electronic Institutions: from specification to development Ph.D Marc Esteva 1983 Resolving Lexical Ambiguity in a Deterministic Parser Ph.D Robert Milne 1999 Generalisierung bei Neuronalen Netzen geringer Komplexität Josef Hochreiter 1995 A Process-Oriented Approach to Representing and Reasoning about Naive Physiology United Kingdom University of Aberdeen Ph.D Ines Arana Landin 1983 Ph.D Jeremy Kuo 1987 Knowledge Representation in Computer-Aided Learning: The Theory and Practice of Knowledge-Based Flow of Control Ph.D Geoffrey Ian Webb France University of Toulouse 3 2000 Lernen der Struktur nichtlinearer Abhängigkeiten mit graphischen Modellen Reimar Hofmann 1997 SEDAR: An Architecture for Control in Associate Systems Ph.D Michael C. Fu 2002 Specifying Agent Communication Languages Ph.D Frank Guerin 1983 Ph.D Dilip Soni Ph.D Paul Rutter 1964 Synthesis of Threshold Logic Networks Ph.D John Hopcroft 1992 Fine Motion Planning for Dexterous Manipulation Ph.D Daniela Rus United Kingdom King's College London 2002 Grundlagen strukturierten Spezifizierens mit höheren Netzen Andreas Heise Israel http://www.biu.ac.il/ Bar Ilan University 1985 A Text Generation Module for a Medical Decision Support System Ph.D Ping Yang Li Ireland Trinity College, Dublin 1976 Relations between some Hierarchies of Ordinal Functions and Functionals Ph.D Richard Weyhrauch Mauro Di Manzo 1987 Ph.D Fausto Giunchiglia 1998 Using OMRS in practice:� the case study of ACL2 Italy Università di Roma La Sapienza Ph.D Piergiorgio Bertoli 1984 Ph.D Charley Shubra Ph.D Pulavarthi Satyanarayana 1992 Qualitative Representation of Spatial Knowledge Daniel Hernandez United Kingdom Loughborough University of Technology 1986 An Expert System for Organic Sunthesis Using Automated Reasoning Ph.D Tunghwa Wang 1985 Ph.D Chin-Hsiang Li 1980 Ph.D Roy Rada 1989 A structuring mechanism for Petri nets Astrid Kiehn 2004 TM-LPSAT: Encoding Temporal Metric Planning in Continuous Time Ph.D Ji-Ae Shin 1987 A Unified Approach to Dynamic Coordination: Planning actions and interactions in a distributed problem solving network Ph.D Edmund H Durfee 1992 A Decision-Theoretic Model of Coordination and Communication in Autonomous Systems Ph.D Piotr Gmytrasiewicz 2005 Optimal Sequential Decision-Making in Uncertain Multiagent Settings United States University of Illinois at Chicago Ph.D Prashant Doshi 1987 ABF, An Expert System for Office Automation and an Interpreter for Legal Document Construction Ph.D Henry Harr SVM 2005 Capturing user intent for information retrieval United States University of Connecticut Ph.D Hien Nguyen 1995 Pfadplanung für Manipulatoren in komplexen Umgebungen mittels generalisierender Pfadspeicherung in Ellipsoidkarten Margit Kinder 1991 A Theory of Natural Learning Ph.D Alexander Botta 1976 Lexical Rules and Structures in a Compuer Model of Nominal Compounding Ph.D James Rush Rhyne Russia Institute for Control Problems, Moscow 1998 Mining Links Ph.D Ellen Spertus Ph.D Viet Phanluong France Ecole NS des Mines de Saint-Etienne 1990 Classifying and Detecting Plan-Based Misconceptions for Robust Plan Recognition Ph.D Randy Calistri-Yeh 1993 Integration von regelbasiertem Wissen in neuronalen Netzen Jürgen Hollatz 1989 Goal Analysis: Plan Recognition in Dialogue Systems Ph.D James Mayfield 1991 A Knowledge Based Approach to Automatic Query Formulation Ph.D Ralph Semmel 2004 Open, Reusable, and Configurable Multi Agent Systems: A Knowledge Modelling Approach Ph.D Mario Gómez 1974 The REL Language Writer's Language: A Metalanguage for Implementing Specialized Application Languages Ph.D Peter Szolovits 1988 Formulation of Tradeoffs in Planning under Uncertainty Ph.D Michael P. Wellman 1999 The Design of Computational Markets for Network Information Services Ph.D Tracy Mullen 2005 Markets as an Information Aggregation Mechanism for Decision Support United States Pennsylvania State University Ph.D Yiling Chen 2001 Intelligence By Design: Principles of Modularity and Coordination for Engineering Complex Adaptive Agents Ph.D Joanna J. Bryson 1979 Eigenschaften von Petrinetzsprachen Matthias Jantzen 1974 Ph.D Charles J Rieger, III 1985 Ph.D James Reggia 1985 A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference Ph.D Yun Peng 2001 An Extended Bayesian Belief Network Model of Multi-agent Systems for Supply Chain Management Ph.D Ye Chen 1995 Using Problem Topology in Parallelization Ph.D Lorie M Liebrock 2005 Mexico New Mexico School of Mining and Technology Ph.D Sue P goudy 2003 Multi-Player Games: Algorithms and Approaches Ph.D Nathan R Sturtevant 1999 Hierarchical Task Network Planning as Satisfiability Ph.D Amol Dattatraya Mali 2004 Scaling up Metric Temporal Planning Ph.D Minh Binh Do 2005 Ensemble Case-Based Learning for Multi-Agent Systems Ph.D Santi Ontañón Hungary Hungarian Academy of Sciences United States http://www.louisiana.edu/ University of Louisiana at Lafayette Ph.D Anthony S Maida 1987 Analogical and Inductive Reasoning Ph.D Stuart Jonathan Russell 1998 Hierarchical Control and Learning for Markov Decision Processes Ph.D Ronald Edward Parr 1998 Mobile Robot Local Navigation with a Polar Neural Map M.S. 2003 Efficient Approximate Policy Iteration Methods for Sequential Decision Making in Reinforcement Learning Ph.D Michail G. Lagoudakis Germany Universität Karlsruhe (TH) 1984 Esquema Multinivel para la Adquisición Interactiva, Representación y Procesamiento de Conocimientos en Escenarios 3-D (Multi-level Schema for the Interactive Acquisition, Representation, and Processing of Knowledge in 3-D Scenarios) Ph.D Ulises Cortés 1991 Caracterización no Monótona de la Inferencia Inductiva y su Aplicación en el Aprendizaje Basado en Similitudes (SBL) Ph.D Gustavo Núñez United States New School University 1986 Rational Interaction: Cooperation Among Intelligent Agents Ph.D Jeffrey S. Rosenschein 1993 Israel Hebrew University Ph.D Eithan Ephrati 1988 Ph.D Luis Otavio Alvares 2005 Designing Autonomous Agents for Computer Games with Extended Behavior Networks: An Investigation of Agent Performance, Character Modeling and Action Selection in Unreal Tournament Brazil http://www.ufrgs.br Universidade Federal do Rio Grande do Sul M.S. Hugo da Silva Correa Pinto 1964 Ph.D Gordon Pask 1974 Layout schemes from adjacency graphs United Kingdom Brunel University Ph.D Luís Moniz Pereira Canada http://www.ulaval.ca Université Laval Ph.D Yvan Bédard 1974 Image compression using orthogonal transformations M.S. 1982 Multi-source Imagery in Remote Sensing: image matching and geometrical analysis. Ph.D 1976 Transformation de Walsh-Hadamard et application au traitement d'image France http://www.enseeiht.fr ENSEEIHT Robert Jeansoulin 2003 (cotutelle) Ph.D 2003 Gestion du risque juridique découlant de la fourniture de données géographiques : pertinence des instructions à l'usager France http://www.univ-mlv.fr Université de Marne-la-Vallée Ph.D Marc Gervais 1981 Belief Systems of AI and Implicit Utterances Ph.D Katharina J. Morik 1997 Entdeckung von Metadaten zur semantischen Anfrageoptimierung in relationalen Datenbanken Germany Universität Dortmund Ph.D Siegfried Bell United States New Mexico State University 1992 An Optimizing Fortran D Compiler for MIMD Distributed-Memory Machines Ph.D Chau-wen Tseng 2001 Ph.D Gabriel Rivera 1979 Skimming Stories in Real Time: An Experimentin Integrated Understanding Ph.D Gerald Francis DeJong II 1988 Generalizing the Structure of Explanations in Explanation-Based Learning Ph.D Jude William Shavlik 1995 Learning from Instruction and Experience: Methods for Incorporating Procedural Domain Theories into Knowledge-Based Neural Networks Ph.D Richard Frank Maclin 1965 On computable numbers Ph.D Brian Henry Mayoh 1984 Word Order and Constituent Structure in German Ph.D Hans Uszkoreit Palmira Marrafa 1979 United States http://www.lse.ac.uk/ London School of Economics Ph.D Amilcar Sernadas 1989 A calculus of objects and events Portugal Instituto Superior Técnico Ph.D 1998 Portugal Universidade de Lisboa José Luiz Fiadeiro 1999 Reference Processing and Its Universal Constraints Ph.D António Horta Branco 1996 Theory Restructuring -- A Perspective on Design and Maintenance of Knowledge-Base Systems Ph.D Edgar Sommer 1996 interleaving Planning and Execution Ph.D Illah Nourbakhsh United States New Jersey Institute of Technology 2001 Ph.D Hwansoo Han 2004 Organizational principles for multi-agent architectures Ph.D Chris van Aart 1995 Knowledge-based Methods for the Automatic Design of Illustrations in Technical Documents Ph.D Thomas Rist 1963 Contributions to the Theory of Learning Automata Ph.D B. Chandrasekaran 1984 Expert Systems for Design Problem-solving using Design Refinement with Plan Selection and Redesign Ph.D David C Brown 1993 Sift: A Self-Improving Fractions Tutor Ph.D Eric Gustein 1985 An Expert System to Assist Physicians with the Diagnosis and Treatment of Stroke Ph.D Howard Hill United States IBM Trenchard More Jr. 2002 State Aggregation Algorithms for Learning Proababilistic Models for Robot Control Ph.D Daniel Nikovski 1993 Ph.D Gilad Zlotkin Singapore National University of Singapore 1946 Konturen einer Geistesgeschichte der Mathematik. Die Mathematik in den Wissenschaften Germany http://www.uni-jena.de/ Universität Jena 1937 Quantenmechanik und Daseinsrelativität Germany Universität Bonn Max Bense 1962 Ästhetisches Mass und ästhetische Information Universität Stuttgart Rul Gunzenhäuser 1967 Ph.D Erich Neuhold 1982 Konzepte für die interaktive Entwicklung und Benutzung von Anwendersystemen Germany Universität Stuttgart Ph.D Rudi Studer Udo Hahn 1998 Grading Knowledge - Extracting Degree Information From Texts Steffen Staab 2006 Ontology Learning and Population from Text – Algorithms, Evaluations and Applications Ph.D Philipp Cimiano 1983 Ph.D Mark S. Fox 2000 Modèles et simulations informatiques des problèmes de coopération entre agents France Université des Sciences et Technologies de Lille (USTL) Ph.D Bruno Beaufils 1998 Ph.D Mohamad Allouche 1992 Automatic and Interactive Parallelization Ph.D Kathryn S McKinley 1999 Scalable Distributed Architectures For Information Retrieval Ph.D Zhihong Lu 1995 An Anytime Approach to Connectionist Theory Refinement Refining the Topologies of Knowledge-Based Neural Networks Ph.D David William Opitz 1985 A Comparison of Multi-Key File Structures and Associative Retrieval Algorithms for Database Applications Ph.D Dennis Beckley Ray Solomonoff 2002 Data Reorganization for Improving Cache Performance of Object-Oriented Programs Ph.D Sharad Singhai 1992 Ph.D Gregg R. Yost 1970 Ph.D Allan Collins 2001 Learning as Problem Solving Ph.D Maarten van Someren Nathaniel Rochester 1999 A Combined Parametric and Nonparametric Approach to Time Series Analysis Motivated by Coastal Upwelling Prediction Stefan Kriebel Italy http://www.univpm.it Polytechnic University of Marche 2002 Memory Management for High-Performance Applications Ph.D Emery Berger 2001 Temporal Multi-agent Systems for dynamic industrial systems Ph.D Thibault Carron 1991 Behaviour Interpretation of Multiple Agents in Image Sequences Ph.D Gudula Retz-Schmidt Ph.D Yves D. Willems 1979 Naar een betere beheersing van de uitvoering van programma's in de logika der Horn-uitdrukkingen Belgium Katholieke Universiteit Leuven Ph.D Maurice Bruynooghe 1991 Interactive Concept Learning Ph.D Luc De Raedt 1926 M.S. Arthur Samuel Germany Technical University of Munich Austria http://www.univie.ac.at/ Universität Wien Robert Trappl 1985 User Modeling in Dialog Systems Ph.D Alfred Kobsa 1998 Ludwin Fuchs 2002 Effective Compile-Time Analysis for Data Prefetching in Java Ph.D Brendon Cahoon 1995 Inkrementelle Partielle Deduktion Ph.D Thomas Hoppe 1977 Ph.D Robert Woodham 1992 Hyperflächen-Annealing: Ein paralleles Optimierungsverfahren basierend auf selbstorganisierter Musterbildung durch Relaxation auf gekrümmten Hyperflächen Thomas Laußermair Italy http://www.unipd.it/en/index.htm Università di Padova 1997 Wolfgang Pohl 1997 Learning Possibilistic Causal Networks from Data Ph.D Ramon Sangüesa 2004 Incremental Methods for Bayesian Network Structure Learning Ph.D Josep Roure 1989 Automating Algorithm Design Within A General Architecture for Intelligence Ph.D David Menachem Steier 2004 Cooperative Hardware/Software Caching for Next-Generation Memory Systems Ph.D Zhenlin Wang 2001 The Maximum Margin Approach to Learning Text Classifiers Ph.D Thorsten Joachims 1983 Kontextfrei kontrollierte ETOL-Systeme Klaus-Jörn Lange Richard Thomas Ph.D R. B. Braithwaite 1968 Argument and Proof Ph.D Yorick A. Wilks 1997 Role-Taking as a Method of User Modeling: Global Anticipation in a Transmutable Dialogue System Ph.D Alassane Ndiaye University of Bologna Michela Milano 1994 Machine-Printed Word Recognition Using Ideal Word Patterns and Lexical Reduction Ph.D Xin Sheila Zhao 2004 The Dynamic Creation of Induction Rules Using Proof Planning Ph.D Jeremy Gow 1978 NETL: A System for Representing and Using Real-World Knowledge Ph.D Scott E. Fahlman Erik Willem Groneveld Netherlands Universiteit Twente Fernando-Henrico Lopes da Silva 1982 Computer-augmented analysis of electroencephalograms in epilepsy Ph.D Nicolaas J. I. Mars 1998 Computer-supported analysis of scientific measurements Ph.D Hidde de Jong 1991 Knowledge-Based Discourse Generation for an Intelligent Tutoring System Ph.D Yuemei Zhang 1988 Ph.D Robert C Holte 1982 Ph.D Fernando C. N. Pereira 1994 A Computational Framework for Adaptive Reading in Document Image Understanding Ph.D Stephen Lam 1987 A representation language based on a game-theoretic interpretation of logic United Kingdom University of Leeds Ph.D Peter Jackson 1981 Ph.D Philip Bromiley 1989 Italy University of Bologna Ph.D Paola Mello 1990 University of Bologna Ph.D Evelina Lamma 2002 Interactive Constraint Satisfaction Problems for Artificial Vision University of Ferrara Ph.D Marco Gavanelli Italy Università di Pavia Ph.D Enrique Magenes Ph.D Liliana Ironi 1989 Apprentissage par explication d'echecs theorie et application France Université Paris-Sud (Paris 11) Ph.D Jean-Francois Puget United Kingdom http://www.manchester.ac.uk/ University of Manchester 1988 Ph.D Bonnie Elizabeth John Ph.D Peter Hart 1989 Learning with Nested Generalized Exemplars Ph.D Steven L. Salzberg 2006 Predicting gene structure in eukaryotic genomes Johns Hopkins University Ph.D Jonathan E Allen 1994 A Knowledge-Based Approach to Deriving Logical Structure from Document Images Ph.D Debashish Niyogi Andreas Hamfelt 2003 Function Variables for Constraint Programming Sweden Uppsala University Ph.D Brahim Hnich 1996 DAI-DEPUR: An Integrated Supervisory Multi-Level Architecture for Wastewater Treatment Plants Ph.D Miquel Sànchez-Marrè 1988 Generating Cooperative Responses in a Natural Language Interface to Relational Databases Ph.D Heinz Marburger 1962 Ph.D Richard Duda 1994 Ph.D Geetha Srikantan 1991 A Bayesian Computer-Based Approach to the Physician's Use of the Clinical Research Literature. Ph.D Harold Lehmann 2001 Johns Hopkins University Ph.D Mihaela Pertea 2003 CONFLICT RESOLUTION STRATEGIES AND THEIR PERFORMANCE MODELS FOR LARGE-SCALE MULTIAGENT SYSTEMS Ph.D Hyuckchul Jung 1982 Ph.D Robert Jansen 1991 Symbolic Knowledge and Neural Networks: Insertion, Refinement and Extraction Ph.D Geoffrey Towell Massachusetts Institute of Technology 1995 Address Block Location in Complex Documents Ph.D Yenchou James Lii 1991 A Theory of Abstraction Ph.D Toby Walsh 2001 Representation and Reasoning with Non-binary Constraints Ph.D Kostas Stergiou Canada Montreal Neurological Institute 1976 Neurology Carlo Caltagirone 2003 Nuove metodiche di valutazione della disabilita: l'analisi del WHO-Disability Assessment Schedule II con tecniche di clustering basato su regole Ph.D Roberta Annicchiarico 1999 Designing Experience-Centered Planning Support Systems. Ph.D Carolyn B. Fiebig 1976 Perceptual Strategies for Purposive Vision Ph.D Thomas David Garvey Sweden Linköping University Australia Monash University David Pears Massachusetts Institute of Technology 2003 Sifting and Winnowing: Approaches to Finding Useful Information on theWeb Ph.D Matthew Zeidenberg 1986 Case-based planning: Viewing planning as a memory task Ph.D Kristian J. Hammond 1995 Document Image Binarization based on texture analysis Ph.D Ying Liu 2001 Heuristic Knowledge Representation and Evidence Combination Parallelization Ph.D Xin Hong 1998 Effector-Based Goal and Operator Construction: A Model for the Design of Effector Adaptive Planners Ph.D Daniel M. Gaines Edward Nawarecki University of Pennsylvania Robert A. Bjork 1995 A Hierarchical Fusion Neural Network for Handwritten Character Recognition Ph.D Jian Zhou 1981 Ph.D Fernando Gomez 2006 Syntax-Based Concept Extraction for Question Answering United States http://www.ucf.edu University of Central Florida Ph.D Demetrios G Glinos Alan Smaill 2001 Deductive Synthesis of Recursive Plans in Linear Logic Ph.D Stephen Cresswell Jacques Rouault 1974 Interactions in the Acquisition and Utilization of Structured Knowledge Ph.D Barbara Hayes-Roth 1993 Deciding Whether to Plan to React Ph.D Vlad Dabija 1995 Intelligent Decision Support System for Marketing Decisions Greece Technical University of Crete Ph.D Nikolaos F Matsatsinis Heriot-Watt University 1995 Bayesian/Neural Network Classification Ph.D Dar Shyang Lee 1988 A new generalized Voronoi diagram in the plane Ph.D Caoan Wang 1984 Maurizio Tazza 1977 Ph.D Wendy Lehnert 1983 In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension Ph.D Michael George Dyer 1988 Learning Causal Relationships: An Integration of Empirical and Explanation-Based learning Methods Ph.D Michael John Pazzani 2000 User Model Induction for Intelligent Information Access United States University of California, Irvine Ph.D Daniel Billsus 2006 A Comparative Study of Human-Computer Interaction with Deterministic and Fuzzy Multi-criteria Decision-Making Techniques. Ph.D Farnaz Akhavi 1974 Ph.D Neil Goldman 1984 Semantic Interpretation Against Ambiguity Ph.D Graeme Hirst 1997 Automatically generating hypertext by computing semantic similarity Ph.D Stephen J. Green 1997 Ph.D Marta Domingo Ph.D Xiong Wang 1996 Data Mining for Chemistry: the Application of Three Machine Induction Tools to a Database of Enantioseparations Ph.D Christopher H Bryant Portugal http://www.unl.pt Universidade Nova de Lisboa 1965 Vortex Theory of Superconductive Memories United States Polytechnic University Ph.D Judea Pearl 1996 Learning Bayesian Networks from Data Ph.D Max Chickering Ph.D Bernard Meltzer 1968 Schnittelimination in einem Teilsystem der einfachen Typenlogik Ph.D Wolfgang Leonhard Bibel 1994 Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution Germany Technische Universität Darmstadt Michael Thielscher Spain Universitat de Girona 1990 Intelligence as Adaptive Behavior Ph.D Randall Beer 1995 Exploration and Spatial Learning in Dynamic Environments Ph.D Brian Yamauchi 1988 Speech Recognition Using Connectionist Networks Ph.D Raymond L. Watrous Brazil http://www.pucrs.br Pontifícia Universidade Católica do Rio Grande do Sul 1996 Lexical semantics and knowledge representation in multilingual sentence generation Ph.D Manfred Stede 1988 Theories of Comparative Analysis Ph.D Daniel Sabey Weld 1997 A Unified Approach to Concept Learning Ph.D Pedro Domingos 2002 A Machine Learning Approach to Web Personalization United States University of Washington Ph.D Corin Anderson 1994 On Temporal Representation and Reasoning in Knowledge-Based Systems Spain http://www.iiia.csic.es/ Artificial Intelligence Research Institute Ph.D 1994 Ph.D Lluís Vila University of Michigan 2005 Intrusion Detection Using Probabilistic Methods and Performance Enhancing Techniques Ph.D Fernando Godinez-Delgado 2005 Query Processing in Data Integration from a Multitude of Data Sources over the Internet Ph.D Zhining Liao 2001 Diskretisierung reellwertiger Attribute mit gemischten kontinuierlichen Gleichverteilungen und und ihre Anwendung bei der zeitreihenbasierten Entscheidungbauminduktion (Optimized Discretization of Continous-Valued Attributes for Data Mining) Germany Universität Bremen Michael Boronowsky Ph.D Timothy O'Shea 2003 Building a lexical knowledge base of near-synonym differences Ph.D Diana Zaiu Inkpen 1977 Ph.D Lois Boggess State University of New York at Buffalo 1987 The use of explicit user models in text generation: tailoring to a user's level of expertise Ph.D Cecile Paris 1981 Producing Explanations and Justifications of Expert Consulting Programs Ph.D William Swartout 1989 Ph.D Johanna Doris Moore 2000 Generating and evaluating evaluative arguments Ph.D Giuseppe Carenini 1990 DISCERN: A Distributed Artificial Neural Network Model of Script Processing and Memory Ph.D Risto Miikkulainen 2002 Cultural Enhancement of Neuroevolution Ph.D Paul H. McQuesten 1989 Unification and reduction systems for varieties of semigroups Franz Baader Prof. Dr. Ph.D Corin Gurr 2004 Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain Ph.D Daniel Winterstein 2002 Algorithms for language reconstruction Ph.D Grzegorz (Greg) Kondrak 1995 Projective Visualization: Learning to Simulate from Experience Ph.D Marc Goodman Ph.D Michael Lebowitz 2001 Usage of AI in Contemporary Art Genco Gulan 2003 Räumlich-zeitliche Analyse von dynamischen Szenen (spatio-temporal analysis of dynamic scenes) Ph.D Andrea Miene 2004 Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures Ph.D Graham Steel 1975 Ph.D Martin Charles Golumbic 1956 The Development and Application of Stochastic Models for Interaction Ph.D David G. Hays 1992 Extraction and Use of Contextual Attributes for Theory Completion: an Integration of Explanation-Based and Similarity-Based Learning Ph.D Andrea Pohoreckyj Danyluk 1910 Vector Functions of a Point Ph.D Frank Hitchcock 1989 On Probabilistic Strategies for Robot Tasks Ph.D Michael Erdmann 1997 Non-prehensile Manipulation Strategies Ph.D Nina Barrameda Zumel 1992 Locating Faces in Newspaper Photographs Ph.D Venugopal Govindaraju 1995 Johns Hopkins University Ph.D Sreerama K Murthy 1991 A Structural Theory of Explanation-Based Learning Ph.D Oren Etzioni 1998 Scalable and Adaptive Goal Recognition Ph.D Neal Lesh 1978 Bernd Krieg-Brückner 1990 Base selection in analogical planning Ph.D Diane Joyce Cook 1999 Discovery of Patterns in Course-of-Disease Medical Data United States University of Texas at Arlington Ph.D Jorge Carlos Guillermo Ramirez 1981 A Practical Comparison of Parsing Strategies for Machine Translation Purposes Ph.D Jonathan Slocum 1990 Computational stylistics for natural language translation Ph.D Chrysanne DiMarco 1990 Ph.D Andrew W Moore 1993 Handwritten Word Recognition using Generate and Test Ph.D John Favata 1983 Dependence Analysis for Subscripted Variables and Its Application to Program Transformations Ph.D John Randal Allen 1979 Towards the Comprehension of Definite anaphora in English Ph.D Candace L. Sidner Spain University of Valencia 1969 Bi-Directional Heuristic Search in Path Problems Ph.D Ira Pohl 1981 Knowledge-based Contextual Reference Resolution for Text Understanding Ph.D Michael Kavanagh Smith United States Brigham Young University 1992 A foundation of fault-tolerant computing Ph.D Anish Arora 1981 Ph.D Harry Tennant 1993 Abductive interpretation and reinterpretation of natural language utterances Ph.D Susan McRoy France Université Paris Dauphine (Paris 9) 1982 Henri Prade 1988 A General Explanation-Based Learning Mechanism and its Application to Narrative Understanding Ph.D Raymond Joseph Mooney 1998 Using Multi-Strategy Learning to Improve Planning Efficiency and Quality Ph.D Tara Estlin 2003 Problems of Learning on Manifolds Ph.D Mihail Belkin Belkin 1998 Analyse von regelbasierten Constraintlösern Germany Universität München Slim Abdennadher Ph.D Jeff Gibbons Brazil http://www.utfpr.edu.br/ Federal Technological University of Paraná 1991 Time-constrained memory for reader-based text comprehension Ph.D Jean-Pierre Corriveau Ph.D Derek Sleeman 1980 Textured Image Segmentation Ph.D Kenneth I. Laws 1985 Aspekte wissensgestützter Planung Kai von Luck 1952 Representation of normed algebras with an involution Ph.D Joseph A. Schatz 1974 Computational Investigations of Non-Repetitive Sequences United States http://www.uh.edu/ University of Houston 1977 Truth Maintenance Systems for Problem Solving M.S. 1980 A Model for Deliberation, Action, and Introspection Ph.D Jon Doyle 1984 The mathematics of inheritance systems Ph.D David S. Touretzky 1999 Iterated phantom induction: A little knowledge can go a long way Ph.D Mark Brodie 1994 Efficient Evidential Indexing of Three-Dimensional Models using Prototypical Parts Ph.D Ron Katriel 1996 Germany Universität Konstanz Ian Beaumont 1980 Natural Language Production as a Process of Decision-making under Constraints Ph.D David D. McDonald 1950 Theory of Recursive Unsolvability Ph.D Martin Davis 1964 Recursively Random Sequences Ph.D Donald W. Loveland 1983 Interprocedural Data Flow Analysis in a Programming Environment Ph.D Keith D Cooper 2005 Ph.D Alex Grosul 2006 Learning State and Action Hierarchies for Reinforcement Learning Using Autonomous Subgoal Discovery and Action-Dependent State Space Partitioning Ph.D Mehran Asadi 1979 Subjective Understanding: Computer Models of Belief Systems Ph.D Jaime G. Carbonell 2006 Optimizing Multiple Continuous Queries Ph.D Chun Jin 1997 Verification of Modal Properties Using Boolean Equation Systems Angelika Mader United States Virginia Polytechnic Institute and State University 1934 Ph.D Zellig Sabbetai Harris 1960 Ph.D Aravind K Joshi 1978 A Formal Approach to Discourse Anaphora Ph.D Bonnie Lynn Webber 1985 Correcting Object-Related Misconceptions Ph.D Kathleen F. McCoy 2004 Theory and application of reward shaping in reinforcement learning Ph.D Adam Laud 1976 AM: Automated Discovery in Mathematics as Heuristic Search Ph.D Douglas B. Lenat 1983 Ph.D Paul Cohen 2006 Dynamically Improving Program Locality on-the-Fly Ph.D Xianlong Huang 2006 Conditional Graphical Modewls for Protein Structure Prediction Ph.D Yan Liu 1989 Question-Driven Understanding: An Integrated Theory of Story Understanding, Memory, and Learning Ph.D Ashwin Ram 1997 A Functional Theory of Creative Reading Ph.D Kenneth Moorman 1996 Harold Paredes-Frigolett 2004 Modellbasierte Mehrzieloptimierung mit Neuronalen Netzen und Evolutionsstrategien Dany Meyer 1990 The Deliberative Integration of Planning, Execution, and Learning. Ph.D Daniel Kuokka 1993 A Hybrid Procedural-Connectionist Word Recognition System Ph.D Thomas Fontaine 1998 Rendering with Poxels: A Software Architecture for Programmable Shading Systems. Ph.D Marcus Sohlenkamp 2005 Explanation-based approach to incorporating domain knowledge into support vector machine: Theory and applications Ph.D Qiang Sun 1980 Ph.D Sergei Nirenburg Canada http://www.uqam.ca/ Université du Québec à Montréal 2000 Qualitative Repräsentation von Bewegungsverläufen Alexandra Musto 1960 Stochastic Models for Learning Ph.D Laveen Kanal 1977 A problem-reduction approach to the linguistic analysis of waveforms Ph.D George C. Stockman 1999 Ph.D Uwe Behrens 1992 Selectionism as a Basis for Categorization and Adaptive Behavior Belgium Vrije Universiteit Brussel Ph.D Bernard Manderick United States California State University, Long Beach 1981 Funktionale Semantikbeschreibung von Anfrageoperationen in einem dreischichtigen relationalen Datenbanksystem Thomas Olnhoff 1983 Enhancing the Effectiveness of Information Retrieval Systems with Relational Thesauri Ph.D Yih-Chen Wang 2005 Software Engineering Using design RATionale United States http://www.wpi.edu/ Worcester Polytechnic Institute Ph.D Janet E Burge 1984 Shift of bias for inductive concept learning Ph.D Paul E. Utgoff 1993 Feature Discovery for Problem Solving Systems Ph.D Tom Elliott Fawcett 1993 Fahri Yetim 1975 Charakterisierungen erkennbarer Termmengen in abolut freien universellen Algebren Manfred Opp 1999 Semantic representations of near-synonyms for automatic lexical choice Ph.D Philip Edmonds 1964 Artificial Intelligence Ph.D Daniel G. Bobrow Ph.D John Lafferty 1984 Vision and Navigation for a Mobile Robot Ph.D Charles E. Thorpe (Chuck) 1998 Germany Universität Göttingen Wolfgang Broll 1992 A machine learning approach to planning in complex real-world domains Ph.D Scott Bennett 2000 Automated Service Negotiation between Autonomous Computational Agents Ph.D 2001 Ph.D Peyman Faratin 1998 Probability Estimating Neural Networks Dirk Ormoneit 1999 Texturen - Anaylse, Beschreibung und Synthese Thorsten Hermes 1985 Controlling Inference Ph.D David E Smith 1998 Ph.D Ricardo Vilalta 1963 Concerning Continuous Relations Ph.D Stan Franklin 1996 Character Recognition Agents United States http://www.memphis.edu The University of Memphis Ph.D Lijia Zhou 1996 An incremental curative learning approach for planning with incorrect domain theories Ph.D Melinda Gervasio 2002 Modeling User Interlanguage in a Second Language Tutoring System for Deaf Users of American Sign Language United States University of Delaware Ph.D Lisa N Michaud 1996 Negotiation Among Self-Interested Computationally Limited Agents Ph.D Tuomas Sandholm 1973 Ph.D François Rechenmann 1999 Représentations de connaissance: de l'approximation à la confrontation 1990 Un système de maintenance de la vérité à propagation de contextes Ph.D Jérôme Euzenat 1996 Explaining Reasoning in Description Logics Ph.D Deborah L. McGuinness 1998 Plausible inference: A knowledge-intensive approach to induction (An application of PI to the problem of hidden homology modeling) Ph.D Daniel Oblinger 1962 Ph.D Rohit Parikh 1976 Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems Ph.D Edmund Clarke 1985 Some Graph Theoretic Issues in VLSI Design Ph.D Bud Mishra 1999 Learning in Network Games Ph.D Amy Greenwald 1992 Ph.D Dean Pomerleau 1996 Ph.D Shumeet Baluja 1980 A program conversing in Portuguese providing a library service Ph.D Helder Manuel Ferreira Coelho 2001 Agents with Value-Based Decision Ph.D Luis Antunes 2005 Decentralized Throughput Optimization in Industrial Networks Uwe Röttgermann 1982 Ph.D Vipin Kumar 1997 Rule-Based Reasoning in Connectionist Networks Ph.D Venkat Ajjanagadde 2001 Perceptual Grouping in a Self-Organizing Map of Spiking Neurons Ph.D Yoonsuck Choe 2004 Learning to segment texture in 2D vs. 3D: A comparative study United States Texas A&M University M.S. Sejong Oh 1924 Invariable Hues: Selective Effect of Chromatic Minuthesis Ph.D Cooper Harold Langford 1941 The Logical Foundations of the Philosophy of Charles Sanders Peirce Ph.D Arthur Walter Burks 1959 Cycles in Logical Nets Ph.D John Henry Holland 1968 On the Feedback Complexity of Automata Ph.D Bernard Phillip Zeigler 1975 Cellular Automata as Models of Natural Systems Ph.D Andrew Gehret Barto 1986 Learning and Problem Solving with Connectionist Systems Ph.D Charles William Anderson 2003 Machine Learned Boundary Definitions for an Expert's Tracing Assistant in Image Processing United States Colorado State University Ph.D Stewart Crawford 1990 An Improved Method for the Mechanisation of Inductive Proof Ph.D Andrew Stevens Ph.D Krysia Broda 1949 The Metamathematics of Algebraic Systems Ph.D Abraham Robinson 1845 De unitatibus complexis Leopold Kronecker 1884 Arithmetische Untersuchungen über Diskriminaten und ihre außerwesentlichen Teiler Ph.D Kurt Hensel 1915 Über die Teiler der Null und die Zerlegung von Ringen Germany Philipps-Universität Marburg Adolf Fraenkel 1958 Contributions to the Metamathematics of Set Theory Ph.D Azriel Lévy 1969 Non-Classical Logics Ph.D Dov M. Gabbay 2000 Labelled Proof Theory for Conditional Logics Ph.D Luis da Cunha Lamb (Luis C. Lamb) 2000 Perception and Metacognition in Software Agents Ph.D Zhaohua Zhang 2004 Computational Interaction Frames Michael Rovatsos 2001 Market-Based Control of Mobile-Agent Systems United States Dartmouth College Ph.D Jonathan Lowell Bredin 2000 Synthesis of Reinforcement Learning and Robust Control Ph.D R. Matthew Kretchmar 1995 Probalistic Counterfactuals: Semantics, Computation, and Applications Ph.D Alexander Abraham Balke United Kingdom Warwick University Ph.D Robert Smith 1991 Maintaining the Utility of Learned Knowledge Using Model-Based Adaptive Control Ph.D Lawrence Bruce Holder 2002 Neural Schemas: Toward a Comprehensive Mechanism of Mind Ph.D Lee McCauley 2004 Sensory invariance driven action (SIDA) framework for understanding the meaning of neural spikes M.S. S. Kumar Bhamidipati Portugal University of Porto Ph.D Ramos S Carlos 2000 Quantitative Bildverarbeitung und ihre Anwendung auf melanozytäre Hautveränderungen René Pompl 1992 Learning by Analogical Reasoning in General Problem Solving Ph.D Manuela M Veloso Maayan Roth 2001 ONTOWEDSS- An Ontology-Based Environmental Decision Support System for the Management of Wastewater Treatment Plants Ph.D Luigi Ceccaroni Ph.D Steven Greenberg 2002 A Syllable, Articulatory-Acoustic Feature, and Stress-Accent Model of Speech Recognition Ph.D Shawn Chang 2005 Comparison of motor-based versus visual representations in object recognition tasks M.S. Navendu Misra 1998 Control Structures for Software Agents Ph.D Hongjun Song 1980 United States University of Colorado at Boulder Ph.D Richard N. Taylor 2000 An Analysis of the Hypertext Versioning Domain Ph.D Jim Whitehead 1985 Anatomy, Performance, and Generation of Heuristics Ph.D Rina Dechter 1993 Nonmonotonic Reasoning in Classical Logic Ph.D Rachel Ben-Eliyahu 2001 Representation, Complexity Analysis , Planning and Execution of Industrial Processes Ph.D Joao M Rocha 1981 Entwurf und Implementierung eines Dialogsystems zur Erzeugung interaktiver Bildverarbeitungssysteme in der Medizin Guido Pfeiffer Ph.D Jeffrey Ullman 2006 GeneTUC: Natural Language Understanding in Medical Text Norway Norwegian University of Science and Technology Ph.D Rune Saetre 2004 Feature Weighting in Plain Case-Based Reasoning Ph.D Hector Núñez 1999 Ph.D Myles Bogner 2006 Facilitatory Neural Dynamics for Predictive Extrapolation Ph.D Heejin Lim 1992 Temporal Reasoning: A Constraint-Based Approac Ph.D Itay Meiri 1989 Graphentheoretische Ansätze für CAD-Werkzeuge in der CMOS-Technik Michael Payer 1974 Ph.D Malcolm Newey 1990 Brazil http://www.ufpe.br Federal University of Pernambuco Ph.D Ruy de Queiroz 1977 Epistemology, Representation, Understanding and Interactive Exploration of Mathematical Theories Ph.D Edwina L. Rissland 1988 Ph.D Kevin D. Ashley 1976 Ph.D James Meehan (Jim Meehan) 1996 Ph.D Oliver Lemon 1991 The Use of Typed Lambda Calculus for Comprehension and Construction for Simulation Models in the Domain of Ecology Ph.D Michael Uschold 2004 Aprendizado de Máquina em Sistemas Complexos Multi-agentes: Estudo de Caso em um Ambiente sob Racionalidade Limitada (Machine Learning in Complex Multi-Agent Systems: a Case Study in a Bounded Rationality Environment) M.S. Ricardo Matsumura de Araujo Herbert Stoyan 1988 Extending Object-Oriented Systems for Distributed Technical Applications M.S. 1996 Distributed Reason Maintenance in Multiagent Systems Gerhard K. Kraetzschmar 1990 A Representation for Gaining Insight into Clinical Decision Models. Ph.D Holly Jimison 1971 The MIND System: A Data Structure for Semantic Information Processing Ph.D Stuart C. Shapiro 1983 Reasoning in Multiple Belief Spaces Ph.D Joao P. Martins 2001 Ontology Integration: Characterization of the Process and a Methodology to Perform it Ph.D Helena Sofia Pinto Ph.D Max B Clowes 2006 Honorary Doctor of Science 1962 Knowing and Understanding (Philosophy) Aaron Sloman 1984 Interpreting images of a known moving object David Crossland Hogg 2005 Explaining visible behaviour Ph.D Hannah Mary Dee 1986 Real-Time identification and Control of Direct Drive manupilators Ph.D Pradeep Khosla Steven Lytinen 2003 The Role of Norms and Electronic Institutions in Multi-Agent Systems Applied to Complex Domains: The HARMONIA Framework Ph.D Javier Vázquez-Salceda 1989 An Intelligent Tutoring System for Graphic Mapping Strategies Ph.D Richard G. Feifer 1994 The synthesis of "safe" fuzzy controllers based on reinforcement learning Ph.D Ann Nowe 2004 Coordinated Exploration in Multi-Agent Reinforcement Learning Ph.D Katja Verbeeck Australia University of Melbourne 1989 Understanding Editorial Text: A Computer Model of Argument Comprehension Ph.D Sergio José Alvarado 1996 Hybrid Techniques for Intelligent Information Filtering: Genetic Algorithms, Case-Based Reasoning, and Statistical Approaches United States University of California, Davis Ph.D Kenrick Mock 1978 Contribución al estudio del producto, convexificación y completación de espacios métricos generalizados Ph.D Claudi Alsina i Català 1994 Contribucio a l'Estudi de Funcions de Sintesi per a la Intelligencia Artificial Ph.D Vicencs Torra 1990 Ph.D Steve Hanks 2000 Complexity Results for Infinite-Horizon Markov Decision Processes Ph.D Omid Madani