Science
Automated Reasoning
Automatic Programming
Learning
Quantifying the Inductive Bias in Concept Learning (extended abstract)
PDFA Case Study of Incremental Concept Induction
PDFBeyond Incremental Processing: Tracking Concept Drift
PDFConceptual Clustering Using Relational Information
PDFGenerating Predictions to Aid the Scientific Discovery Process
PDFFactorization in Experiment Generation
PDFA Case-Based Reasoning System for Subjective Assessment
PDFSTAHLp: Belief Revision in Scientific Discovery
PDFNot the Path to Perdition: The Utility of Similarity-Based Learning
PDFConstructing and Refining Causal Explanations from an Inconsistent Domain Theory
PDFThe Role of Prior Causal Theories in Generalization
PDFA Domain Independent Explanation-Based Generalizer
PDFLearning to Anticipate and Avoid Planning Problems through the Explanation of Failures
PDFMapping Explanation-Based Generalization onto Soar
PDFLearning by Failing to Explain
PDFA Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems
PDFRule Refinement Using the Probabilistic Rule Generator
PDFOn Debugging Rule Sets When Reasoning Under Uncertainty
PDFDiscovering Functional Formulas through Changing Representation Base
PDFSelecting Appropriate Representations for Learning from Examples
PDFOptimal Allocation of Very Limited Search Resources
PDFInductive Inference by Refinement
PDFPreliminary Steps Toward the Automation of Induction
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
A Unified Theory of Heuristic Evaluation Functions and its Application to Learning
PDFChoosing Directions for Rules
PDFAn Algorithmic Solution of N-Person Games
PDFMaking Best Use of Available Memory When Searching Game Trees
PDFFinding a Shortest Solution for the N x N Extension of the 15-PUZZLE Is Intractable
PDFJoint and LPA*: Combination of Approximation and Search
PDFLearning While Searching in Constraint-Satisfaction-Problems
PDFQuery Answering in Circumscriptive and Closed-World Theories
PDFIndefinite and GCWA Inference in Indefinite Deductive Databases
PDFAn Integration of Resolution and Natural Deduction Theorem Proving
PDFParallel Logical Inference and Energy Minimization
PDFA Framework for Comparing Alternative Formalisms for Plausible Reasoning
PDFUsing Decision Theory to Justify Heuristics
PDFCausal and Plausible Reasoning in Expert Systems
PDFAdvances in Rete Pattern Matching
PDFBayesian Inference without Point Estimates
PDFImplementation of and Experiments with a Variable Precision Logic Inference System
PDFMulti-Valued Logics
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
A Representation for Collections of Temporal Intervals
PDFA Representation for Temporal Sequence and Duration in Massively Parallel Networks: Exploiting Link Interactions
PDFConstraint Propagation Algorithms for Temporal Reasoning
PDFPropagating Temporal Constraints for Scheduling
PDFChronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories
PDFA Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity
PDFThe Logic of Persistence
PDFPointwise Circumscription: Preliminary Report
PDFA Viewpoint Distinction in the Representation of Propositional Attitudes
PDFSelf-Reference, Knowledge, Belief, and Modality
PDFIs Belief Revision Harder Than You Thought?
PDFWhat Can Machines Know? On the Epistemic Properties of Machines
PDFDefault Reasoning, Nonmonotonic Logics, and the Frame Problem
PDFInference in a Topically Organized Semantic Net
PDFOn the Logic of Probabilistic Dependencies
PDFA Four-Valued Semantics for Frame-Based Description Languages
PDFOn the Parallel Complexity of Some Constraint Satisfaction Problems
PDFPrimitives and Units for Time Specification
PDFTime Representation: A Taxonomy of Internal Relations
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