IJCAI 1983

271 papers

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