Conferences in DBLP
Bob J. Wielinga , J. A. Breuker Interpretation of Verbal Data for Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Uschold , Nigel Harding , Robert Muetzelfeldt , Alan Bundy An Intelligent Front End for Ecological Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Shimji Araya , Koji Fukumori ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Ferrand SESAM: An Explanatory Medical Aid System. [Citation Graph (0, 0)][DBLP ] Conf ] Gary S. Kahn On When Diagnostic Systems Want to Do without Causal Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Boose Personal Construct Theory and the Transfer of Human Expertise. [Citation Graph (0, 0)][DBLP ] Conf ] Meyer A. Billmers , Mark W. Swartwout AI-SPEAR: Computer System Failure Analysis Tool. 61-69l. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Hayward Diagnostic Expertise and its Use in Commercially Viable Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Brady , Philip E. Agre The Mechanic's Mate. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Canny On Detecting Collisions Between Polyhedra. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard F. Buxton , Hilary Buxton , David W. Murray , N. S. Williams 3D Solutions to the Aperture Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Prasanta K. Bose Learning Stiffness Control for Compliant Motion. [Citation Graph (0, 0)][DBLP ] Conf ] Alan L. Yuille The Smoothest Velocity Field Token Matching Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Adorni , Mauro Di Manzo , Fausto Giunchiglia From Descriptions to Images: What Reasoning in between? [Citation Graph (0, 0)][DBLP ] Conf ] Marc Eisenstadt A Powerful Prolog Trace Package. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Lebowitz Using Memory in Text Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Jon M. Slack The Role of Distributed Memory in Natural Language Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Göran Hagert Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Hasemer MacSolo/AURAC: A Programming Environment for Novices. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano A. Cerri , C. Colombini , M. Grillo , R. Mallozzi RADAR: Reasoning on ADA Rubbish. [Citation Graph (0, 0)][DBLP ] Conf ] Nigel R. Seel An Analysis of a Simple Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Georgeff , Chris S. Wallace A General Selection Criterion for Inductive Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Kodratoff , Jean-Gabriel Ganascia , B. Clavieras , Toni Bollinger , Gheorghe Tecuci Careful Generalization for Concept Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Brazdil Use of Derivation Trees in Discrimination. [Citation Graph (0, 0)][DBLP ] Conf ] Eileen Scanlon , C. Hawkridge , Rick Evertsz , Tim O'Shea Novice Physics Problem Solving Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon C. Salveter A Model of Action that Supports Natural Language Database Update. [Citation Graph (0, 0)][DBLP ] Conf ] Henry S. Thompson Speech Transcription: An Incremental, Interactive Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriella Airenti , Bruno G. Bara , Marco Colombetti Plan Formation and Failure Recovery in Communicative Acts. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme D. Ritchie Simulating a Turing Machine Using Functional Unification Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Jacobs , Lisa F. Rau Ace: Associating Language with Meaning. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Binot A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Dunin-Keplicz Default Reasoning in Anaphora Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Esa Nelimarkka , Harri Jäppinen , Aarno Lehtola Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro , Ewa Orlowska DAL: A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Raf Venken A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation. [Citation Graph (1, 0)][DBLP ] Conf ] Ling Zhang , Bo Zhang The Successive SA* Search and its Computational Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Edwina L. Rissland The Ubiquitous Dialectic. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Luc Remy , Hantao Zhang REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Walther Unification in Many-Sorted Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Richard A. O'Keefe A New Data-Structure for Type Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Lukaszewicz Nonmonotonic Logic for Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi , Maria Simi Metalanguage and Reasoning Across Viewpoints. [Citation Graph (0, 0)][DBLP ] Conf ] 