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