ijcai 1983 论文列表Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983. |
A Panel on AI and Databases.
Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income.
Panel on the Fifth Generation Project.
On Seeing Things, Again.
Natural-Language Processing: Crucible for Computational Theories of Cognition.
A Perspective on Automatic Programming.
The Origin, Form, and Logic of Qualitative Physical Laws.
AI, Where It Has Been and Where It Is Going.
Learning and Problem Solving.
Recognition of Occluded Objects.
A Learning Vision System for 2D Object Recognition.
Model Driven Visualization of Coronary Arteries.
Model-Guided Monitoring of a Building Environment by a Mobile Robot.
PVV: A Goal-Oriented System for Industrial Vision.
3DPO: A Three-Dimensional Part Orientation System.
Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in Language.
The 3D MOSAIC Scene Understanding System.
Environmental Labelings in Low-Level Image Understanding.
Detection of Buildings in Aerial Images Using Shape and Shadows.
An ATN Model for 3-D Recognition of Solids in Single Images.
Generating Models of Solid Objects by Matching 3D Surface Segments.
Image Compression and Filtering Using Pyramid Data Structures.
Advanced Hough Transform Implementations.
Using Multiple Information Sources in a Computational Vision System.
The Role of Constraints and Discontinuities in Visible-Surface Reconstruction.
Boundary Conditions in Multiple Intrinsic Images.
Global Optimization of a Consistent Labeling.
Three-Dimensional Shape From Line Drawings.
The Line of Curvature Constraint and the Interpretation of 3-D Shape From Parallel Surface Contours.
Is What You See What You Get?
Computing Convergence Angle From Random Dot Stereograms.
The Stereo Matching Problem From the Topological Viewpoint.
A Computational Framework for the Visual Correspondence Problem.
3-D Inference From the Motion Parallax of a Conic Arc and a Point in Two Perspective Views.
Estimating 3-0 Movement of a Rigid Object: Experimental Results.
Inferring Motion of Cylindrical Object From Shape Information.
Sensor Motion and Relative Depth From Difference Fields of Optic Flows.
What Is Perceptual Organization For?
Scale-Space Filtering.
Perceptual Organization and the Curve Partitioning Problem.
Machine Perception of Linear Structure.
Optimization Approaches to the Problem of Edge Linking With a Focus on Parallel Processing.
A 3-D Recognition and Positioning Algorithm Using Geometrical Matching Between Primitive Surfaces.
Using Surfaces and Object Models to Recognize Partially Obscured Objects.
Prism Trees: A Hierarchical Representation for 3-D Objects.
Fractal-Based Description.
An Extremum Principle for Shape From Contour.
A New Conceptually Attractive and Computationally Effective Approach to Shape From Shading.
Correspondence in Line Drawings of Multiple Views of Objects.
The Viewer's Place in Theories of Vision.
Constraints for the Estimation of Displacement Vector Fields From Image Sequences.
Associative-Commutative Rewriting.
Equality Reasoning in Clause Graphics.
Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus.
Trivializing the Proof of Trivial Theorems.
Temporal Reasoning and Termination of Programs.
A Superposition Oriented Theorem Prover.
Towards an Advanced Implementation of the Connection Method.
TERMINATOR.
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
Semantic Paramodulation for Horn Sets.
Using Examples to Generate Instantiations of Set Variables.
A Many-Sorted Calculus Based on Resolution and Paramodulation.
Negative Hyper-Resolution for Proving Statements Containing Transitive Relations.
Automated Reasoning: Real Uses and Potential Uses.
Demonizing Production Systems.
Large-Scale System Development in Several Lisp Environments.
STROBE: Support for Structured Object Knowledge Representation.
Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence.
Lisp-in-Lisp: High Performance and Portability.
Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot.
Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot.
Concurrent Programming of Intelligent Robots.
A Distributed Control System for the CMU Rover.
A Parallel Processor Algorithm for Robot Route Planning.
Knowledge Based Error Recovery in Industrial Robots.
Towards Automatic Error Recovery in Robot Programs.
A Framework for Handling Vision Data in an Object Level Robot Language - RAPT.
An Algorithm for Moving a Computer-Controlled Manipulator While Avoiding Obstacles.
A Subdivision Algorithm Configuration Space for Findpath With Rotation.
Resolving Observer Motion by Object Tracking.
Aepsilon - An Efficient Near Admissible Heuristic Search Algorithm.
Optimal Searches From AND and OR Nodes.
On A* as a Special Case of Ordered Search.
Characterizing Search Spaces.
A Result on the Computational Complexity of Heuristic Estimates for the A* Algorithm.
A Wrinkle on Satisficing Search Problems.
A Universal Weak Method: Summary of Results.
Strategies of Cooperation in Distributed Problem Solving.
Relative Efficiency of Alpha-Beta Implementations.
Searching to Variable Depth in Computer Chess.
The Statistical Inference Method in Heuristic Search Techniques.
The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network.
Planning Using a Temporal World Model.
Representation in a Domain-Independent Planner.
Why Good Writing Is Easier to Understand.
Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language.
Event Models for Recognition and Natural Language Description of Events in Real-World Image Sequences.
Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues.
Japanese Language Semantic Analyzer Based on an Extended Case Frame Model.
Narrative Complexity Based on Summarization Algorithms.
A Deterministic Parser With Broad Coverage.
A Deterministic Syntactic-Semantic Parser.
Word Formation in Natural Language Processing Systems.
Sentence Disambiguation by a Shift-Reduce Parsing Technique.
A Breadth-First Parsing Model.
A PROLOG Implementation of Lexical Functional Grammar.
An Object-Oriented Parser for Text Understanding.
A Modular Parser for French.
Two-Level Model for Morphological Analysis.
Activation-Based Parsing.
Articles and Resource Control.
Graph Grammar Approach to Natural Language Parsing and Understanding.
A Framework for Processing Corrections in Task-Oriented Dialogues.
Understanding Natural Language Through Parallel Processing of Syntactic and Semantic Knowledge: An Application to Data Base Query.
Q-TRANS: Query Translation Into English.
Towards a Computable Model of Meaning-Text Relations Within a Natural Sublanguage.
The XCALIBUR Project: A Natural Language Interface to Expert Systems.
Varieties of User Misconceptions: Detection and Correction.
Demand and Requirements for Natural Language Systems - Results of an Inquiry.
Over-Answering Yes-No Questions: Extended Responses in a NL Interface to a Vision System.
A Recognition Method of Connected Spoken Words With Syntactical Constraints by Augmented Continuous DP Algorithm.
Allophonic and Phonotactic Constraints Are Useful.
A System for Improving the Recognition of Fluently Spoken German Speech.
The FOPHO Speech Recognition Project.
Structural Relations - A Case Against Case.
Frame Activated Inferences in a Story Understanding Program.
Shifting Meaning Representations.
Impression Monitoring in Evaluation-Oriented Dialog - The Role of the Listener's Assumed Expectations and Values in the Generation of Informative Statements.
Generation of Japanese Sentences From Conceptual Representation.
Generation in a Natural Language Interface.
Some Issues in Generation From a Semantic Representation.
Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions.
An Indirect Approach to Types of Speech Acts.
TELEGRAM: A Grammar Formalism for Language Planning.
Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems.
Wolfgang Hoeppner Thomas Christaller Heinz Marburger Katharina Morik Bernhard Nebel Mike O'Leary Wolfgang Wahlster
Focus Constraints on Language Generation.
Transportability and Generality in a Natural-Language Interface System.
Formal Theories of Language Acquisition: Practical and Theoretical Perspectives.
Phrase Structure Grammars and Natural Languages.
Mechanization of an Oracle in a Debugging System.
Building Libraries in Prolog.
A Unification Algorithm for Infinite Trees.
PRISM: A Parallel Inference System for Problem Solving.
AND Parallelism in Logic Programs.
"Logal": Algorithmic Control Structures for Prolog.
Integrating Prolog Into the Poplog Environment.
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.
Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers.
Semantic Code Analysis.
Equality for Prolog.
Qute: A Prolog/Lisp Type Language for Logic Programming.
Completeness of the Negation as Failure Rule.
Prolog in Ten Figures.
Towards Knowledge Acquisition From Natural Language Documents - Automatic Model Construction From Hardware Manual.
Concept Formation From Very Large Training Sets.
Algorithms for Learning Logical Formulas.
An Appraisal of a Decision Tree Approach to Image Classification.
A Learning System Which Accommodates Feature Interactions.
Three Facets of Scientific Discovery.
Acquiring Schemata Through Understanding and Generalizing Plans.
Learning Word Meanings From Examples.
The Discovery of the Equator or Concept Driven Learning.
What's New? A Semantic Definition of Novelty.
Adjusting Bias in Concept Learning.
Admissible Hypotheses and Enhanced Learning.
Learning by Controlled Transference of Knowledge Between Domains.
A Pragmatic Knowledge Acquisition Methodology.
Knowledge Oriented Learning.
Learning Equation Solving Methods From Examples.
A Constrained Mechanism for Procedural Learning.
Flexible Learning of Problem Solving Heuristics Through Adaptive Search.
Learning Effective Search Heuristics.
Perturbation: A Means for Guiding Generalization.
Representation and Induction of Infinite Concepts and Recursive Action Sequences.
A Description and Reasoning of Plant Controllers in Temporal Logic.
Memory and Inference.
W-JS: A Modal Logic of Knowledge.
Descriptions as Constraints in Object-Oriented Representation.
Predicate Logic Involving Data Structure as a Knowledge Representation Language.
A Case Study of Knowledge Representation in UC.
An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems.
Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals.
A Deductive Model of Belief.
A Logical Model of Knowledge.
Reasoning in Multiple Belief Spaces.
Meta-Knowledge and Meta-Reasoning.
Simulating Non-Deductive Reasoning.
How to Represent Evidence - Aspects of Uncertain Reasoning.
A Framework for Heuristic Reasoning About Uncertainty.
General Approach to Nonmonotonic Logics.
The Ins and Outs of Reason Maintenance.
Representation of Temporal Knowledge.
Reasoning in Time and Space.
Integrating Logic Programs and Schemata.
A Formal Approach to the Semantics of a Frame Data Model.
KL-Conc: A Language for Interacting With SI-Nets.
Classification in the KL-ONE Knowledge Representation System.
Modelling and Manipulating Production Data Bases in Terms of Semantic Nets.
Semantic Networks as Abstract Data Types.
Measurement Interpretation in Qualitative Process Theory.
A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies.
Generalizing Problem Reduction: A Logical Analysis.
The Mercator Representation of Spatial Knowledge.
Permissions and Obligations.
Intensions as Such: An Outline.
Semantical Considerations on Nonmonotonic Logic.
Representation of Empirically Derived Causal Relationships.
Representation and Analysis of Electrical Circuits in a Deductive System.
An Expert System for Indications and Warning Analysis.
Integrating Multiple Knowledge Representations and Learning Capabilities in an Expert System: The ADVISE System.
Representation of Experts' Knowledge in a Subdomain of Chess Intelligence.
Artificial Intelligence and Macro-Economy, An Application.
The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods.
CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders.
Medical Plan-Analysis: The Attending System.
Recognition-Based Diagnostic Reasoning.
Decision-Making in Time-Critical Situations.
A Control Structure for Time Dependent Reasoning.
A Diagnosis Method of Dynamic System Using the Knowledge on System Description.
Structure Based Control Strategy.
CSRL: A Language for Expert Systems for Diagnosis.
HPRL: A Language for Building Expert Systems.
A Report on FOLIO: An Expert Assistant for Portfolio Managers.
Model-Based Probabilistic Reasoning for Electronics Troubleshooting.
Reasoning About Control: The Investigation of an Evidential Approach.
A Method of Computing Generalized Bayesian Probability Values for Expert Systems.
A Comparison of Uncertainty Calculi in an Expert System for Information Retrieval.
A Computational Model for Causal and Diagnostic Reasoning in Inference Systems.
Oil-Well Data Interpretation Using Expert System and Pattern Recognition Technique.
Detecting Ambiguity: An Example in Knowledge Evaluation.
Diagnosis of Multiple Faults in a Nationwide Communications Network.
Providing Help and Advice in Task Oriented Systems.
Expert System as an Intelligent Assistant for Computer Users.
Intelligent Assistants for Knowledge and Information Resources Management.
Knoesphere: Building Expert Systems With Encyclopedic Knowledge.
AI Research in China: A Review.
Techniques for Sensor-Based Diagnosis.
Procedural Expert Systems.
Extracting Useful Advice From Conflicting Expertise.
Consistency and Plausible Reasoning.
A Synthetic View of Approximate Reasoning Techniques.
The Dipmeter Advisor System - A Case Study in Commercial Expert System Development.
ACE: An Expert System for Telephone Cable Maintenance.
On the Requirements of Future Expert Systems.
Industrial Strength Knowledge Bases: Issues and Experiences - Knowledge Base Stability, Memory: Unitorm or Structured, Integrity, Knowledge Acquisition and the User Interface, Joint Knowledge Base Development, Intertaces to Databases (Panel).
Extracting Knowledge From Expert Systems.
Semi-Automated Analysis of Protocols From Novices and Experts Solving Physics Problems.
Modeling Cognitive Development on the Balance Scale Task.
Examples in Legal Reasoning: Legal Hypotheticals.
Artificial Intelligence in the Classroom.
Motives and Emotions in a General Learning System.
Logic Modelling of Cognitive Reasoning.
Planning Perlocutionary Acts.
Understanding Stories Through Morals and Remindings.
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments.
Dynamic World Simulation for Planning With Multiple Agents.
Shifting the Focus of Attention: The Way Agatha Christie Leads You On.
Creating a Story-Telling Universe.
Learning to Program.
How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert Physician.
Under What Conditions Can a Machine Attribute Meanings to Symbols.
Program Transtormations for VLSI.
Automatic Programming From Data Types Decomposition Patterns.
A Problem Reduction Approach to Program Synthesis.
Diagnostic Reasoning in Software Fault Localization.
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.
Manipulating Descriptions of Programs for Database Access.
Symbolic Execution of the Gist Specification Language.
Theory of Linear Equations Applied to Program Transformation.
Automatic Programming Using Abstract Data Types.