Conferences in DBLP
Gérard D. Guiho Automatic Programming Using Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Uday S. Reddy , Bharat Jayaraman Theory of Linear Equations Applied to Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Cohen Symbolic Execution of the Gist Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Peter M. D. Gray , David S. Moffat Manipulating Descriptions of Programs for Database Access. [Citation Graph (2, 0)][DBLP ] Conf ] Shamim A. Naqvi , Lawrence J. Henschen Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. [Citation Graph (4, 0)][DBLP ] Conf ] Robert L. Sedlmeyer , William B. Thompson , Paul E. Johnson Diagnostic Reasoning in Software Fault Localization. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas R. Smith A Problem Reduction Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Gresse Automatic Programming From Data Types Decomposition Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Mostow Program Transtormations for VLSI. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Sloman , Drew V. McDermott , William A. Woods , Brian Smith , Patrick J. Hayes Under What Conditions Can a Machine Attribute Meanings to Symbols. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers , Jerome P. Kassirer How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert Physician. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Anderson Learning to Program. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Lebowitz Creating a Story-Telling Universe. [Citation Graph (0, 0)][DBLP ] Conf ] András Márkus Shifting the Focus of Attention: The Way Agatha Christie Leads You On. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon Wood Dynamic World Simulation for Planning With Multiple Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Adorni , Mauro Di Manzo , Fausto Giunchiglia Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Michael G. Dyer Understanding Stories Through Morals and Remindings. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriella Airenti , Bruno G. Bara , Marco Colombetti Planning Perlocutionary Acts. [Citation Graph (0, 0)][DBLP ] Conf ] Göran Hagert , Åke Hansson Logic Modelling of Cognitive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] J. G. (Iain) Wallace Motives and Emotions in a General Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Wynne Bell Artificial Intelligence in the Classroom. [Citation Graph (0, 0)][DBLP ] Conf ] Edwina L. Rissland Examples in Legal Reasoning: Legal Hypotheticals. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie Sage , Pat Langley Modeling Cognitive Development on the Balance Scale Task. [Citation Graph (0, 0)][DBLP ] Conf ] L. Konst , Bob J. Wielinga , J. J. Elshout , Wouter N. H. Jansweijer Semi-Automated Analysis of Protocols From Novices and Experts Solving Physics Problems. [Citation Graph (0, 0)][DBLP ] Conf ] John P. McDermott Extracting Knowledge From Expert Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Thomas P. Kehler , Peter Friedland , Harry E. Pople , René Reboh , Steve Rosenberg Industrial Strength Knowledge Bases: Issues and Experiences - Knowledge Base Stability, Memory: Unitorm or Structured, Integrity, Knowledge Acquisition and the User Interface, Joint Knowledge Base Development, Intertaces to Databases (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Ron Sauers , Rick Walsh On the Requirements of Future Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gregg T. Vesonder , Salvatore J. Stolfo , John E. Zielinski , Fredrick D. Miller , David H. Copp ACE: An Expert System for Telephone Cable Maintenance. [Citation Graph (1, 0)][DBLP ] Conf ] Reid G. Smith , James D. Baker The Dipmeter Advisor System - A Case Study in Commercial Expert System Development. [Citation Graph (0, 0)][DBLP ] Conf ] Henri Prade A Synthetic View of Approximate Reasoning Techniques. [Citation Graph (1, 0)][DBLP ] Conf ] J. Ross Quinlan Consistency and Plausible Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] René Reboh Extracting Useful Advice From Conflicting Expertise. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Georgeff , Umberto Bonollo Procedural Expert Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Mark S. Fox , Simon Lowenfeld , Pamela Kleinosky Techniques for Sensor-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Jiang Xinsong , Song Guoning , Chen Yu AI Research in China: A Review. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat , Alan Borning , David McDonald , Craig Taylor , Steven Weyer Knoesphere: Building Expert Systems With Encyclopedic Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Kellogg Intelligent Assistants for Knowledge and Information Resources Management. [Citation Graph (0, 0)][DBLP ] Conf ] Riichiro Mizoguchi , Yukuo Isomoto , Osamu Kakusho Expert System as an Intelligent Assistant for Computer Users. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy W. Finin Providing Help and Advice in Task Oriented Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas L. Williams , Paul J. Orgren , Carl L. Smith Diagnosis of Multiple Faults in a Nationwide Communications Network. [Citation Graph (0, 0)][DBLP ] Conf ] Donald W. Loveland , Marco Valtorta Detecting Ambiguity: An Example in Knowledge Evaluation. [Citation Graph (1, 0)][DBLP ] Conf ] Alain Bonnet , Claude Dahan Oil-Well Data Interpretation Using Expert System and Pattern Recognition Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Jin H. Kim , Judea Pearl A Computational Model for Causal and Diagnostic Reasoning in Inference Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Tong , Daniel G. Shapiro , Jeffrey S. Dean , Brian P. McCune A Comparison of Uncertainty Calculi in an Expert System for Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Cheeseman A Method of Computing Generalized Bayesian Probability Values for Expert Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Leonard P. Wesley Reasoning About Control: The Investigation of an Evidential Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Richard R. Cantone , Frank J. Pipitone , W. Brent Lander , Michael P. Marrone Model-Based Probabilistic Reasoning for Electronics Troubleshooting. [Citation Graph (1, 0)][DBLP ] Conf ] Paul R. Cohen , Mark D. Lieberman A Report on FOLIO: An Expert Assistant for Portfolio Managers. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Rosenberg HPRL: A Language for Building Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Bylander , Sanjay Mittal , B. Chandrasekaran CSRL: A Language for Expert Systems for Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] C. M. Lou , J. Wang Structure Based Control Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Naoyuki Yamada , Hiroshi Motoda A Diagnosis Method of Dynamic System Using the Knowledge on System Description. [Citation Graph (0, 0)][DBLP ] Conf ] William J. Long , Thomas A. Russ A Control Structure for Time Dependent Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Shoichi Masui , John P. McDermott , Alan Sobel Decision-Making in Time-Critical Situations. [Citation Graph (0, 0)][DBLP ] Conf ] William B. Thompson , Paul E. Johnson , James B. Moen Recognition-Based Diagnostic Reasoning. [Citation Graph (3, 0)][DBLP ] Conf ] Perry L. Miller Medical Plan-Analysis: The Attending System. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsutaro Shibahara , John K. Tsotsos , John Mylopoulos , H. Dominic Covvey CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. [Citation Graph (0, 0)][DBLP ] Conf ] José Cuena The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Luis Roos Artificial Intelligence and Macro-Economy, An Application. [Citation Graph (0, 0)][DBLP ] Conf ] H. Jaap van den Herik Representation of Experts' Knowledge in a Subdomain of Chess Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard S. Michalski , Arthur B. Baskin Integrating Multiple Knowledge Representations and Learning Capabilities in an Expert System: The ADVISE System. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat , Albert Clarkson , Garo Kiremidjian An Expert System for Indications and Warning Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Takushi Tanaka Representation and Analysis of Electrical Circuits in a Deductive System. [Citation Graph (1, 0)][DBLP ] Conf ] Robert L. Blum Representation of Empirically Derived Causal Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Moore Semantical Considerations on Nonmonotonic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Barnden Intensions as Such: An Outline. [Citation Graph (0, 0)][DBLP ] Conf ] L. Thorne McCarty Permissions and Obligations. [Citation Graph (0, 0)][DBLP ] Conf ] Ernest Davis The Mercator Representation of Spatial Knowledge. [Citation Graph (1, 0)][DBLP ] Conf ] Drew V. McDermott Generalizing Problem Reduction: A Logical Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Doyle A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus Measurement Interpretation in Qualitative Process Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Dilger , Wolfgang Womann Semantic Networks as Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Meersman , Frans Van Assche Modelling and Manipulating Production Data Bases in Terms of Semantic Nets. [Citation Graph (2, 0)][DBLP ] Conf ] James G. Schmolze , Thomas A. Lipkis Classification in the KL-ONE Knowledge Representation System. [Citation Graph (8, 0)][DBLP ] Conf ] Amedeo Cappelli , Lorenzo Moretti , Carlo Vinchesi KL-Conc: A Language for Interacting With SI-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Reimer , Udo Hahn A Formal Approach to the Semantics of a Frame Data Model. [Citation Graph (1, 0)][DBLP ] Conf ] Bradley P. Allen , J. Mark Wright Integrating Logic Programs and Schemata. [Citation Graph (0, 0)][DBLP ] Conf ] Jitendra Malik , Thomas O. Binford Reasoning in Time and Space. [Citation Graph (2, 0)][DBLP ] Conf ] E. Yu Kandrashina Representation of Temporal Knowledge. [Citation Graph (1, 0)][DBLP ] Conf ] Jon Doyle The Ins and Outs of Reason Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Lukaszewicz General Approach to Nonmonotonic Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Paul R. Cohen , Milton R. Grinberg A Framework for Heuristic Reasoning About Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Claus-Rainer Rollinger How to Represent Evidence - Aspects of Uncertain Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] James W. Hearne Simulating Non-Deductive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Filman , John Lamping , Fanya S. Montalvo Meta-Knowledge and Meta-Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] João P. Martins , Stuart C. Shapiro Reasoning in Multiple Belief Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Nilsson A Logical Model of Knowledge. [Citation Graph (1, 0)][DBLP ] Conf ] Kurt Konolige A Deductive Model of Belief. [Citation Graph (1, 0)][DBLP ] Conf ] Anthony S. Maida Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. [Citation Graph (1, 0)][DBLP ] Conf ] Jean-François Cloarec , Jean-François Cudelou An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David N. Chin A Case Study of Knowledge Representation in UC. [Citation Graph (0, 0)][DBLP ] Conf ] Setsuo Ohsuga Predicate Logic Involving Data Structure as a Knowledge Representation Language. [Citation Graph (1, 0)][DBLP ] Conf ] Luc Steels Descriptions as Constraints in Object-Oriented Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Ma Xiwen , Guo Weide W-JS: A Modal Logic of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Wilensky Memory and Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Fusaoka , Hirohisa Seki , Kazuko Takahashi A Description and Reasoning of Plant Controllers in Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Fritz Wysotzki Representation and Induction of Infinite Concepts and Recursive Action Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis F. Kibler , Bruce W. Porter Perturbation: A Means for Guiding Generalization. [Citation Graph (0, 0)][DBLP ] Conf ] Pat Langley Learning Effective Search Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen F. Smith Flexible Learning of Problem Solving Heuristics Through Adaptive Search. [Citation Graph (1, 0)][DBLP ] Conf ] Stellan Ohlsson A Constrained Mechanism for Procedural Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Silver Learning Equation Solving Methods From Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Paul D. Scott , Robert C. Vogt Knowledge Oriented Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Mark D. Grover A Pragmatic Knowledge Acquisition Methodology. [Citation Graph (1, 0)][DBLP ] Conf ] Agustin A. Araya Learning by Controlled Transference of Knowledge Between Domains. [Citation Graph (0, 0)][DBLP ] Conf ] G. M. K. Hunt Admissible Hypotheses and Enhanced Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Paul E. Utgoff Adjusting Bias ln Concept Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Russell Greiner , Michael R. Genesereth What's New? A Semantic Definition of Novelty. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Emde , Christopher Habel , Claus-Rainer Rollinger The Discovery of the Equator or Concept Driven Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Berwick Learning Word Meanings From Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald DeJong Acquiring Schemata Through Understanding and Generalizing Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Pat Langley , Jan M. Zytkow , Gary L. Bradshaw , Herbert A. Simon Three Facets of Scientific Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Larry A. Rendell A Learning System Which Accommodates Feature Interactions. [Citation Graph (0, 0)][DBLP ] Conf ] B. A. Shepherd An Appraisal of a Decision Tree Approach to Image Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Joël Quinqueton , Jean Sallantin Algorithms for Learning Logical Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Richard A. O'Keefe Concept Formation From Very Large Training Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Toyoaki Nishida , Akira Kosaka , Shuji Doshita Towards Knowledge Acquisition From Natural Language Documents - Automatic Model Construction From Hardware Manual. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Colmerauer Prolog in Ten Figures. [Citation Graph (0, 0)][DBLP ] Conf ] Joxan Jaffar , Jean-Louis Lassez , John W. Lloyd Completeness of the Negation as Failure Rule. [Citation Graph (2, 0)][DBLP ] Conf ] Masahiko Sato , Takafumi Sakurai Qute: A Prolog/Lisp Type Language for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] William A. Kornfeld Equality for Prolog. [Citation Graph (2, 0)][DBLP ] Conf ] Walter G. Wilson , Chester C. John Semantic Code Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Adrian Walker Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers. [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Y. Shapiro Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. [Citation Graph (4, 0)][DBLP ] Conf ] Chris Mellish , Steve Hardy Integrating Prolog Into the Poplog Environment. [Citation Graph (0, 0)][DBLP ] Conf ] D. C. Dodson , Alan L. Rector "Logal": Algorithmic Control Structures for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] John S. Conery , Dennis F. Kibler AND Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Kasif , Madhur Kohli , Jack Minker PRISM: A Parallel Inference System for Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Kuniaki Mukai A Unification Algorithm for Infinite Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Alan R. Feuer Building Libraries in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Anneli Edman , Sten-Åke Tärnlund Mechanization of an Oracle in a Debugging System. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Gazdar Phrase Structure Grammars and Natural Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel N. Osherson , Michael Stob , Scott Weinstein Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. [Citation Graph (0, 0)][DBLP ] Conf ] Paul A. Martin , Douglas E. Appelt , Fernando C. N. Pereira Transportability and Generality in a Natural-Language Interface System. [Citation Graph (1, 0)][DBLP ] Conf ] Kathleen McKeown Focus Constraints on Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Hoeppner , Thomas Christaller , Heinz Marburger , Katharina Morik , Bernhard Nebel , Mike O'Leary , Wolfgang Wahlster Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems. [Citation Graph (2, 0)][DBLP ] Conf ] Douglas E. Appelt TELEGRAM: A Grammar Formalism for Language Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Eilman An Indirect Approach to Types of Speech Acts. [Citation Graph (0, 0)][DBLP ] Conf ] Gopalan Nadathur , Aravind K. Joshi Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Danlos Some Issues in Generation From a Semantic Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Jacobs Generation in a Natural Language Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Shun Ishizaki Generation of Japanese Sentences From Conceptual Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Jameson Impression Monitoring in Evaluation-Oriented Dialog - The Role of the Listener's Assumed Expectations and Values in the Generation of Informative Statements. [Citation Graph (0, 0)][DBLP ] Conf ] Karen Sparck Jones Shifting Meaning Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Norvig Frame Activated Inferences in a Story Understanding Program. [Citation Graph (0, 0)][DBLP ] Conf ] Ingeborg Steinacker , Harald Trost Structural Relations - A Case Against Case. [Citation Graph (0, 0)][DBLP ] Conf ] Mary O'Kane The FOPHO Speech Recognition Project. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Mudler A System for Improving the Recognition of Fluently Spoken German Speech. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Ward Church Allophonic and Phonotactic Constraints Are Useful. [Citation Graph (0, 0)][DBLP ] Conf ] Sei-ichi Nakagawa A Recognition Method of Connected Spoken Words With Syntactical Constraints by Augmented Continuous DP Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wahlster , Heinz Marburger , Anthony Jameson , Stephan Busemann Over-Answering Yes-No Questions: Extended Responses in a NL Interface to a Vision System. [Citation Graph (1, 0)][DBLP ] Conf ] Katharina Morik Demand and Requirements for Natural Language Systems-Results of an Inquiry. [Citation Graph (0, 0)][DBLP ] Conf ] Bonnie L. Webber , Eric Mays Varieties of User Misconceptions: Detection and Correction. [Citation Graph (0, 0)][DBLP ] Conf ] Jaime G. Carbonell , W. Mark Boggs , Michael L. Mauldin , Peter G. Anick The XCALIBUR Project: A Natural Language Interface to Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard I. Kittredge , Igor Mel'cuk Towards a Computable Model of Meaning-Text Relations Within a Natural Sublanguage. [Citation Graph (0, 0)][DBLP ] Conf ] Eva-Maria M. Mueckstein Q-TRANS: Query Translation Into English. [Citation Graph (0, 0)][DBLP ] Conf ] R. Comino , Roberto Gemello , Giovanni Guida , Claudio Rullent , L. Sisto , Marco Somalvico Understanding Natural Language Through Parallel Processing of Syntactic and Semantic Knowledge: An Application to Data Base Query. [Citation Graph (0, 0)][DBLP ] Conf ] Philip J. Hayes , Jaime G. Carbonell A Framework for Processing Corrections in Task-Oriented Dialogues. [Citation Graph (0, 0)][DBLP ] Conf ] Eero Hyvönen Graph Grammar Approach to Natural Language Parsing and Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz S. Bien Articles and Resource Control. [Citation Graph (0, 0)][DBLP ] Conf ] Mark A. Jones Activation-Based Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Kimmo Koskenniemi Two-Level Model for Morphological Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Wehrli A Modular Parser for French. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Phillips An Object-Oriented Parser for Text Understanding. [Citation Graph (1, 0)][DBLP ] Conf ] Uwe Reyle , Werner Frey A PROLOG Implementation of Lexical Functional Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] John Bear A Breadth-First Parsing Model. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart M. Shieber Sentence Disambiguation by a Shift-Reduce Parsing Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Roy J. Byrd Word Formation in Natural Language Processing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Sabah , Mohamed Rady A Deterministic Syntactic-Semantic Parser. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Berwick A Deterministic Parser With Broad Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] Wendy G. Lehnert Narrative Complexity Based on Summarization Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Shimazu , Shozo Naito , Hirosato Nomura Japanese Language Semantic Analyzer Based on an Extended Case Frame Model. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Gehrke Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Neumann , Hans-Joachim Novak Event Models for Recognition and Natural Language Description of Events in Real-World Image Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Frey , Uwe Reyle , Christian Rohrer Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Clippinger Jr. , David D. McDonald Why Good Writing Is Easier to Understand. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Wilkins Representation in a Domain-Independent Planner. [Citation Graph (0, 0)][DBLP ] Conf ] James F. Allen , Johannes A. G. M. Koomen Planning Using a Temporal World Model. [Citation Graph (3, 0)][DBLP ] Conf ] Daniel D. Corkill , Victor R. Lesser The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network. [Citation Graph (2, 0)][DBLP ] Conf ] Ling Zhang , Bo Zhang The Statistical Inference Method in Heuristic Search Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Kaindl Searching to Variable Depth in Computer Chess. [Citation Graph (0, 0)][DBLP ] Conf ] T. Anthony Marsland Relative Efficiency of Alpha-Beta Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie J. Cammarata , David McArthur , Randall Steeb Strategies of Cooperation in Distributed Problem Solving. [Citation Graph (2, 0)][DBLP ] Conf ] John E. Laird , Allen Newell A Universal Weak Method: Summary of Results. [Citation Graph (1, 0)][DBLP ] Conf ] Jeffrey A. Barnett , Don Cohen A Wrinkle on Satisficing Search Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Valtorta A Result on the Computational Complexity of Heuristic Estimates for the A* Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Rada Characterizing Search Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Schoppers On A* as a Special Case of Ordered Search. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey A. Barnett Optimal Searches From AND and OR Nodes. [Citation Graph (0, 0)][DBLP ] Conf ] Malik Ghallab , Dennis G. Allard Aepsilon - An Efficient Near Admissible Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] John Hallam Resolving Observer Motion by Object Tracking. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney A. Brooks , Tomás Lozano-Pérez A Subdivision Algorithm Configuration Space for Findpath With Rotation. [Citation Graph (1, 0)][DBLP ] Conf ] Eugene Grechanovsky , I. Sh. Pinsker An Algorithm for Moving a Computer-Controlled Manipulator While Avoiding Obstacles. [Citation Graph (0, 0)][DBLP ] Conf ] Boalin Yin A Framework for Handling Vision Data in an Object Level Robot Language-RAPT. [Citation Graph (0, 0)][DBLP ] Conf ] Maria L. Gini , Giuseppina C. Gini Towards Automatic Error Recovery in Robot Programs. [Citation Graph (0, 0)][DBLP ] Conf ] M. H. Lee , David P. Barnes , N. W. Hardy Knowledge Based Error Recovery in Industrial Robots. [Citation Graph (0, 0)][DBLP ] Conf ] C. M. Witkowski A Parallel Processor Algorithm for Robot Route Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Elfes , Sarosh Talukdar A Distributed Control System for the CMU Rover. [Citation Graph (0, 0)][DBLP ] Conf ] Yutaka Kanayama Concurrent Programming of Intelligent Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Laumond Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot. [Citation Graph (0, 0)][DBLP ] Conf ] D. F. Corner , A. P. Ambler , Robin J. Popplestone Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney A. Brooks , Richard P. Gabriel , Guy L. Steele Jr. Lisp-in-Lisp: High Performance and Portability. [Citation Graph (0, 0)][DBLP ] Conf ] Salvatore J. Stolfo , Daniel P. Miranker , David Elliot Shaw Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Smith STROBE: Support for Structured Object Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Narain , David McArthur , Philip Klahr Large-Scale System Development in Several Lisp Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Giuliano Pacini , Franco Turini Demonizing Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Larry Wos Automated Reasoning: Real Uses and Potential Uses. [Citation Graph (0, 0)][DBLP ] Conf ] Tamás Gergely , Konstantin Vershinin Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Walther A Many-Sorted Calculus Based on Resolution and Paramodulation. [Citation Graph (0, 0)][DBLP ] Conf ] W. W. Bledsoe Using Examples to Generate Instantiations of Set Variables. [Citation Graph (1, 0)][DBLP ] Conf ] William McCune , Lawrence J. Henschen Semantic Paramodula tion for Horn Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Jouannaud , Hélène Kirchner , Jean-Luc Remy Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Grigoris Antoniou , Hans Jürgen Ohlbach TERMINATOR. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Bibel , Elmar Eder , Bertram Fronhöfer Towards an Advanced Implementation of the Connection Method. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg A Superposition Oriented Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro Temporal Reasoning and Termination of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Kodratoff , Jacqueline Castaing Trivializing the Proof of Trivial Theorems. [Citation Graph (0, 0)][DBLP ] Conf ] J. A. Kalman , J. G. Peterson Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Karl-Hans Bläsius Equality Reasoning in Clause Graphics. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , Jieh Hsiang , Alan Josephson , David A. Plaisted Associative-Commutative Rewriting. [Citation Graph (1, 0)][DBLP ] Conf ] Hans-Hellmut Nagel Constraints for the Estimation of Displacement Vector Fields From Image Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] R. I. D. Cowie The Viewer's Place in Theories of Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Charles E. Thorpe , Steven A. Shafer Correspondence in Line Drawings of Multiple Views of Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Cernuschi-Frías , Ruud M. Bolle , David B. Cooper A New Conceptually Attractive and Computationally Effective Approach to Shape From Shading. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Brady , Alan L. Yuille An Extremum Principle for Shape From Contour. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Pentland Fractal-Based Description. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier D. Faugeras , Jean Ponce Prism Trees: A Hierarchical Representation for 3-D Objects. [Citation Graph (1, 0)][DBLP ] Conf ] Robert B. Fisher Using Surfaces and Object Models to Recognize Partially Obscured Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier D. Faugeras , Martial Hebert A 3-D Recognition and Positioning Algorithm Using Geometrical Matching Between Primitive Surfaces. [Citation Graph (0, 0)][DBLP ] Conf ] M. D. Diamond , N. Narasimhamurthi , S. Ganapathy Optimization Approaches to the Problem of Edge Linking With a Focus on Parallel Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Martin A. Fischler , Helen C. Wolf Machine Perception of Linear Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Martin A. Fischler , Robert C. Bolles Perceptual Organization and the Curve Partitioning Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew P. Witkin Scale-Space Filtering. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew P. Witkin , Jay M. Tenenbaum What Is Perceptual Organization For? [Citation Graph (0, 0)][DBLP ] Conf ] J. H. Rieger , Daryl T. Lawton Sensor Motion and Relative Depth From Difference Fields of Optic Flows. [Citation Graph (0, 0)][DBLP ] Conf ] Minoru Asada , Saburo Tsuji Inferring Motion of Cylindrical Object From Shape Information. [Citation Graph (0, 0)][DBLP ] Conf ] J.-Q. Fang , Thomas S. Huang Estimating 3-0 Movement of a Rigid Object: Experimental Results. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Y. Tsai 3-D Inference From the Motion Parallax of a Conic Arc and a Point in Two Perspective Views. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kass A Computational Framework for the Visual Correspondence Problem. [Citation Graph (0, 0)][DBLP ] Conf ] A. Peter Blicher The Stereo Matching Problem From the Topological Viewpoint. [Citation Graph (0, 0)][DBLP ] Conf ] K. Prazdny Computing Convergence Angle From Random Dot Stereograms. [Citation Graph (0, 0)][DBLP ] Conf ] Anni R. Bruss Is What You See What You Get? [Citation Graph (0, 0)][DBLP ] Conf ] Kemt A. Stevens The Line of Curvature Constraint and the Interpretation of 3-D Shape From Parallel Surface Contours. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen T. Barnard , Alex Pentland Three-Dimensional Shape From Line Drawings. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Berthod Global Optimization of a Consistent Labeling. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard H. Stuth , Dana H. Ballard , Christopher M. Brown Boundary Conditions in Multiple Intrinsic Images. [Citation Graph (0, 0)][DBLP ] Conf ] Demetri Terzopoulos The Role of Constraints and Discontinuities in Visible-Surface Reconstruction. [Citation Graph (0, 0)][DBLP ] Conf ] Jay Glicksman Using Multiple Information Sources in a Computational Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher M. Brown , Matthew B. Curtiss , David B. Sher Advanced Hough Transform Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Naor , Shmuel Peleg Image Compression and Filtering Using Pyramid Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Potmesil Generating Models of Solid Objects by Matching 3D Surface Segments. [Citation Graph (0, 0)][DBLP ] Conf ] H. Tropf , I. Walter An ATN Model for 3-D Recognition of Solids in Single Images. [Citation Graph (0, 0)][DBLP ] Conf ] Andres Huertas , Ramakant Nevatia Detection of Buildings in Aerial Images Using Shape and Shadows. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Kender Environmental Labelings in Low-Level Image Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Herman , Takeo Kanade , Shigeru Kuroe The 3D MOSAIC Scene Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] Norihiro Abe , Fumihide Itho , Saburo Tsuji Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in Language. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Boles , Patrice Horaud , Marsja Jo Hannah 3DPO: A Three-Dimensional Part Orientation System. [Citation Graph (0, 0)][DBLP ] Conf ] Augustin Lux , Viviane Souvignier PVV: A Goal-Oriented System for Industrial Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Yachida , T. Ichinose , Saburo Tsuji Model-Guided Monitoring of a Building Environment by a Mobile Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Gabor T. Herman , L. Axel , Ruzena Bajcsy , H. Kundel , R. LeVeen , Jayaram K. Udupa , G. Wolf Model Driven Visualization of Coronary Arteries. [Citation Graph (0, 0)][DBLP ] Conf ] Fumiaki Tomita A Learning Vision System for 2D Object Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Bir Bhanu Recognition of Occluded Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Tom M. Mitchell Learning and Problem Solving. [Citation Graph (1, 0)][DBLP ] Conf ] Arthur L. Samuel AI, Where It Has Been and Where It Is Going. [Citation Graph (0, 0)][DBLP ] Conf ] John Seely Brown , Johan de Kleer The Origin, Form, and Logic of Qualitative Physical Laws. [Citation Graph (1, 0)][DBLP ] Conf ] David R. Barstow A Perspective on Automatic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Stanley J. Rosenschein Natural-Language Processing: Crucible for Computational Theories of Cognition. [Citation Graph (1, 0)][DBLP ] Conf ] Alan K. Mackworth On Seeing Things, Again. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski , Hervé Gallaire , Toshio Yokoi , Robert B. K. Dewar Panel on the Fifth Generation Project. [Citation Graph (0, 0)][DBLP ] Conf ] Nils J. Nilsson , Sandra B. Cook , Alan C. Kay , Faye Duchin , Margaret A. Boden , Dennis Chamot Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Reiter , Hervé Gallaire , Jonathan J. King , John Mylopoulos , Bonnie L. Webber A Panel on AI and Databases. [Citation Graph (1, 0)][DBLP ] Conf ] 