ML Anthology

IJCAI 1985

263 papers

3-D Shape Representation by Contours Isaac Weiss
PDF
A Case Study in Structured Knowledge Acquisition Paul de Greef, Joost Breuker
PDF
A Common-Sense Theory of Time James F. Allen, Patrick J. Hayes
PDF
A Comparison of Analytic and Experimental Goal Regression for Machine Learning Bruce W. Porter, Dennis F. Kibler
PDF
A Computational Theory of Belief Introspection Kurt Konolige
PDF
A Decidable First-Order Logic for Knowledge Representation Peter F. Patel-Schneider
PDF
A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras Tomio Echigo, Masahiko Yachida
PDF
A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle Ethan A. Scarl, John R. Jamieson, Carl I. Delaune
PDF
A Framework for Distributed Sensing and Control Tom Henderson, Chuck Hansen, Bir Bhanu
PDF
A Functional Approach to Non-Monotonic Logic Erik Sandewall
PDF
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft Joseph Y. Halpern, Yoram Moses
PDF
A Heuristic Approach to Program Inversion David Eppstein
PDF
A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees Daniel B. Leifker, Laveen N. Kanal
PDF
A Logic Program Schema and Its Applications Takashi Yokomori
PDF
A Logic Programming and Verification System for Recursive Quantificational Logic Frank M. Brown, Peiya Liu
PDF
A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation Manfred Schmidt-Schauß
PDF
A Many-Sorted Resolution Based on an Extension of a First-Order Language Keki B. Irani, D. G. Shin
A Model-Theoretic Analysis of Monotonic Knowledge Moshe Y. Vardi
PDF
A Modular Tool Kit for Knowledge Management Gilles M. E. Lafue, Reid G. Smith
PDF
A New Hyperparamodulation Strategy for the Equality Relation Younghwan Lim, Lawrence J. Henschen
PDF
A New Kind of Finite-State Automaton: Register Vector Grammar Glenn D. Blank
PDF
A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry Tadahiro Kitahashi, Hiroyuki Endo
PDF
A New Sense for Depth of Field Alex Pentland
PDF
A Parallel Matching Algorithm for Stereo Vision Yoshiro Nishimoto, Yoshiaki Shirai
PDF
A Parallel-Process Model of On-Line Inference Processing Kurt P. Eiselt
PDF
A Predicate Connection Graph Based Logic with Flexible Control Richard Whitney, Darrel J. Van Buer, Donald P. McKay, Dan Kogan, Lynette Hirschman, Rebecca Davis
PDF
A Procedural Logic Michael P. Georgeff, Amy L. Lansky, Pierre Bessière
PDF
A Process Model of Cased-Based Reasoning in Problem Solving Janet L. Kolodner, Robert L. Simpson Jr., Katia Sycara-Cyranski
PDF
A Process Theory of Non-Monotonic Inference James W. Goodwin
PDF
A Prototypical Approach to Machine Learning R. I. Phelps, Peter B. Musgrove
PDF
A Proximity Metric for Continuum Path Planning Charles E. Buckley, Larry J. Leifer
PDF
A Representation for Complex Physical Domains Sanjaya Addanki, Ernest Davis
PDF
A Robot Planning Structure Using Production Rules Ralph P. Sobek
PDF
A Short Note on Opportunistic Planning and Memory in Arguments Lawrence Birnbaum
PDF
A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness Hans J. Berliner, Gordon Goetsch
PDF
A Variable Supply Model for Distributing Deductions Vineet Singh, Michael R. Genesereth
PDF
A Weighted Technique in Heuristic Search Bo Zhang, Ling Zhang
PDF
AI and Legal Reasoning Edwina L. Rissland
PDF
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction Mark E. Stickel, Mabry Tyson
PDF
An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge Vasant Dhar
PDF
An Architecture for Knowledge Based Deduction Arthur J. Nevins
PDF
An Efficient Context-Free Parsing Algorithm for Natural Languages Masaru Tomita
PDF
An Endorsement-Based Plan Recognition Program Michael Sullivan, Paul R. Cohen
PDF
An Equational Approach to Theorem Proving in First-Order Predicate Calculus Deepak Kapur, Paliath Narendran
PDF
An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque
PDF
An Expert Advisor for Photolithography Terry Cline, Wendy Fong, Steven Rosenberg
PDF
An Expert System for Understanding Expressions from Electric Circuit Analysis Rostam Joobbani, Sarosh Talukdar
PDF
An Implementation of a Multi-Agent Plan Synchronizer Christopher Stuart
PDF
Analysis of Uncertainties in a Structure of Parts Alan Fleming
PDF
Analyzing Oriented Patterns Michael Kass, Andrew P. Witkin
PDF
Applying Adaptive Algorithms to Epistatic Domains Lawrence Davis
PDF
Approaches to Conceptual Clustering Douglas H. Fisher, Pat Langley
PDF
Arguments of Persuasion in Labour Mediation Katia Sycara-Cyranski
PDF
Artificial Intelligence and Legal Responsibility Margaret A. Boden
PDF
Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow Tom J. Schwartz
PDF
ASSIP-T: A Theorem-Proving Machine Werner Dilger, Hans-Albert Schneider
PDF
Automated Deduction by Theory Resolution Mark E. Stickel
PDF
Automated Enhancement of Knowledge Representations Robert Balzer
PDF
Automatic Programming for Streams David R. Barstow
PDF
Automatically Inferring Database Schemas Sitaram Lanka
PDF
Automating Program Speedup by Deciding What to Cache Jack Mostow, Donald Cohen
PDF
Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation Anne Vilnat, Gérard Sabah
PDF
Belief, Awareness, and Limited Reasoning: Preliminary Report Ronald Fagin, Joseph Y. Halpern
PDF
Building a Bridge Between AI and Robotics Hirochika Inoue
PDF
Checking an Expert Systems Knowledge Base for Consistency and Completeness Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora
PDF
CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs Marta Franová
PDF
Coarse-to-Fine Control Strategy for Matching Motion Stereo Pairs Gang Xu, Saburo Tsuji, Minoru Asada
PDF
Combination and Propagation of Uncertainty with Belief Functions - A Reexamination Didier Dubois, Henri Prade
PDF
Combining Discrete and Continuous Process Models Daniel S. Weld
PDF
COMODEL: A Language for the Representation of Technical Knowledge Werner Dilger, Jörg Kippe
PDF
Computational Neurolinguistics - What Is It All About? Helen M. Gigley
PDF
Computer Assisted Reasoning with MIZAR Andrzej Trybulec, Howard A. Blair
PDF
Computer Representation of the Law Robert A. Kowalski, Marek J. Sergot
PDF
Computing Circumscription Vladimir Lifschitz
PDF
Concurrency in Proof Normalization and Logic Programming Shigeki Goto
PDF
Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons" Marshal S. Willick
PDF
Control and Integration of Diverse Knowledge in a Diagnostic Expert System Pamela K. Fink
PDF
Control Issues in Classificatory Diagnosis Jon Sticklen, B. Chandrasekaran, John R. Josephson
PDF
Controlling Production Firing: The FCL Language Leonard Friedman
PDF
Controlling Search in Flexible Parsing Steven Minton, Philip J. Hayes, Jill Fain
PDF
Counterfactuals Matthew L. Ginsberg
PDF
Daydreaming in Humans and Computers Erik T. Mueller, Michael G. Dyer
PDF
Deadlines, Travel Time, and Robot Problem Solving David P. Miller, R. James Firby, Thomas Dean
PDF
Deals Among Rational Agents Jeffrey S. Rosenschein, Michael R. Genesereth
PDF
Description-Directed Natural Language Generation David D. McDonald, James Pustejovsky
PDF
Designing Examples for Semantically Guided Hierarchical Deduction Tie-Cheng Wang
PDF
Determining 3-D Motion of Planar Objects from Image Brightness Patterns Shahriar Negahdaripour, Berthold K. P. Horn
PDF
Determining Object Attitude from Extended Gaussian Images James J. Little
PDF
Discourse Structure and the Proper Treatment of Interruptions Barbara J. Grosz, Candace L. Sidner
PDF
Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving Paul Thagard, Keith J. Holyoak
PDF
Discovery and Reasoning in Mathematics Alan Bundy
PDF
Does Probability Have a Place in Non-Monotonic Reasoning? Matthew L. Ginsberg
PDF
DP-Matching: With or Without Phonemes? Shigeyoshi Kitazawa, Masa-aki Ishikawa, Shuji Doshita
PDF
Dynamic Student Modelling in an Intelligent Tutor for LISP Programming Brian J. Reiser, John R. Anderson, Robert G. Farrell
PDF
Dynamic System Control Using Rule Learning and Genetic Algorithms David E. Goldberg
PDF
EGS: A Transformational Approach to Automatic Example Generation Myung W. Kim
PDF
Empirical and Model-Based Reasoning in Expert Systems Phyllis Koton
PDF
Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility Henry S. Thompson
PDF
Evaluating Importance: A Step Towards Text Summarization Danilo Fum, Giovanni Guida, Carlo Tasso
PDF
Evaluating Queries in Deductive Databases by Generating Eliezer L. Lozinskii
PDF
Event Calculus Gary C. Borchardt
PDF
Evidential Reasoning in Semantic Networks: A Formal Theory Lokendra Shastri, Jerome A. Feldman
PDF
Expert Systems: How Far Can They Go? Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith
PDF
Explainable (and Maintainable) Expert Systems Robert Neches, William R. Swartout, Johanna D. Moore
PDF
Fault Diagnosis Through Responsibility Robert Milne
PDF
Fifth Generation Computer Crime Law Jay Bloom Becker
PDF
First Results in Robot Road-Following Richard S. Wallace, Anthony Stentz, Charles E. Thorpe, Hans P. Moravec, William Whittaker, Takeo Kanade
PDF
Flexible Data Fusion (and Fission) Alexander S. Yeh
PDF
Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness Thomas Ellman
PDF
Generating Rules from Examples Bijan Arbab, Donald Michie
PDF
Grammars as User Models Ethel Schuster
PDF
Grammatical Functions, Discourse, Referents, and Quantification Uwe Reyle
PDF
Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding Samuel Bayer, Leonard Joseph, Candace E. Kalish
PDF
Granularity Jerry R. Hobbs
PDF
Heuristic and Formal Methods in Automatic Program Debugging William R. Murray
PDF
Heuristics for Inductive Learning Steven Salzberg
PDF
How to Facilitate the Proof of Theorems by Using the Induction-Matching, and by Generalization Jacqueline Castaing
PDF
In Defense of Probability Peter C. Cheeseman
PDF
Incorporating Generalization Heuristics into Verification of Prolog Programs Hirohisa Seki
PDF
Increasing Coherence in a Distributed Problem-Solving Network Edmund H. Durfee, Victor R. Lesser, Daniel D. Corkill
PDF
Information Acquisition in Minimal Window Search Alexander Reinefeld, Jonathan Schaeffer, T. Anthony Marsland
PDF
Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism Derek Partridge
PDF
Integrating Text Planning and Production in Generation Eduard H. Hovy
PDF
Interpreting Descriptions in a Prolog-Based Knowledge Representation System Randy Goebel
PDF
Iterative-Deepening-A*: An Optimal Admissible Tree Search Richard E. Korf
Judgement, Policy, and the Harmony Machine John Fox
PDF
Judgmental Reasoning for Expert Systems Tim Niblett
PDF
Knowledge Acquisition for Constructive Systems Sandra Marcus, John P. McDermott, Tianran Wang
PDF
Knowledge Representation in an Expert Storm Forecasting System Renee Elio, Johannes de Haan
PDF
LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico
PDF
LEAP: A Learning Apprentice for VLSI Design Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg
PDF
Learning About Momentum Conservation Jude W. Shavlik
PDF
Learning by Discovering Macros in Puzzle Solving Glenn A. Iba
PDF
Learning Concept Descriptions from Examples with Errors Jakub Segen
PDF
Learning Disjunction of Conjunctions Leslie G. Valiant
PDF
Learning Hidden Causes from Empirical Data Judea Pearl
PDF
Learning Intermediate Concepts in Constructing a Hierarchical Knowledge Base LiMin Fu, Bruce G. Buchanan
PDF
Learning Planning Heuristics Through Observation Charles P. Dolan, Michael G. Dyer
PDF
Learning Procedures from Examples and by Doing David M. Neves
PDF
Learning Schemata for Natural Language Processing Raymond J. Mooney, Gerald DeJong
PDF
Learning Shape Descriptions Jonathan Connell, Michael Brady
PDF
Learning to Understand Contractual Situations Seth R. Goldman, Michael G. Dyer, Margot Flowers
PDF
Lexical Ambiguity as a Touchstone for Theories of Language Analysis Lawrence Birnbaum
PDF
Modal Propositional Semantics for Reason Maintenance Systems Allen L. Brown Jr.
PDF
Model Expert System MES Jiwen Guan, Xu Ying, Chang Minche, Zhao Jizhi
PDF
MORE: An Intelligent Knowledge Acquisition Tool Gary S. Kahn, Steven J. Nowlan, John P. McDermott
PDF
Motor Knowledge Representation Giuseppe Marino, Pietro Morasso, Renato Zaccaria
PDF
Multi-Objective Learning via Genetic Algorithms J. David Schaffer, John J. Grefenstette
PDF
Naive Kinematics: One Aspect of Shape Yoav Shoham
PDF
Neat Explanation of Proof Trees Agneta Eriksson, Anna-Lena Johansson
PDF
New Approaches to Parsing Conjunctions Using Prolog Sandiway Fong, Robert C. Berwick
PDF
NON-VONs Applicability to Three AI Task Areas David Elliot Shaw
PDF
Nonlinear Planning: A Rigorous Reconstruction David Chapman
PDF
Object Recognition Using Vision and Touch Peter K. Allen, Ruzena Bajcsy
PDF
On the Comparison of Theories: Preferring the Most Specific Explanation David Poole
PDF
On the Descriptional Complexity of Production Systems Peter Trum
PDF
On the Solution of Schubert's Steamroller in Many-Sorted Logic Anthony G. Cohn
On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition Renato de Mori, Mathew J. Palakal
PDF
On Using Causal Knowledge to Recognize Vital Signals: Knowledge-Based Interpretation of Arrhythmias Tetsutaro Shibahara
PDF
One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry Thomas M. Strat, Martin A. Fischler
PDF
ONYX: An Architecture for Planning in Uncertain Environments Curtis P. Langlotz, Lawrence M. Fagan, Samson W. Tu, John Williams, Branimir Sikic
PDF
Optical Navigation by the Method of Differences Bruce D. Lucas, Takeo Kanade
PDF
Parallel Formulation of Evidential-Reasoning Theories Terence R. Thompson
PDF
Parallel Processing of Resolution Takahira Yamaguchi, Yoshikazu Tezuka, Osamu Kakusho
PDF
Parallelism in AI Programs Dennis F. Kibler, John S. Conery
PDF
Parallelism in Inheritance Hierarchies with Exceptions Garrison W. Cottrell
PDF
Parsing Circuit Topology in a Deductive System Takushi Tanaka
PDF
Parsing with Assertion Sets and Information Monotonicity G. Edward Barton Jr., Robert C. Berwick
PDF
Partial Constraints in Chinese Analysis Yiming Yang, Shuji Doshita, Toyoaki Nishida
PDF
Path Resolution with Link Deletion Neil V. Murray, Erik Rosenthal
PDF
Predictor: An Alternative Approach to Uncertain Inference in Expert Systems Allan P. White
PDF
Problem-Solving Strategies in a Music Transcription System Bernard Mont-Reynaud
PDF
Prolog Control Rules Lee Naish
PDF
Prolog Extensions Based on Tableau Calculus Wolfgang Schönfeld
PDF
Prolog-ELF Incorporating Fuzzy Logic Mitsuru Ishizuka, Naoki Kanai
PDF
Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process Brian Falkenhainer
PDF
Qualitative Mathematical Reasoning Elisha Sacks
PDF
Raising the Standards of AI Products Alan Bundy, Richard Clutterbuck
PDF
Reasoned Assumptions and Pareto Optimality Jon Doyle
PDF
Reasoning by Cases and the Formation of Conditional Programs Douglas R. Smith
PDF
Reasoning with Uncertainty for Expert Systems Ronald R. Yager
PDF
Recognition Algorithms for the Connection Machine Anita M. Flynn, John G. Harris
PDF
Refining and Extending the Procedural Net Mark Drummond
PDF
Representation and Use of Explicit Justifications for Knowledge Base Refinements Reid G. Smith, Howard A. Winston, Tom M. Mitchell, Bruce G. Buchanan
PDF
Representing Procedural Knowledge in Expert Systems: An Application to Process Control Massimo Gallanti, Giovanni Guida, Luca Spampinato, Alberto Stefanini
PDF
Researcher: An Experimental Intelligent Information System Michael Lebowitz
PDF
Responsible Computers? Yorick Wilks
PDF
Results on Translating Defaults to Circumscription Tomasz Imielinski
PDF
Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming Marc Eisenstadt
PDF
Reversible Automata and Induction of the English Auxiliary System Robert C. Berwick, Samuel F. Pilato
PDF
RHINOS: A Consultation System for Diagnoses of Headache and Facial Pain Michio Kimura, Yasushi Matsumura, Takashi Matsunaga, Ryuji Hata, Hiroshi Matsumura
PDF
SAPHIR + RESEDA: A New Approach to Intelligent Data Base Access Bernard Euzenat, Bernard Normier, Antoine Ogonowski, Gian Piero Zarri
PDF
SEEK2: A Generalized Approach to Automatic Knowledge Base Refinement Allen Ginsberg, Sholom M. Weiss, Peter Politakis
PDF
Selectively Generalizing Plans for Problem-Solving Steven Minton
PDF
Self-Knowledge and Self-Representation John Perry
PDF
Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain David C. Chen
PDF
Shape and Source from Shading Michael J. Brooks, Berthold K. P. Horn
PDF
Shape from Texture John Aliomonos, Michael J. Swain
PDF
Shape Recognition and Illusory Conjunctions Geoffrey E. Hinton, Kevin J. Lang
PDF
SIGMA: A Framework for Image Understanding - Integration of Bottom-up and Top-Down Analysis Takashi Matsuyama, Vincent Shang-Shouq Hwang
PDF
SPAN: Integrating Problem-Solving Tactics Daniel L. S. Berlin
PDF
Spatial Object Perception from an Image Radu Horaud
PDF
Spectral Continuity and Eye Vergence Movement Lance R. Williams
PDF
Specular Stereo Andrew Blake
PDF
Splicing Plans to Achieve Misordered Goals Stephen A. Vere
PDF
Stereo by Two-Level Dynamic Programming Yuichi Ohta, Takeo Kanade
PDF
Structure from Motion Without Correspondence: General Principle Ken-ichi Kanatani
PDF
Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search Larry A. Rendell
PDF
Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems Lotfi A. Zadeh
PDF
Symbolic Execution in Algorithm Design David M. Steier, Elaine Kant
PDF
Symbols Among the Neurons: Details of a Connectionist Inference Architecture David S. Touretzky, Geoffrey E. Hinton
PDF
Syntax, Preference, and Right Attachment Yorick Wilks, Xiuming Huang, Dan Fass
PDF
Synthesis by Completion Nachum Dershowitz
PDF
Tailoring Explanations for the User Kathleen R. McKeown, Myron Wish, Kevin Matthews
PDF
Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems Eugene C. Freuder, Michael J. Quinn
PDF
Taxonomic Reasoning Josh D. Tenenberg
PDF
Temporal Reasoning Involving Counterfactuals and Disjunctions Thomas Dean
PDF
Temporal Scope of Assertions and Window Cutoff Steven Vere
PDF
Tense, Aspect, and Cognitive Representation of Time Kenneth Man-kam Yip
PDF
Term Description: A Simple Powerful Extension to Prolog Data Structures Hideyuki Nakashima
PDF
Terrain Navigation Through Knowledge-Based Route Planning John F. Gilmore, Antonio C. Semeco
PDF
The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation Rina Dechter, Judea Pearl
PDF
The Architecture of the FAIM-1 Symbolic Multiprocessing System Alan L. Davis, Shane V. Robison
PDF
The Characteristic Error Approach to Conflict Resolution Richard D. Ferrante
PDF
The Complexity of Searching Several Classes of AND/OR Graphs Howard E. Motteler, Laveen N. Kanal
PDF
The Geometry Tutor John R. Anderson, C. Franklin Boyle, Gregg Yost
PDF
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs Simon Kasif, Jack Minker
PDF
The Layered Architecture of a System for Reasoning About Programs Charles Rich
PDF
The Limits of Qualitative Simulation Benjamin Kuipers
PDF
The Management of Heuristic Search in Boolean Experiments with Rue Resolution Vincent J. Digricoli
PDF
The Origin of the Binary-Search Paradigm Zohar Manna, Richard J. Waldinger
PDF
The Restricted Language Architecture of a Hybrid Representation System Marc B. Vilain
PDF
The Role of Perspective in Responding to Property Misconceptions Kathleen F. McCoy
PDF
The Teachable Letter Recognizer James Geller
PDF
The US and Japan Cooperative AI Research and Development Howard E. Jacobson
PDF
The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks Stephen F. Smith, Peng Si Ow
PDF
The Utility of Expert Knowledge Jonathan Schaeffer, T. Anthony Marsland
PDF
Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation Shankar A. Rajamoney, Gerald DeJong, Boi Faltings
PDF
Training and Tracking in Robotics Oliver G. Selfridge, Richard S. Sutton, Andrew G. Barto
PDF
Transactional Blackboards J. Robert Ensor, John D. Gabbe
PDF
Transformational Form Perception in 3D: Constraints, Algorithms, Implementation Dana H. Ballard, Hiromi Tanaka
PDF
Two Results on Default Logic Witold Lukaszewicz
PDF
Type Inference in Prolog and Its Application Tadashi Kanamori, Kenji Horiuchi
PDF
Uncertainty Management in a Distributed Knowledge Based System Naseem A. Khan, Ramesh C. Jain
PDF
Understanding Analogies in Editorials Stephanie E. August, Michael G. Dyer
PDF
Understanding and Automating Algorithm Design Elaine Kant
PDF
Understanding Behavior Using Consolidation Tom Bylander, B. Chandrasekaran
PDF
Unique Recovery of Motion and Optic Flow via Lie Algebras A. Peter Blicher, Stephen M. Omohundro
PDF
Unrestricted Gapping Grammars Fred Popowich
PDF
User Modelling Derek H. Sleeman, Douglas E. Appelt, Kurt Konolige, Elaine Rich, N. S. Sridharan, William R. Swartout
PDF
Using Discrimination Graphs to Represent Visual Interpretations That Are Hypothetical and Ambiguous Jan A. Mulder
PDF
Using Model Theory to Specify AI Programs Alan M. Frisch
PDF
Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants Alfred Kobsa
PDF
Utilization of a Stripe Pattern for Dynamic Scene Analysis Minoru Asada, Saburo Tsuji
PDF
Validating Concepts from Automated Acquisition Systems Albrecht Heeffer
PDF
Verification-Based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods Sridhar Mahadevan
PDF
Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory James A. Reggia
PDF
Visual Recognition from Spatial Correspondence and Perceptual Organization David G. Lowe
PDF
VOX - An Extensible Natural Language Processor Amnon Meyers
PDF
Weighted Interaction of Syntax and Semantics in Natural Language Analysis Leonardo Lesmo, Pietro Torasso
PDF
What Enables a Machine to Understand? Aaron Sloman
PDF
What's in a Mental Model? on Conceptual Models in Reasoning with Spatial Descriptions Göran Hagert
PDF
Yes, an SIMD Machine Can Be Used for AI Ruven E. Brooks, Rosalyn Lum
PDF