ijcai 1987 论文列表Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 23-28, 1987. |
Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks.
On the Thresholds of Knowledge.
The New Grammar Formalisms - A Tutorial Survey (Abstract).
Artificial 3D Vision.
Some Challenges for Intelligent Tutoring Systems.
The Commercialization of AI: Part 1. The User Viewpoint (Panel).
Pointing, Language and the Visual World: Towards Multimodal Input and Output for Natural Language Dialog Systems (Panel).
Parallel Inference Machines (Panel).
A Parallel Blackboard System for Robot Control.
Grasp Planning from Human Prehension.
Locating Polyhedral Objects from Edge Point Data.
Object Identification from Parallel Light Stripes.
TINA: The Sheffeild AIVRU Vision System.
The Mixed Approach for Motion Planning: Learning Global Strategies from a Local Planner.
Visual Path Planning by a Mobile Robot.
Creature Design with the Subsumption Architecture.
Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile Robot.
Computational Complexity of Hypothesis Assembly.
An Improved Constraint-Propagation Algorithm for Diagnosis.
The Generation of Explanations within Evidential Reasoning Systems.
Explicit Integration of Goals in Heuristic Algorithm Design.
Towards Continuous Process Supervision.
Taming Intractible Branching in Qualitative Simulation.
Generate, Test and Debug: Combining Associational Rules and Causal Models.
Path Planning Through Time and Space in Dynamic Domains.
A Probabilistic Framework for Resource-Constrained Multi-Agent Planning.
The Pipelining Transformation on Plans for Manufacturing Cells with Robots.
Contingency Planning for an Autonomous Land Vehicle.
Universal Plans for Reactive Robots in Unpredictable Environments.
An Investigation of Opportunistic Constraint Satisfaction in Space Planning.
Controlling Constraint Propagation.
Goal Conflict Concerns.
Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving.
Combining Bodies of Dependent Information.
Preserving Consistency Across Abstraction Mappings.
The Abstraction/Implementation Model of Problem Reformulation.
Domain Abstraction and Limited Reasoning.
Constructive Second-Order Proofs in Logical Databases.
Complete Inference Rules for the Cancellation Laws.
An Incremental Theorem Prover.
Theorem Proving Under Uncertainty - A Possibility Theory-based Approach.
Short Time Periods.
An Algebraic Foundation for Truth Maintenance.
Formal Theories of Action (Preliminary Report).
Comparative Analysis.
Optimizing Backtrack Search for all Solutions to Conjunctive Problems.
A Quantitative Analysis of Minimal Window Search.
Performance Evaluation of the Inference Structure in Expert System.
A General Proof Method for First-Order Modal Logic.
Foundations of Probabilistic Logic.
Inductive Inference on the Base of Fixed Point Theory.
Epistemic Logics, Probability, and the Calculus of Evidence.
Matrix Proof Methods for Modal Logics.
Intended Models, Circumscription and Commonsense Reasoning.
Variables in Hypotheses.
Objective Probabilities.
Reasoning with Consistent Probabilities.
RUM: A Layered Architecture for Reasoning with Uncertainty.
Dominance and Subsumption in Constraint-Posting Planning.
Using Partial Global Plans to Coordinate Distributed Problem Solvers.
Knowledge Preconditions for Actions and Plans.
Large-Scale Temporal Data Bases for Planning in Complex Domains.
An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge Base.
Learning Phonetic Features Using Connectionist Networks.
Knowledge Utilization in Handwritten Zip Code Recognition.
A Multi-Level Perception Approach to Reading Cursive Script.
Use of Procedural Knowledge for Automatic Speech Recognition.
On Multi-Level Machines for Continuous Speech Recognition.
Stereo Matching by Hierarchical, Microcanonical Annealing.
Significant Feature Detection and Matching in Image Pairs.
Trinocular Stereovision: Recent Results.
Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image Sequences.
Qualitative Motion Understanding.
A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence, for Robotics Applications.
A Goal-Directed Intermediate Level Executive for Image Interpretation.
Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views.
Model Invocation for Three Dimensional Scene Understanding.
What is a 'Degenerate' View?
Determining Cylindrical Shape from Contour and Shading.
Coordination of Action and Perception in a Surveillance Robot.
Automatic Programming of Machine Vision Systems.
Exploiting 2D Topology in Labeling Polyhedral Images.
Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing Understanding.
Probabilistic Information Fusion for Multi-Modal Image Segmentation.
From Early Processing to Conceptual Reasoning: An Attempt to Fill the Gap.
Process Recovery.
A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological Zodiac.
Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction Hierarchies.
Color Algorithms for a General Vision System.
From [R, G, B] to Surface Reflectance: Computing Color Constant Descriptors in Images.
The Use of Color in Highlight Identification.
Feature Selection in Colour Images for Token Matching.
An Optimal Scale for Edge Detection.
Image Reconstruction from Zero-Crossings.
Combining Sources of Information in Vision I. Computing Shape from Shading and Motion.
Recovering Three Dimensional Shape from a Single Image of Curved Objects.
Recovering Surface Shape from Boundary.
Representing Space for Practical Reasoning.
Direct Memory Access Translation.
The Universal Parser Architecture for Knowledge-based Machine Translation.
Interactive Vocabulary Acquisition in XTRA.
A Semantic Expert Using an Online Standard Dictionary.
A Formalism and Environment for the Development of a Large Grammar of English.
Blackboard-based Dependency Parsing.
Naive Mechanics Comprehension and Invention in EDISON.
An Equipment Model and its Role in the Interpretation of Noun Phrases.
Understanding System Specifications Written in Natural Language.
Building Natural Language Interfaces for Rule-based Expert Systems.
Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis.
A Knowledge Framework for Natural Language Analysis.
A Parsing System Based on Logic Programming.
Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation.
Incremental Interpretation and Combinatory Categorial Grammar.
A Framework for Incremental Syntactic Tree Formation.
Representation and Interpretation of Determiners in Natural Language.
A Computational Model of Referring.
Intonation and the Intentional Structure of Discourse.
Discourse Consistency and Many-Sorted Logic.
Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum.
Modified Caseframe Parsing for Speech Understanding Systems.
The Preliminary Results of a Mandarin Dictation Machine Based Upon Chinese Natural Language Analysis.
Parallel Parsing for Unification Grammars.
A Microfeature-based Scheme for Modelling Semantics.
Feedback as a Coindexing Mechanism in Connectionist Architectures.
GLIMPSE - A Statistical Adventure.
An Integration Tool for Life-Cycle Engineering.
A Multi-Attribute Approach to Knowledge Representation for Loan Granting.
Deduction-based Region-Use Planning.
Planning and Executing Office Procedures in Project ASPERA.
Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer.
Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment.
What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems.
Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics.
Graphical Deep Knowledge for Intelligent Machine Drafting.
Drastic Cut of Man's Work in Reliability Studies by Using an Expert System.
Performance in Practical Problem Solving.
Repair Strategies in a Diagnostic Expert System.
DANTES: An Expert System for Real-Time Network Troubleshooting.
Hardware Diagnosis as Program Debugging.
Local Pragmatics.
Inference without Chaining.
Program Understanding with the Lambda Calculus.
On Definitional Processes in Knowledge Reconstruction Systems.
Belief Functions for Real-Time Script Processing.
Proving Facts about "|".
A Semantics for Default Logic.
Relating Default Logic and Circumscription.
The Logic of Inheritance in Frame Systems.
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.
Temporal Event Conceptualization.
A Representation Framework for Continuous Dynamic Systems.
The Completeness of a Natural System for Reasoning with Time Intervals.
Time Structures for AI.
Non-Standard Semantics for the Method of Temporal Arguments.
Commonsense Reasoning with Verbs.
Qualitative Reasoning in Electronic Fault Diagnosis.
Qualitative Kinematics in Mechanisms.
Qualitative Kinematics: A Framework.
A Logic for Representing Default and Prototypical Properties.
The Relevance of Irrelevance.
The Logic of Occurrence.
Tractable Meta-Reasoning in Propositional Logics of Belief.
On the Relation Between Default Theories and Autoepistemic Logic.
Nonmonotonic Logics: Meaning and Utility.
Network Regions: Alternatives to the Winner-Take-All Structure.
Uncertainty and Probability.
MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings.
Development of an Expert System for Diagnosing Problems on a Paper Machine.
SIS: A Shell for Interview Systems.
From Application Shell to Knowledge Acquisition System.
Noise and Knowledge Acquisition.
CHARADE: A Rule System Learning System.
Machine Learning for Software Reuse.
Learning General Search Control from Outside Guidance.
Combining Weak Learning Heuristics in General Problem Solvers.
CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design.
Network Learning on the Connection Machine.
A Formal Approach to Learning From Examples.
Layered Concept-Learning and Dynamically Variable Bias Management.
Generating Production Rules from Decision Trees.
Hypercuboid-Formation Behaviour of Two Learning Algorithms.
Multiple Convergence: An Approach to Disjunctive Concept Acquisition.
Guiding Constructive Induction for Incremental Learning from Examples.
Duce, An Oracle-based Approach to Constructive Induction.
Inductive Inference of Context-free Languages - Context-free Expression Method.
Learning in the Limit in a Growing Language.
Using Prior Learning to Facilitate the Learning of New Causal Theories.
The Use of Explanations for Similarity-based Learning.
DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields.
A Logical Approach to Reasoning by Analogy.
An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning.
Learning Strategies by Reasoning about Rules.
Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures.
On the Operationality/Generality Trade-off in Explanation-based Learning.
Approximation in Mathematical Domains.
An Explanation-based Approach to Generalizing Number.
Strategies for Learning Search Control Rules: An Explanation-based Approach.
Explanation-based Generalization in a Logic-Programming Environment.
Hierarchical Credit Allocation in a Classifier System.
Pattern Clustering: An Artificial Intelligence Approach.
Concepts in Conceptual Clustering.
Non-Cumulative Learning in METAXA.3.
The Classification, Detection and Handling of Imperfect Theory Problems.
Knowledge-based Knowledge Elicitation.
Towards an Integrated Discovery System.
On the Discovery of Mathematical Theorems.
A Framework for Representing Tutorial Discourse.
Implementing a Model of Human Plausible Reasoning.
A Critic for LISP.
Intelligent Case Selection and Presentation.
A Shell for Intelligent Help Systems.
How Can a Program Mean?
Spontaneous Retrieval in a Conceptual Information System.
Marker-Passing and Microfeatures.
A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule.
A Representation for Natural Category Systems.
Understanding New Metaphors.
Learning Idioms - With and Without Explanation.
Language Acquisition: Learning a Hierarchy of Phrases.
Multiple Agents and the Heuristic Ascription of Belief.
An Analysis of Psychological Experiments on Non-Monotonic Reasoning.
Explaining and Repairing Plans that Fail.
Surprisingness and Expectation Failure: What's the Difference?
Knowledge Engineering Tools at the Architecture Level.
X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces.
A Tool for Building Second Generation Expert Systems.
A Logic-based Architecture for Knowledge Management.
Graphical Debugging with the Transparent PROLOG Machine (TPM).
Amalgamating Multiple Programming Paradigms in PROLOG.
Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG.
A Distributed Approach for Inferring Production Systems.
Parallelism in LISP.
A Parallel Logic Programming Language for PEPSys.
Reflection as a Tool for Integration: An Exercise in Procedural Introspection.
A Uniform Model for Object-Oriented Languages Using the Class Abstraction.
Extending Logic Programming to Object Programming: The System Lap.
Constraints in a Hybrid Knowledge Representation System.
A Network of Communicating Logic Programs and Its Semantics.
An Environment Model for the Integration of Logic and Functional Programming.
PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming.
Logic Program Derivation for a Class of First Order Logic Relations.
A Theoretical Framework for Consistency Techniques in Logic Programming.