ML Anthology

AAAI 1988

150 papers

A Circumscriptive Theorem Prover Matthew L. Ginsberg
PDF
A Computational Account of Basic Level and Typicality Effects Douglas H. Fisher
PDF
A Deductive Pattern Matcher Robert M. MacGregor
PDF
A General Labeling Algorithm for Assumption-Based Truth Maintenance Johan de Kleer
PDF
A General Proof Method for Modal Predicate Logic Without the Barcan Formula Peter Jackson, Han Reichgelt
PDF
A Logic for Hypothetical Reasoning Anthony J. Bonner
PDF
A Model and Representation for Type Information and Its Use in Reasoning with Defaults Lin Padgham
PDF
A Note on Probabilistic Logic Mary McLeish
PDF
A Qualitative Approach to Mechanical Constraint Paul Nielsen
PDF
A Rearrangement Search Strategy for Determining Propositional Satisfiability Ramin Zabih, David A. McAllester
PDF
A Robust, Qualitative Method for Robot Spatial Learning Benjamin Kuipers, Yung-Tai Byun
PDF
A Theory of Debugging Plans and Interpretations Reid G. Simmons
PDF
A Tree Representation for Parallel Problem Solving Laxmikant V. Kalé
PDF
Acquiring Lexical Knowledge from Text: A Case Study Paul S. Jacobs, Uri Zernik
PDF
Adding Number Restrictions to a Four-Valued Terminological Logic Peter F. Patel-Schneider
PDF
An Analysis of Time-Dependent Planning Thomas L. Dean, Mark S. Boddy
PDF
An Efficient ATMS for Equivalence Relations Caroline N. Koff, Nicholas S. Flann, Thomas G. Dietterich
PDF
An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem K. V. Viswanathan, A. Bagchi
PDF
Approximate Theory Formation: An Explanation-Based Approach Thomas Ellman
PDF
Assembling a Device Jean-Luc Dormoy, Olivier Raiman
PDF
Automatic Construction of User-Interface Displays Yigal Arens, Lawrence Miller, Stuart C. Shapiro, Norman K. Sondheimer
PDF
Bayesian Classification Peter C. Cheeseman, Matthew Self, James Kelly, Will Taylor, Don Freeman, John C. Stutz
PDF
Being Suspicious: Critiquing Problem Specifications Stephen Fickas, P. Nagarajan
PDF
Belief Maintenance in Dynamic Constraint Networks Rina Dechter, Avi Dechter
PDF
Belief Maintenance: An Integrated Approach to Uncertainty Management Kathryn B. Laskey, Paul E. Lehner
PDF
Beyond ISA: Structures for Plausible Inference in Semantic Networks Paul R. Cohen, Cynthia L. Loiselle
PDF
Beyond Semantic Ambiguity Galina Datskovsky Moerdler, Kathleen R. McKeown
PDF
Causal Ordering in a Mixed Structure Yumi Iwasaki
PDF
Combining Symbolic Learning Techniques and Statistical Regression Analysis Carlo Berzuini
PDF
Comparison of the Rete and Treat Production Matchers for Soar P. Pandurang Nayak, Anoop Gupta, Paul S. Rosenbloom
PDF
Compiling Circumscriptive Theories into Logic Programs Michael Gelfond, Vladimir Lifschitz
PDF
Compliance Viewed as Programming a Damped Spring Stephen J. Buckley
PDF
Conflict Resolution in Fuzzy Forward-Chaining Production Systems James Bowen, Jianchu Kang
PDF
Connectionist Networks for Learning Coordinated Motion in Autonomous Systems Jahir Pabon, David C. Gossard
PDF
Controlling Qualitative Resolution Jean-Luc Dormoy
PDF
Credit Assignment in Genetic Learning Systems John J. Grefenstette
PDF
Data-Driven Execution of Multi-Layered Networks for Automatic Speech Recognition Renato de Mori, Yoshua Bengio, Régis Cardin
PDF
Design for Testability Peng Wu
PDF
Distributed Tree Search and Its Application to Alpha-Beta Pruning Chris Ferguson, Richard E. Korf
PDF
Dominic II: Meta-Level Control in Iterative Redesign Mark F. Orelup, John R. Dixon, Paul R. Cohen, Melvin K. Simmons
PDF
Ethical Understanding: Recognizing and Using Belief Conflict in Narrative Processing John F. Reeves
PDF
Evaluating Explanations David B. Leake
PDF
Evidential Reasoning Using DELEF Debra K. Zarley, Yen-Teh Hsia, Glenn Shafer
PDF
Exaggeration David S. Weld
PDF
Explanation-Based Indexing of Cases Ralph Barletta, William Mark
PDF
Exploiting User Expertise in Answer Expression David N. Chin
PDF
Extending Conventional Planning Techniques to Handle Actions with Context-Depen Dent Effects Edwin P. D. Pednault
PDF
Facilitating Self-Education by Questioning Assumptive Reasoning Robert G. Farrell
PDF
Feature Recognition Using Correlated Information Contained in Multiple Neighborboods Andrea Califano
PDF
Focusing the ATMS Kenneth D. Forbus, Johan de Kleer
PDF
Formal Basis for Commonsense Abstraction of Dynamic Systems Yumi Iwasaki, Inderpal S. Bhandari
PDF
FRM: An Intelligent Assistant for Financial Resource Management Andrew Gelman, Susan Altman, Matt Pallakoff, Ketan Doshi, Catherine Manago, Thomas C. Rindfleisch, Bruce G. Buchanan
PDF
From Kinematics to Shape: An Approach to Innovative Design Leo Joskowicz, Sanjaya Addanki
PDF
Function Sharing in Mechanical Design Karl T. Ulrich, Warren P. Seering
PDF
Functionality in Neural Nets Leslie G. Valiant
PDF
Future Intelligent Information Systems: AI and Database Technologies Working Together Michael L. Brodie
PDF
Generality Versus Specificity: An Experience with AI and or Techniques Pascal Van Hentenryck, Jean-Philippe Carillon
PDF
Generating Global Behaviors Using Deep Knowledge of Local Dynamics Kenneth Man-kam Yip
PDF
Geometric Reasoning and Organized Optimization for Automated Process Planning Yasuyuki Maeda, Katsuya Shinohara
PDF
Global Filters for Qualitative Behaviors Peter Struss
PDF
Goal-Directed Equation Solving Nachum Dershowitz, G. Sivakumar
PDF
Goals as Parallel Program Specifications Leslie Pack Kaelbling
PDF
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning Kurt Konolige
PDF
How to Draw Three People in a Botanical Garden Harold Cohen
PDF
How to Print a File: An Expert System Approach to Software Knowledge Representation Peter G. Selfridge
PDF
IMEX: Overcoming Intactability in Explanation Based Learning Michael S. Braverman, Stuart J. Russell
PDF
Infering Probabilistic Theofies from Data Edwin P. D. Pednault
PDF
Inferring Ignorance from the Locality of Visual Perception Ernest Davis
PDF
Integrating Multiple Sources of Knowledge into Designer Soar, an Automatic Algorithm Designer David M. Steier, Allen Newell
PDF
Integrating Planning, Execution and Monitoring Jose A. Ambros-Ingerson, Sam Steel
PDF
Intelligent Real-Time Monitoring Thomas J. Laffey, Scott M. Weitzenkamp, Jackson Y. Read, Simon A. Kao, James L. Schmidt
PDF
Invariant Logic: A Calculus for Problem Reformulation Michael R. Lowry
PDF
Investigations into a Theory of Knowledge Base Revision Mukesh Dalal
PDF
Knowledge Base Refinement Using Apprenticeship Learning Techniques David C. Wilkins
PDF
Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy Allen Ginsberg
PDF
Knowledge-Based Real-Time Control: A Parallel Processing Perspective D. D. Sharma, N. S. Sridharan
PDF
Knowledge-Based Spreadsheets Gerhard Fischer, Christian Rathke
PDF
Learning a Second Language Steven L. Lytinen, Carol E. Moon
PDF
Learning Complicated Concepts Reliably and Usefully Ronald L. Rivest, Robert H. Sloan
PDF
Learning from Opportunities: Storing and Re-Using Execution-Time Optimizations Kristian J. Hammond, Timothy M. Converse, Mitchell Marks
PDF
Massively Parallel Assumption-Based Truth Maintenance Michael Dixon, Johan de Kleer
PDF
Mechanisms for Reasoning About Sets Michael P. Wellman, Reid G. Simmons
PDF
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning Brian C. Williams
PDF
Mixing Strict and Defeasible Inheritance John F. Horty, Richmond H. Thomason
PDF
Multi-Modal References in Human-Computer Dialogue Jeannette G. Neal, Zuzana Krifka Dobes, Keith E. Bettinger, Jong S. Byoun
PDF
Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation Wood W. Lee, Benjamin Kuipers
PDF
Nonmonotonic Inheritance and Generic Reflexives David S. Touretzky, Richmond H. Thomason
PDF
Normal Multimodal Logics Laurent Catach
PDF
On Reducing Parallel Circumscription Li-Yan Yuan, Cheng Hui Wang
PDF
On the Extraction of Shape Information from Shading Alex Pentland
PDF
On the Logic of Defaults Hector Geffner
PDF
On the Relationship Between Logic Programming and Nonmonotonic Reasoning Teodor C. Przymusinski
PDF
Optimizing Rules in Production System Programs Toru Ishida
PDF
Overview of an Approach to Representation Design Jeffrey Van Baalen, Randall Davis
PDF
Parallel Best-First Search of State-Space Graphs: A Summary of Results Vipin Kumar, K. Ramesh, V. Nageshwara Rao
PDF
Parallel Hardware for Constraint Satisfaction Michael J. Swain, Paul R. Cooper
PDF
Parsing to Learn Fine Gralned Rules Subrata Roy, Jack Mostow
PDF
Perceptron Trees: A Case Study in Hybrid Concept Representations Paul E. Utgoff
PDF
Performance of a System to Locate Address Blocks on Mail Pieces Ching-Huei Wang, Paul W. Palumbo, Sargur N. Srihari
PDF
Plan Abstraction Based on Operator Generalization John S. Anderson, Arthur M. Farley
PDF
Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains Edmund H. Durfee, Victor R. Lesser
PDF
Prevention Techniques for a Temporal Planner John C. Hogge
PDF
Principle-Based Interpretation of Natural Language Quantifiers Samuel S. Epstein
PDF
Probabilistic Temporal Reasoning Thomas L. Dean, Keiji Kanazawa
PDF
Qualitative Reasoning at Multiple Resolutions Seshashayee S. Murthy
PDF
Quantitative Results Concerning the Utility of Explanation-Based Learning Steven Minton
PDF
Reactive Plan Revision Peng Si Ow, Stephen F. Smith, Alfred Thirlez
PDF
Real-Tme Heuristic Search: New Results Richard E. Korf
PDF
Reasoning About Action Using a Possible Models Approach Marianne Winslett
PDF
Reasoning About Evidence in Causal Explanations Phyllis Koton
PDF
Reasoning About Grasping Sharon A. Stansfield
PDF
Reasoning Under Varying and Uncertain Resource Constraints Eric Horvitz
PDF
Recovery from Incorrect Knowledge in Soar John E. Laird
PDF
Representing and Computing Temporally Scoped Beliefs Steve Hanks
PDF
Representing Genetic Information with Formal Grammars David B. Searls
PDF
Representing Pronouns in Logical Form: Computational Constraints and Linguistic Evidence Mary P. Harper
PDF
Resolving Goal Conflicts via Negotiation Katia P. Sycara
PDF
Robust Operative Diagnosis as Problem Solving in a Hypothesis Space Kathy H. Abbott
PDF
Satisfying First-Order Constraints About Time Intervals Peter B. Ladkin
PDF
Setting up Large-Scale Qualitative Models Brian Falkenhainer, Kenneth D. Forbus
PDF
Simulation-Assisted Inductive Learning Bruce G. Buchanan, John Sullivan, Tze-Pin Cheng, Scott H. Clearwater
PDF
Situated Vision in a Dynamic World: Chasing Objects Ian Horswill, Rodney A. Brooks
PDF
Some Computational Aspects of Circumscription Phokion G. Kolaitis, Christos H. Papadimitriou
PDF
Some Experiments with Case-Based Search Steven Bradtke, Wendy G. Lehnert
PDF
Some Philosophical Problems with Formal Learning Theory Jonathan Amsterdam
PDF
Specialized Strategies: An Altenative to First Principles in Diagnostic Problem Solving Nancy E. Reed, Elizabeth R. Stuck, James B. Moen
PDF
Specification by Reformulation: A Paradigm for Building Integrated User Support Environments John Yen, Robert Neches, Michael DeBellis
PDF
Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning Paul Morris
PDF
Subassembly Stability Nico Boneschanscher, Hans van der Drift, Stephen J. Buckley, Russell H. Taylor
PDF
Suitability of Message Passing Computers for Implementing Production Systems Anoop Gupta, Milind Tambe
PDF
Tableau-Based Theorem Proving in Normal Conditional Logics Chris Groeneboer, James P. Delgrande
PDF
The Automatic Acquisition of Proof Methods Kurt Ammon
PDF
The Challenge of Real-Time Process Control for Production Systems Franz Barachini, Norbert Theuretzbacher
PDF
The Induction of Fault Diagnosis Systems from Qualitative Models Danny A. Pearce
PDF
The Integration of Unification-Based Syntax/Semantics and Memory-Based Pragmatics for Real-Time Understanding of Noisy Continuous Speech Input Hideto Tomabechi, Masaru Tomita
PDF
The Interpretation of Temporal Relations in Narrative Fei Song, Robin Cohen
PDF
The Persistence of Derived Information Karen L. Myers, David E. Smith
PDF
The Utility of Difference-Based Reasoning Brian Falkenhainer
PDF
Theory Revision via Prior Operationalization Allen Ginsberg
PDF
Towards a Virtual Parallel Inference Engine Howard E. Shrobe, John G. Aspinall, Neil L. Mayle
PDF
Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics Brian A. Haugh
PDF
Tree-Clustering Schemes for Constraint-Processing Rina Dechter, Judea Pearl
PDF
Tree-Structured Bias Stuart J. Russell
PDF
Tuning a Blackboard-Based Application: A Case Study Using GBB Daniel D. Corkill, Kevin Q. Gallagher
PDF
Upgrading Design Systems Sarosh Talukdar, James M. Rehg, Rob Woodbury, Alberto Elfes
PDF
Using Dialog-Level Knowledge Sources to Improve Speech Recognition Alexander G. Hauptmann, Sheryl R. Young, Wayne H. Ward
PDF
Using Incomplete Quantitative Knowledge in Qualitative Reasoning Benjamin Kuipers, Daniel Berleant
PDF
Using Specialists to Accelerate General Reasoning Stephanie A. Miller, Lenhart K. Schubert
PDF
Waiting on Weighting: A Symbolic Least Commitment Approach Kevin D. Ashley, Edwina L. Rissland
PDF
Why Things Go Wrong: A Formal Theory of Causal Reasoning Leora Morgenstern, Lynn Andrea Stein
PDF