Book One
Automated Reasoning
Experimental Results on the Crossover Point in Satisfiability Problems
PDFTowards an Understanding of Hill-Climbing Procedures for SAT
PDFReasoning with Characteristic Models
PDFThe Breakout Method for Escaping from Local Minima
PDFAn Empirical Study of Greedy Local Search for Satisfiability Testing
PDFOn Computing Minimal Models
PDFOn the Adequateness of the Connection Method
PDFRough Resolution: A Refinement of Resolution to Remove Large Literals
PDF
Case-Based Reasoning
Projective Visualization: Acting from Experience
PDFRepresenting and Using Procedural Knowledge to Build Geometry Proofs
PDFCase-Based Diagnostic Analysis in a Blackboard Architecture
PDFA Framework and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge
PDF
Complexity in Machine Learning
Constraint-Based Reasoning
Extending Deep Structure
PDFArc-Consistency and Arc-Consistency Again
PDFOn the Consistency of General Constraint-Satisfaction Problems
PDFIntegrating Heuristics for Constraint Satisfaction Problems: A Case Study
PDFCoping With Disjunctions in Temporal Constraint Satisfaction Problems
PDFNondeterministic Lisp as a Substrate for Constraint Logic Programming
PDFSlack-Based Heuristics for Constraint Satisfaction Scheduling
PDFA Constraint Decomposition Method for Spatio-Temporal Configuration Problems
PDF
Diagnostic Reasoning
Discourse Analysis
Distributed Problem Solving
A One-Shot Dynamic Coordination Algorithm for Distributed Sensor Networks
PDFQuantitative Modeling of Complex Computational Task Environments
PDFOvereager Reciprocal Rationality and Mixed Strategy Equilibria
PDFSolving the Really Hard Problems with Cooperative Search
PDFA Fast First-Cut Protocol for Agent Coordination
PDFAgents Contracting Tasks in Non-Collaborative Environments
PDFIPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments
PDFAn Implementation of the Contract Net Protocol Based on Marginal Cost Calculations
PDF
Intelligent User Interfaces
Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering
PDFGenerating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts
PDFBuilding Models to Support Synthesis in Early Stage Product Design
PDFA Conversational Model of Multimodal Interaction in Information Systems
PDF
Large Scale Knowledge Bases
Machine Learning
Probabilistic Prediction of Protein Secondary Structure Using Causal Networks
PDFOC1: Randomized Induction of Oblique Decision Trees
PDFFinding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning
PDFLearning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks
PDF
Natural Language Generation
Natural Language Sentence Analysis
Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System
PDFHaving Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing
PDFEfficient Heuristic Natural Language Parsing
PDFTowards a Reading Coach that Listens: Automated Detection of Oral Reading Errors
PDF
Nonmonotonic Logic
Reasoning Precisely with Vague Concepts
PDFRestricted Monotonicity
PDFSubnormal Modal Logics for Knowledge Representation
PDFAlgebraic Sematics for Cumulative Inference Operations
PDFMinimal Belief and Negation as Failure: A Feasible Approach
PDFA Context-based Framework for Default Logics
PDFPropositional Logic of Context
PDFGenerating Explicit Orderings for Non-monotonic Logics
PDF
Novel Methods in Knowledge Acquisition
Plan Generation
Plan Learning
Qualitative Reasoning
Real-Time Planning and Simulation
Reasoning about Physical Systems
Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis
PDFIntelligent Model Selection for Hillclimbing Search in Computer-Aided Design
PDFIdeal Physical Systems
PDFNumerical Behavior Envelopes for Qualitative Models
PDFA Qualitative Method to Construct Phase Portraits
PDFUnderstanding Linkages
PDFCFRL: A Language for Specifying the Causal Functionality of Engineered Devices
PDFModel Simplification by Asymptotic Order of Magnitude Reasoning
PDF
Representation and Reasoning
Representation for Actions and Motion
Rule-Based Reasoning
Search
Time-Saving Tips for Problem Solving with Incomplete Information
PDFDecomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems
PDFInnovative Design as Systematic Search
PDFGenerating Effective Admissible Heuristics by Abstraction and Reconstitution
PDFIterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias
PDFPruning Duplicate Nodes in Depth-First Search
PDFConjunctive Width Heuristics for Maximal Constraint Satisfaction
PDFDepth-First vs. Best-First Search: New Results
PDF
Statistically-Based Natural Language Processing
Trainable Natural Language Systems
A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis
PDFKITSS: A Knowledge-Based Translation System for Test Scenarios
PDFAutomatically Constructing a Dictionary for Information Extraction Tasks
PDFLearning Semantic Grammars with Constructive Inductive Logic Programming
PDF
Vision Processing
Video Abstracts
A Demonstration of the Circuit Fix-it Shoppe
PDFInstructo-Soar: Learning from Interactive Natural Language Instructions
PDFWinning the AAAI Robot Competition
PDFAIR-SOAR: Intelligent Multi-Level Control
PDFSelective Perception for Robot Driving
PDFComputer Vision Research at the University of Massachusetts
PDFA Fuzzy Controller for Flakey, the Robot
PDF