Science
Automated Reasoning
Automatic Programming
Learning
Conceptual Clustering Using Relational Information
PDFLearning by Failing to Explain
PDFMapping Explanation-Based Generalization onto Soar
PDFLearning to Anticipate and Avoid Planning Problems through the Explanation of Failures
PDFA Domain Independent Explanation-Based Generalizer
PDFThe Role of Prior Causal Theories in Generalization
PDFConstructing and Refining Causal Explanations from an Inconsistent Domain Theory
PDFNot the Path to Perdition: The Utility of Similarity-Based Learning
PDFSTAHLp: Belief Revision in Scientific Discovery
PDFA Case-Based Reasoning System for Subjective Assessment
PDFFactorization in Experiment Generation
PDFGenerating Predictions to Aid the Scientific Discovery Process
PDFBeyond Incremental Processing: Tracking Concept Drift
PDFA Case Study of Incremental Concept Induction
PDFQuantifying the Inductive Bias in Concept Learning (extended abstract)
PDFPreliminary Steps Toward the Automation of Induction
PDFInductive Inference by Refinement
PDFOptimal Allocation of Very Limited Search Resources
PDFSelecting Appropriate Representations for Learning from Examples
PDFDiscovering Functional Formulas through Changing Representation Base
PDFOn Debugging Rule Sets When Reasoning Under Uncertainty
PDFRule Refinement Using the Probabilistic Rule Generator
PDFA Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems
PDFThe FERMI System: Inducing Iterative Macro-Operators from Experience
PDF
Planning
Generalized Plan Recognition
PDFA Logic of Deliberation
PDFPhysics for Robots
PDFCooperation without Communication
PDFIncremental Planning to Control a Blackboard-based Problem Solver
PDFAn Adaptive Planner
PDFThe Representation of Events in Multiagent Domains
PDFPlanning with Abstraction
PDFGenerating Perception Requests and Expectations to Verify the Execution of Plans
PDFA Representation of Action Structures
PDF
Qualitative Reasoning and Diagnosis
Order of Magnitude Reasoning
PDFReasoning about Multiple Faults
PDFPlausibility of Diagnostic Hypotheses: The Nature of Simplicity
PDFDoing Time: Putting Qualitative Reasoning on Firmer Ground
PDFInterpreting Measurements of Physical Systems
PDFCommonsense Arithmetic Reasoning
PDFA Reasoning Model Based on an Extended Dempster- Shafer Theory
PDF
Search
An Integration of Resolution and Natural Deduction Theorem Proving
PDFMulti-Valued Logics
PDFImplementation of and Experiments with a Variable Precision Logic Inference System
PDFBayesian Inference without Point Estimates
PDFAdvances in Rete Pattern Matching
PDFCausal and Plausible Reasoning in Expert Systems
PDFUsing Decision Theory to Justify Heuristics
PDFA Framework for Comparing Alternative Formalisms for Plausible Reasoning
PDFParallel Logical Inference and Energy Minimization
PDFA Unified Theory of Heuristic Evaluation Functions and its Application to Learning
PDFIndefinite and GCWA Inference in Indefinite Deductive Databases
PDFQuery Answering in Circumscriptive and Closed-World Theories
PDFLearning While Searching in Constraint-Satisfaction-Problems
PDFJoint and LPA*: Combination of Approximation and Search
PDFFinding a Shortest Solution for the N x N Extension of the 15-PUZZLE Is Intractable
PDFMaking Best Use of Available Memory When Searching Game Trees
PDFAn Algorithmic Solution of N-Person Games
PDFChoosing Directions for Rules
PDF
Cognitive Modeling and Education
Editorial Comprehension in OpEd through Argument Units
PDFUniform Parsing and Inferencing for Learning
PDFMixing Binary and Continuous Connection Schemes for Knowledge Access
PDFCHEF: A Model of Case-Based Planning
PDFThe Structure-Mapping Engine
PDFSNePS Considered as a Fully Intensional Propositional Semantic Network
PDFA Quantitative Analysis of Analogy by Similarity
PDFHypotheticals as Heuristic Device
PDFCan a System Be Intelligent if It Never Gives a Damn?
PDFDebugging User Conceptions of Interpretation Processes
PDFImposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice Models
PDFIntelligent Tutoring Systems Based Upon Qualitative Model Evolutions
PDFAn Analysis of Tutorial Reasoning about Programming Bugs
PDF
Knowledge Representation
Constraint Propagation Algorithms for Temporal Reasoning
PDFWhat Can Machines Know? On the Epistemic Properties of Machines
PDFIs Belief Revision Harder Than You Thought?
PDFSelf-Reference, Knowledge, Belief, and Modality
PDFA Viewpoint Distinction in the Representation of Propositional Attitudes
PDFPointwise Circumscription: Preliminary Report
PDFThe Logic of Persistence
PDFA Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity
PDFChronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories
PDFPropagating Temporal Constraints for Scheduling
PDFA Representation for Temporal Sequence and Duration in Massively Parallel Networks: Exploiting Link Interactions
PDFA Representation for Collections of Temporal Intervals
PDFDefault Reasoning, Nonmonotonic Logics, and the Frame Problem
PDFTime Representation: A Taxonomy of Internal Relations
PDFPrimitives and Units for Time Specification
PDFOn the Parallel Complexity of Some Constraint Satisfaction Problems
PDFA Four-Valued Semantics for Frame-Based Description Languages
PDFOn the Logic of Probabilistic Dependencies
PDFInference in a Topically Organized Semantic Net
PDF
Natural Language
Are There Preference Trade-offs in Attachment Decisions?
PDFComprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring
PDFA Logical-Form and Knowledge-Base Design for Natural Language Generation
PDFUnderstanding Plan Ellipsis
PDFDynamically Combining Syntax and Semantics in Natural Language Processing
PDFDual Frames: A New Tool for Semantic Parsing
PDFA Neat Theory of Marker Passing
PDFUsing Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers
PDFBeyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing
PDF
Perception and Robotics
A Simple Motion Planning Algorithm for General Robot Manipulators
PDFTactile Recognition by Probing: Identifying a Polygon on a Plane
PDFAbstraction and Representation of Continuous Variables in Connectionist Networks
PDFSIMD Tree Algorithms for Image Correlation
PDFOn the Reconstruction of a Scene from Two Unregistered Images
PDFDepth and Flow From Motion Energy
PDFShape from Darkness: Deriving Surface Information from Dynamic Shadows
PDF3-D Motion Recovery from Time-Varying Optical Flows
PDFA Stochastic Approach to Stereo Vision
PDFDetermining the 3-D Motion of a Rigid Surface Patch without Correspondence, under Perspective Projection
PDFA Stereo Integral Equation
PDFParts: Structured Descriptions of Shape
PDFConstraint-Theorems on the Prototypification of Shape
PDFLinear Image Features in Stereopsis
PDFSignal Matching through Scale Space
PDF