ML Anthology

AAAI 1986

199 papers

3-D Motion Recovery from Time-Varying Optical Flows Kwangyoen Wohn, Jian Wu
PDF
A Case Study of Incremental Concept Induction Jeffrey C. Schlimmer, Douglas H. Fisher
PDF
A Case-Based Reasoning System for Subjective Assessment William M. Bain
PDF
A Chinese Natural Language Processing System Based upon the Theory of Empty Categories Long Ji Lin, Lin-Shan Lee, James Huang, Keh-Jiann Chen
PDF
A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity Frank Brown
PDF
A Domain Independent Explanation-Based Generalizer Raymond J. Mooney, Scott W. Bennett
PDF
A Four-Valued Semantics for Frame-Based Description Languages Peter F. Patel-Schneider
PDF
A Framework for Comparing Alternative Formalisms for Plausible Reasoning Eric Horvitz, David Heckerman, Curtis P. Langlotz
PDF
A Framework for Evidential-Reasoning Systems John D. Lowrance, Thomas D. Garvey, Thomas M. Strat
PDF
A Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions William Kaemmerer, James Larson
PDF
A Hybrid Structured Object and Constraint Representation Language David R. Harris
PDF
A Knowledge Representation Technique for Systems Dealing with Hardware Configuration Jeff Pierick
PDF
A Knowledge-Based Framework for Design Sanjay Mittal, Agustin A. Araya
PDF
A Logic of Deliberation Marvin Belzer
PDF
A Logical-Form and Knowledge-Base Design for Natural Language Generation Norman K. Sondheimer, Bernhard Nebel
PDF
A Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems Allen Ginsberg
PDF
A Mobile Robot with Onboard Parallel Processor and Large Workspace Arm Rodney A. Brooks, Jon Connell, Anita M. Flynn
PDF
A Neat Theory of Marker Passing Eugene Charniak
PDF
A Parallel Self-Modifying Default Reasoning System Jack Minker, Donald Perlis, Krishnan Subramanian
PDF
A Parser for Portable NL Interfaces Using Graph-Unification-Based Grammars Kent Wittenburg
PDF
A Real-Time Road Following and Road Junction Detection Vision System for Autonomous Vehicles Darwin T. Kuan, Gary Phipps, A-Chuan Hsueh
PDF
A Reasoning Model Based on an Extended Dempster-Shafer Theory John Yen
PDF
A Relational Representation of Modification Samuel Bayer
PDF
A Representation for Collections of Temporal Intervals Bruce Leban, David McDonald, David Forster
PDF
A Representation for Temporal Sequence and Duration in Massively Parallel Networks Hon Wai Chun
PDF
A Representation of Action Structures Erik Sandewall, Ralph Rönnquist
PDF
A Rule-Based System for Document Understanding Debashish Niyogi, Sargur N. Srihari
PDF
A Signal-Symbol Approach to Change Detection B. G. Lee, Victor T. Tom, Mark J. Carlotto
PDF
A Simple Motion Planning Algorithm for General Robot Manipulators Tomás Lozano-Pérez
PDF
A Software and Hardware Environment for Developing AI Applications on Parallel Processors Roberto Bisiani
PDF
A Stereo Integral Equation Grahame B. Smith
PDF
A Stochastic Approach to Stereo Vision Stephen T. Barnard
PDF
A System Which Uses Examples to Learn VLSI Structure Manipulations Richard H. Lathrop, Robert S. Kirk
PDF
A Unified Theory of Heuristic Evaluation Functions and Its Application to Learning Jens Christensen, Richard E. Korf
PDF
A Viewpoint Distinction in the Representation of Propositional Attitudes John A. Barnden
PDF
Abstraction and Representation of Continuous Variables in Connectionist Networks Eric Saund
PDF
Adapting MUMBLE: Experience with Natural Language Generation Robert Rubinoff
PDF
Advances in Rete Pattern Matching Marshall I. Schor, Timothy Daly, Ho Soo Lee, Beth Tibbitts
PDF
AGNESS: A Generalized Network-Based Expert System Shell James R. Slagle, Michael R. Wick, Marius O. Poliac
PDF
An Adaptive Planner Richard Alterman
PDF
An Algorithmic Solution of N-Person Games Carol Luckhart, Keki B. Irani
PDF
An Analysis of Tutorial Reasoning About Programming Bugs David C. Littman, Jeannine Pinto, Elliot Soloway
PDF
An Expert System for Chorale Harmonization Kemal Ebcioglu
PDF
An Integration of Resolution and Natural Deduction Theorem Proving Dale Miller, Amy P. Felty
PDF
And/Or Graph Representation of Assembly Plans Luiz Homem de Mello, Arthur C. Sanderson
PDF
Application of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry Hal Brand, Carla Wong
PDF
Are There Preference Trade-Offs in Attachment Decisions? Lenhart K. Schubert
PDF
Artificial Intelligence and Design: A Mechanical Engineering View John Dixon
PDF
ATRANS Automatic Processing of Money Transfer Messages Steven L. Lytinen, Anatole Gershman
PDF
Automatic Compilation of Logical Specifications into Efficient Programs Donald Cohen
PDF
Back to Backtracking: Controlling the ATMS Johan de Kleer, Brian C. Williams
PDF
Bayesian Inference Without Point Estimates Paul Snow
PDF
Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing Philip Johnson, Wendy G. Lehnert
PDF
Beyond Incremental Processing: Tracking Concept Drift Jeffrey C. Schlimmer, Richard H. Granger
PDF
Can a System Be Intelligent if It Never Gives a Damn? Thomas Edelson
PDF
Categorical Disambiguation Gavan Duffy
PDF
Causal and Plausible Reasoning in Expert Systems Gerald Liu
PDF
CHEF: A Model of Case-Based Planning Kristian J. Hammond
PDF
Choosing Directions for Rules Richard Treitel, Michael R. Genesereth
PDF
Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories Yoav Shoham
PDF
CIS: A Massively Concurrent Rule-Based System Guy E. Blelloch
PDF
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy Edward W. Elcock, P. Hoddinott
PDF
Commonsense Arithmetic Reasoning Reid G. Simmons
PDF
Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring Ingrid Zukerman, Judea Pearl
PDF
Conceptual Clustering Using Relational Information Bernhard Nordhausen
PDF
Connection Machine Stereomatching Michael Drumheller
PDF
Constraint Propagation Algorithms for Temporal Reasoning Marc B. Vilain, Henry A. Kautz
PDF
Constraint-Theorems on the Prototypification of Shape Michael Leyton
PDF
Constructing and Refining Causal Explanations from an Inconsistent Domain Theory Richard J. Doyle
PDF
Cooperation Without Communication Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein
PDF
Debugging User Conceptions of Interpretation Processes M. J. Coombs, Roger T. Hartley
PDF
Default Reasoning, Nonmonotonic Logics, and the Frame Problem Steve Hanks, Drew V. McDermott
PDF
Depth and Flow from Motion Energy David Heeger
PDF
Design and Experimentation of an Expert System for Programming In-the-Large Giovanni Guida, Marco Guida, Sergio Gusmeroli, Marco Somalvico
PDF
Designing for Manufacturability in Riveted Joints A. R. Kilhoffer, Karl G. Kempf
PDF
Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence Under Perspective Projection Yiannis Aloimonos, Isidore Rigoutsos
PDF
Discovering Functional Formulas Through Changing Representation Base Mieczyslaw M. Kokar
PDF
Doing Time: Putting Qualitative Reasoning on Firmer Ground Brian C. Williams
PDF
Domains in Logic Programming Pascal Van Hentenryck, Mehmet Dincbas
PDF
Dual Frames: A New Tool for Semantic Parsing Jean-Louis Binot, Daniel Ribbens
PDF
Dynamically Combining Syntax and Semantics in Natural Language Processing Steven L. Lytinen
PDF
Editorial Comprehension in OpEd Through Argument Units Sergio Alvarado, Michael G. Dyer, Margot Flowers
PDF
Evidential Reasoning with Temporal Aspects Thomas Fall
PDF
Factorization in Experiment Generation Devika Subramanian, Joan Feigenbaum
PDF
Factual Knowledge for Developing Concurrent Programs Andrzej Skowron, Alberto Pettorossi
PDF
Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable Daniel Ratner, Manfred K. Warmuth
PDF
Focusing and Reference Resolution in PUNDIT Deborah A. Dahl
PDF
Framework for Prototyping Expert Systems for Financial Applications Jacob Friedman, Atul Jain
PDF
GBB: A Generic Blackboard Development System Daniel D. Corkill, Kevin Q. Gallagher, Kelly Murray
PDF
Generalized Plan Recognition Henry A. Kautz, James F. Allen
PDF
Generating Medical Case Reports with the Linguistic String Parser Ping-Yang Li, Martha W. Evens, Daniel B. Hier
PDF
Generating Perception Requests and Expectations to Verify the Execution of Plans Richard J. Doyle, David Atkinson, Rajkumar Doshi
PDF
Generating Predictions to Aid the Scientific Discovery Process Randy Jones
PDF
Generating Tests by Exploiting Designed Behavior Mark Harper Shirley
PDF
Hypotheticals as Heuristic Device Edwina L. Rissland, Kevin D. Ashley
PDF
Implementation of and Experiments with a Variable Precision Logic Inference System Peter Haddawy
PDF
Imposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice Models Wanda J. Orlikowski, Vasant Dhar
PDF
Incremental Planning to Control a Blackboard-Based Problem Solver Edmund H. Durfee, Victor R. Lesser
PDF
Indefinite and GCWA Inference in Indefinite Deductive Databases Lawrence J. Henschen, Hyung-Sik Park
PDF
Inductive Inference by Refinement Philip D. Laird
PDF
Inference in a Topically Organized Semantic Net Johannes de Haan, Lenhart K. Schubert
PDF
Integration of Multiple Knowledge Sources in ALADIN: An Alloy Design System Michael D. Rychener, Ingemar A. E. Hulthage, Mark S. Fox, Martha L. Farinacci
PDF
Intelligent Tutoring Systems Based upon Qualitative Model Evolutions Barbara Y. White, John Frederiksen
PDF
Interpreting Measurements of Physical Systems Kenneth D. Forbus
PDF
Invited Talk: Viewing History of Science as Compiled Hindsight Lindley Darden
PDF
Invited Talk: What's Practical When in Natural Language Applications Gary G. Hendrix
PDF
Is Belief Revision Harder than You Thought? Marianne Winslett
PDF
ISCS-A Tool Kit for Constructing Knowledge-Based System Configurators Harry Wu, Hon Wai Chun, Alejandro Mimo
PDF
Joint and LPA*: Combination of Approximation and Search Daniel Ratner, Ira Pohl
PDF
Knowledge Engineering Issues in VLSI Synthesis Wayne H. Wolf, Thaddeus J. Kowalski, Michael C. McFarland
PDF
Knowledge Level Engineering Ontological Analysis James H. Alexander, Michael J. Freiling, Sheryl Shulman, Jeffery Staley, Steven Rehfuss, Steven Messick
PDF
Knowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass Industry Richard Herrod, Jeff Rickel
PDF
Knowledge-Based Validity Maintenance for Production Systems Philip Schaefer, H. Isil Bozma, Randall D. Beer
PDF
Learning Arithmetic Problem Solver Masamichi Shimura, Seiichiro Sakurai
PDF
Learning by Failing to Explain Robert J. Hall
PDF
Learning in Massively Parallel Nets (Panel) Drew V. McDermott, Geoffrey E. Hinton
PDF
Learning to Anticipate and Avoid Planning Problems Through the Explanation of Failures Kristian J. Hammond
PDF
Learning While Searching in Constraint-Satisfaction-Problems Rina Dechter
PDF
Linear Image Features in Stereopsis Michael Kass
PDF
Making Best Use of Available Memory When Searching Game Trees Subir Bhattacharya, Amitava Bagchi
PDF
Mapping Explanation-Based Generalization onto Soar Paul S. Rosenbloom, John E. Laird
PDF
Merging Objects and Logic Programming: Relational Semantics Hervé Gallaire
PDF
Mixing Binary and Continuous Connection Schemes for Knowledge Access Noel E. Sharkey, Richard F. E. Sutcliffe, Wayne Wobcke
PDF
MOLE: A Knowledge Acquisition Tool That Uses Its Head Larry J. Eshelman, John P. McDermott
PDF
Multi-Valued Logics Matthew L. Ginsberg
PDF
Noise-Tolerant Range Analysis for Autonomous Navigation Aviv Bergman, Gregg Cowan
PDF
Not the Path to Perdition: The Utility of Similarity-Based Learning Michael Lebowitz
PDF
Object Recognition in Structured and Random Environments: Locating Address Blocks on Mail Pieces Ching-Huei Wang, Sargur N. Srihari
PDF
On Debugging Rule Sets When Reasoning Under Uncertainty David C. Wilkins, Bruce G. Buchanan
PDF
On the Logic of Probabilistic Dependencies Judea Pearl
PDF
On the Parallel Complexity of Some Constraint Satisfaction Problems Simon Kasif
PDF
On the Reconstruction of a Scene from Two Unregistered Images Harit P. Trivedi
PDF
Optimal Allocation of Very Limited Search Resources David Mutchler
PDF
Order of Magnitude Reasoning Olivier Raiman
PDF
Panel: AI and Education Elliot Soloway, John Seely Brown, Andy Molner, Lauren B. Resnick, Roger C. Schank
Panel: Are AI Systems Ready to Be Trusted in Critical Applications? (Will They Ever Be?) Peter Friedland, Brian P. McCune, Edward H. Shortliffe
Panel: Directions for Expert Systems Janice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith
Panel: Financial Expert Systems Peter E. Hart, Norton Greenfeld, Walter Reitman, Chuck Williams
PDF
Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage? Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil
PDF
Panel: Real-Time Performance in Problem Solving Michael R. Fehling, Malcolm Acock, James F. Allen, Michael P. Georgeff, Victor R. Lesser, Robert C. Moore
Panel: Where Should the Intelligence in Intelligent Interfaces Be Placed? Thomas Kaczmarek, Robert Neches, John Seely Brown, Phil Hayes, Thomas W. Malone, Dic Waters, Robert Wilensky, Mike Williams
PDF
Parallel Logical Inference and Energy Minimization Dana H. Ballard
PDF
Parts: Structured Descriptions of Shape Alex Pentland
PDF
Physics for Robots James G. Schmolze
PDF
PIES: An Engineers Do-Lt-Yourself Knowledge System for Interpretation of Parametric Test Data Jeff Yung-Choa Pan, Jay M. Tenenbaum
PDF
Plan Recognition for Airborne Tactical Decision Making Jerome Azarewicz, Glenn Fala, Ralph Fink, Christof Heithecker
PDF
Planning Sensorless Robot Manipulation of Sliding Objects Michael A. Peshkin, Arthur C. Sanderson
PDF
Planning with Abstraction Josh Tenenberg
PDF
Plausibility of Diagnostic Hypotheses: The Nature of Simplicity Yun Peng, James A. Reggia
PDF
Pointwise Circumscription: Preliminary Report Vladimir Lifschitz
PDF
Preliminary Steps Toward the Automation of Induction Stuart Russell
PDF
President's Panel: Past Present and Future Presidents Look at the past Present and Future Patrick H. Winston
Primitives and Units for Time Specification Peter B. Ladkin
PDF
Problem Features That Influence the Design of Expert Systems Paul Kline, Steven Dolins
PDF
Propagating Temporal Constraints for Scheduling Jean-François Rit
PDF
PROTEAN: Deriving Protein Structure from Constraints Barbara Hayes-Roth, Bruce G. Buchanan, Olivier Lichtarge, Mike Hewitt, Russ B. Altman, James F. Brinkley, Craig Cornelius, Bruce S. Duncan, Oleg Jardetzky
PDF
Qualitative Simulation of Semiconductor Fabrication John Mohammed, Reid G. Simmons
PDF
Quantifying the Inductive Bias in Concept Learning (Extended Abstract) David Haussler
PDF
Quantitative Analysis of Analogy Stuart J. Russell
PDF
Query Answering in Circumscriptive and Closed-World Theories Teodor C. Przymusinski
PDF
Reasoning About Multiple Faults Johan de Kleer, Brian C. Williams
PDF
Reasoning with Simplifying Assumptions: A Methodology and Example Yishai A. Feldman, Charles Rich
PDF
Recent Developments in NIKL Thomas Kaczmarek, Raymond Bates, Gabriel Robins
PDF
Refining the Knowledge Base of a Diagnostic Expert System: An Application of Failure-Driven Learning Michael J. Pazzani
PDF
Representing Actions with an Assumption-Based Truth Maintenance System Paul Morris, Robert Nado
PDF
Restricting Logic Grammars Edward P. Stabler Jr.
PDF
Robot Navigation in Unknown Terrains of Convex Polygonal Obstacles Using Learned Visibility Graphs B. John Oommen, S. Sitharama Iyengar, Nageswara S. V. Rao, Rangasami L. Kashyap
PDF
Rule Refinement Using the Probabilistic Rule Generator Won D. Lee, Sylvian R. Ray
PDF
Saturn: An Automatic Test Generation System for Digital Circuits Narinder Singh
PDF
SCAT: An Automatic-Programming Tool for Telecommunications Software S. Barra, O. Ghisio, F. Manucci
PDF
Selecting Appropriate Representations for Learning from Examples Nicholas S. Flann, Thomas G. Dietterich
PDF
Self-Reference, Knowledge, Belief, and Modality Donald Perlis
PDF
Shape from Darkness: Deriving Surface Information from Dynamic Shadows John R. Kender, Earl Smith
PDF
Signal Matching Through Scale Space Andrew P. Witkin, Demetri Terzopoulos, Michael Kass
PDF
SIMD Tree Algorithms for Image Correlation Hussein Ibrahim, John R. Kender, David Elliot Shaw
PDF
SNePS Considered as a Fully Intensional Propositional Semantic Network Stuart C. Shapiro, William J. Rapaport
PDF
STAHLp: Belief Revision in Scientific Discovery Donald Rose, Pat Langley
PDF
StarPlan II: Evolution of an Expert System Ronald Siemmens, Marilyn Golden, Jay C. Ferguson
PDF
SYNTELTM: Knowledge Programming Using Functional Representations René Reboh, Tore Risch
PDF
System Integration of Knowledge-Based Maintenance Aids Christopher Powell, Cynthia Pickering, Keith T. Wescourt
PDF
Tactile Recognition by Probing: Identifying a Polygon on a Plane Randy E. Ellis, Edward M. Riseman, Allen R. Hanson
PDF
Teaching a Complex Industrial Process Beverly Park Woolf, Darrell Blegen, Johan Jansen, Arie Verloop
PDF
The ButterflyTM Lisp System Seth A. Steinberg, Donald C. Allen, Laura Bagnall, Curtis Scott
PDF
The FERMI System: Inducing Iterative Macro-Operators from Experience Patricia Cheng, Jaime G. Carbonell
PDF
The Logic of Persistence Henry A. Kautz
PDF
The Multi-Purpose Incremental Learning System AQ15 and Its Testing Application to Three Medical Domains Ryszard S. Michalski, Igor Mozetic, Jiarong Hong, Nada Lavrac
PDF
The Representation of Events in Multiagent Domains Michael P. Georgeff
PDF
The Role of Prior Causal Theories in Generalization Michael J. Pazzani, Michael G. Dyer, Margot Flowers
PDF
The Shifting Terminological Space: An Impediment to Evolvability William R. Swartout, Robert Neches
PDF
The Structure-Mapping Engine Brian Falkenhainer, Kenneth D. Forbus, Dedre Gentner
PDF
Time Representation: A Taxonomy of Internal Relations Peter B. Ladkin
PDF
Towards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYCIN's Therapy Selection Algorithm Jack Mostow, William R. Swartout
PDF
Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover Gerhard Brewka
PDF
Understanding Plan Ellipsis Diane J. Litman
PDF
Uniform Parsing and Inferencing for Learning Charles Martin, Christopher Riesbeck
PDF
Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers Kathleen Dahlgren, Joyce P. McDowell
PDF
Using Decision Theory to Justify Heuristics Curtis P. Langlotz, Edward H. Shortliffe, Lawrence M. Fagan
PDF
Using Qualitative Reasoning to Understand Financial Arithmetic Chidanand Apté, Se June Hong
PDF
What Can Machines Know? on the Epistemic Properties of Machines Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
PDF