ijcai 1985 论文列表Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985. |
Expert Systems: How Far Can They Go?
The US and Japan Cooperative AI Research and Development.
User Modelling.
Reasoning with Uncertainty for Expert Systems.
Raising the Standards of AI Products.
Judgement, Policy, and the Harmony Machine.
Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility.
Responsible Computers?
Fifth Generation Computer Crime Law.
Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons".
Computer Representation of the Law.
Artificial Intelligence and Legal Responsibility.
Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow.
AI and Legal Reasoning.
Understanding and Automating Algorithm Design.
Self-Knowledge and Self-Representation.
Building a Bridge Between AI and Robotics.
Discovery and Reasoning in Mathematics.
CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.
How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.
Designing Examples for Semantically Guided Hierarchical Deduction.
ASSIP-T: A Theorem-Proving Machine.
Path Resolution with Link Deletion.
Automated Deduction by Theory Resolution.
Parallel Processing of Resolution.
A Many-Sorted Resolution Based on an Extension of a First-Order Language.
On the Solution of Schubert's Steamroller in Many-Sorted Logic.
A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation.
The Management of Heuristic Search in Boolean Experiments with Rue Resolution.
An Equational Approach to Theorem Proving in First-Order Predicate Calculus.
A New Hyperparamodulation Strategy for the Equality Relation.
Object Recognition Using Vision and Touch.
A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras.
Stereo by Two-Level Dynamic Programming.
Spatial Object Perception from an Image.
Analysis of Uncertainties in a Structure of Parts.
Motor Knowledge Representation.
A Framework for Distributed Sensing and Control.
A Robot Planning Structure Using Production Rules.
A Proximity Metric for Continuum Path Planning.
First Results in Robot Road-Following.
Terrain Navigation Through Knowledge-based Route Planning.
The Complexity of Searching Several Classes of AND/OR Graphs.
A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness.
Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems.
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.
The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation.
Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain.
Temporal Reasoning Involving Counterfactuals and Disjunctions.
Temporal Scope of Assertions and Window Cutoff.
Deadlines, Travel Time, and Robot Problem Solving.
SPAN: Integrating Problem-Solving Tactics.
A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees.
Information Acquisition in Minimal Window Search.
A Weighted Technique in Heuristic Search.
Iterative-Deepening-A*: An Optimal Admissible Tree Search.
An Implementation of a Multi-Agent Plan Synchronizer.
Increasing Coherence in a Distributed Problem-Solving Network.
Nonlinear Planning: A Rigorous Reconstruction.
Splicing Plans to Achieve Misordered Goals.
The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks.
Refining and Extending the Procedural Net.
In Defense of Probability.
What Enables a Machine to Understand?
A New Sense for Depth of Field.
Spectral Continuity and Eye Vergence Movement.
Optical Navigation by the Method of Differences.
A Parallel Matching Algorithm for Stereo Vision.
Specular Stereo.
3-D Shape Representation by Contours.
Transformational Form Perception in 3D: Constraints, Algorithms, Implementation.
Determining Object Attitude from Extended Gaussian Images.
Visual Recognition from Spatial Correspondence and Perceptual Organization.
Analyzing Oriented Patterns.
One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry.
Shape and Source from Shading.
Shape from Texture.
Learning Shape Descriptions.
LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images.
Problem-solving Strategies in a Music Transcription System.
SIGMA: A Framework for Image Understanding - Integration of Bottom-Up and Top-Down Analysis.
Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous.
A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry.
Determining 3-D Motion of Planar Objects from Image Brightness Patterns.
Utilization of a Stripe Pattern for Dynamic Scene Analysis.
Coarse-to-Fine Control Strategy for Matching Motion Stereo Pairs.
Unique Recovery of Motion and Optic Flow via Lie Algebras.
Structure from Motion Without Correspondence: General Principle.
DP-matching: With or Without Phonemes?
Reversible Automata and Induction of the English Auxiliary System.
On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition.
New Approaches to Parsing Conjunctions Using Prolog.
A Parallel-Process Model of On-Line Inference Processing.
Researcher: An Experimental Intelligent Information System.
SAPHIR + RESEDA: A New Approach to Intelligent Data Base Access.
Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation.
Integrating Text Planning and Production in Generation.
Understanding Analogies in Editorials.
Evaluating Importance: A Step Towards Text Summarization.
Discourse Structure and the Proper Treatment of Interruptions.
Grammatical Functions, Discourse, Referents, and Quantification.
Partial Constraints in Chinese Analysis.
VOX - An Extensible Natural Language Processor.
Lexical Ambiguity as a Touchstone for Theories of Language Analysis.
Tense, Aspect, and Cognitive Representation of Time.
Description-directed Natural Language Generation.
Tailoring Explanations for the User.
The Role of Perspective in Responding to Property Misconceptions.
Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding.
Controlling Search in Flexible Parsing.
Syntax, Preference, and Right Attachment.
Weighted Interaction of Syntax and Semantics in Natural Language Analysis.
Parsing with Assertion Sets and Information Monotonicity.
Unrestricted Gapping Grammars.
An Efficient Context-Free Parsing Algorithm for Natural Languages.
A New Kind of Finite-State Automaton: Register Vector Grammar.
A Logic Programming and Verification System for Recursive Quantificational Logic.
Incorporating Generalization Heuristics into Verification of Prolog Programs.
A Predicate Connection Graph Based Logic with Flexible Control.
Prolog Extensions Based on Tableau Calculus.
Concurrency in Proof Normalization and Logic Programming.
A Logic Program Schema and Its Applications.
Prolog Control Rules.
Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming.
Interpreting Descriptions in a Prolog-based Knowledge Representation System.
Term Description: A Simple Powerful Extension to Prolog Data Structures.
Type Inference in Prolog and Its Application.
Prolog-ELF Incorporating Fuzzy Logic.
A Prototypical Approach to Machine Learning.
Approaches to Conceptual Clustering.
Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation.
Learning Schemata for Natural Language Processing.
Representation and Use of Explicit Justifications for Knowledge Base Refinements.
Training and Tracking in Robotics.
Learning about Momentum Conservation.
Learning Intermediate Concepts in Constructing a Hierarchical Knowledge Base.
Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search.
Automatically Inferring Database Schemas.
Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness.
Learning by Discovering Macros in Puzzle Solving.
Knowledge Acquisition for Constructive Systems.
Learning Concept Descriptions from Examples with Errors.
Generating Rules from Examples.
Learning Procedures from Examples and by Doing.
Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods.
Validating Concepts from Automated Acquisition Systems.
Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving.
Heuristics for Inductive Learning.
Learning Planning Heuristics through Observation.
Selectively Generalizing Plans for Problem-Solving.
Multi-Objective Learning via Genetic Algorithms.
Dynamic System Control Using Rule Learning and Genetic Algorithms.
The Utility of Expert Knowledge.
MORE: An Intelligent Knowledge Acquisition Tool.
LEAP: A Learning Apprentice for VLSI Design.
Learning Hidden Causes from Empirical Data.
Learning Disjunction of Conjunctions.
A Comparison of Analytic and Experimental Goal Regression for Machine Learning.
Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process.
The Restricted Language Architecture of a Hybrid Representation System.
The Layered Architecture of a System for Reasoning about Programs.
An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON.
A Common-Sense Theory of Time.
Event Calculus.
A Procedural Logic.
Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants.
A Model-Theoretic Analysis of Monotonic Knowledge.
A Computational Theory of Belief Introspection.
Belief, Awareness, and Limited Reasoning: Preliminary Report.
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft.
An Endorsement-based Plan Recognition Program.
Evidential Reasoning in Semantic Networks: A Formal Theory.
On the Descriptional Complexity of Production Systems.
Two Results on Default Logic.
A Decidable First-Order Logic for Knowledge Representation.
Understanding Behavior Using Consolidation.
ONYX: An Architecture for Planning in Uncertain Environments.
A Representation for Complex Physical Domains.
Naive Kinematics: One Aspect of Shape.
Granularity.
Control and Integration of Diverse Knowledge in a Diagnostic Expert System.
Fault Diagnosis Through Responsibility.
Flexible Data Fusion (and Fission).
Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems.
A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle.
An Expert Advisor for Photolithography.
Parsing Circuit Topology in a Deductive System.
Knowledge Representation in an Expert Storm Forecasting System.
Model Expert System MES.
RHINOS: A Consultation System for Diagnoses of Headache and Facial Pain.
A Case Study in Structured Knowledge Acquisition.
Explainable (and Maintainable) Expert Systems.
Neat Explanation of Proof Trees.
Checking an Expert Systems Knowledge Base for Consistency and Completeness.
SEEK2: A Generalized Approach to Automatic Knowledge Base Refinement.
Controlling Production Firing: The FCL Language.
COMODEL: A Language for the Representation of Technical Knowledge.
Representing Procedural Knowledge in Expert Systems: An Application to Process Control.
Transactional Blackboards.
An Architecture for Knowledge Based Deduction.
The Characteristic Error Approach to Conflict Resolution.
Predictor: An Alternative Approach to Uncertain Inference in Expert Systems.
Parallel Formulation of Evidential-Reasoning Theories.
Uncertainty Management in a Distributed Knowledge Based System.
Judgmental Reasoning for Expert Systems.
On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias.
Control Issues in Classificatory Diagnosis.
Empirical and Model-based Reasoning in Expert Systems.
Arguments of Persuasion in Labour Mediation.
Learning to Understand Contractual Situations.
A Process Model of Cased-Based Reasoning in Problem Solving.
A Short Note on Opportunistic Planning and Memory in Arguments.
Daydreaming in Humans and Computers.
What's in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions.
Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism.
Computational Neurolinguistics - What Is It All About?
Shape Recognition and Illusory Conjunctions.
The Teachable Letter Recognizer.
Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory.
Symbols Among the Neurons: Details of a Connectionist Inference Architecture.
Automatic Programming for Streams.
Symbolic Execution in Algorithm Design.
The Origin of the Binary-Search Paradigm.
A Heuristic Approach to Program Inversion.
Reasoning by Cases and the Formation of Conditional Programs.
Synthesis by Completion.
Automated Enhancement of Knowledge Representations.
Parallelism in Inheritance Hierarchies with Exceptions.
Taxonomic Reasoning.
An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge.
A Process Theory of Non-monotonic Inference.
Modal Propositional Semantics for Reason Maintenance Systems.
Evaluating Queries in Deductive Databases by Generating.
Automating Program Speedup by Deciding What to Cache.
Applying Adaptive Algorithms to Epistatic Domains.
EGS: A Transformational Approach to Automatic Example Generation.
Using Model Theory to Specify AI Programs.
On the Comparison of Theories: Preferring the Most Specific Explanation.
Combining Discrete and Continuous Process Models.
Qualitative Mathematical Reasoning.
The Limits of Qualitative Simulation.
Computing Circumscription.
Results on Translating Defaults to Circumscription.
Combination and Propagation of Uncertainty with Belief Functions - A Reexamination.
Does Probability Have a Place in Non-monotonic Reasoning?
A Functional Approach to Non-Monotonic Logic.
Deals Among Rational Agents.
Reasoned Assumptions and Pareto Optimality.
Counterfactuals.
Yes, An SIMD Machine Can Be Used for AI.
NON-VONs Applicability to Three AI Task Areas.
Recognition Algorithms for the Connection Machine.
Parallelism in AI Programs.
A Modular Tool Kit for Knowledge Management.
A Variable Supply Model for Distributing Deductions.
The Architecture of the FAIM-1 Symbolic Multiprocessing System.
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs.
Computer Assisted Reasoning with MIZAR.
An Expert System for Understanding Expressions from Electric Circuit Analysis.
Grammars as User Models.
Heuristic and Formal Methods in Automatic Program Debugging.
Dynamic Student Modelling in an Intelligent Tutor for LISP Programming.
The Geometry Tutor.