ijcai 1975 论文列表Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975. |
Levels Of Decision Making And Certain Problems Of Artificial Intellect.
Philosophical And Psychological Problems Of Artificial Intelligence.
Problem Structure And Problem Solving Behavior.
Neuronal Mechanisms Of Determination The Direction Upon The Sound Source.
Semantic Language And The Problem Of Goal Formation Modelling in Human Thinking.
Experimental Studies Of Human Decision-Making And Its Simulation By Situation Control Technique.
Artificial Intelligence And Aesthetics.
An Organization For A Dictionary of Senses.
Affect As Motivation For Cognitive And Conative Processes.
Constructive Visual Imagery And Perception.
A Model Of Human Cognitive Behavior in Writing Code For Computer Programs.
Simulation Of Functions Of Composer and Musicologist On Electronic Computer.
Natural Language Access To A Large Data Base: An Engineering Approach.
The Use Of Informal Calculus in Problems Of Artificial Intellect.
The Role Of Hypothesis in Medical Diagnosis.
DIALOG: A Model Of Diagnostic Logic For Internal Medicine.
Knowledge Based English Language Systems For Management Support: An Analysis Of Requirements.
Progress On A Computer Based Consultant.
"QUESTION-ANSWER" - A Multipurpose Information System.
A Machine Vision For Complex Industrial Parts With Learning Capability.
Recognition Of An Object in A Stack Of Industrial Parts.
Scene Segmentation By Velocity Measurements Obtained With A Cross-Shaped Template.
Perceptive Robot Moving in 3D World.
Walking Robot: A Non-Deterministic Model Of Control.
Problems of Selecting A Galt For An Integrated Locomotion Robot.
Heuristics In The Alloy Designing.
Control Of A PCB Drilling Machine By Visual Feedback.
Some Aspects Of Sensory Instrumentation For Robots And Manipulators.
A "Hand-Eye" Robot-Simulating System.
An Overview Of AL, A Programming System For Automation.
Decision Analysis For An Experimental Robot With Unreliable Sensors.
Visual Understanding Of Hybrid Circuits Via Procedural Models.
Acquisition Of Moving Objects And Hand-Eye Coordination.
Walking Control And Dynamics Of A Systems With Two Legs.
Transport Robot With Network Control System.
Active Semantic Networks In Robots With Independant Control.
General Purpose Models: Expectations About The Unexpected.
Identification Of Bodies in A Contour Image Of A Three-Dimensional Scene.
Analysis Of Three-Dimensional Scene Images On The Knowledge Of Their Texture Features.
Boundary And Object Detection In Real World Images.
Automatic Detection Of Rib Contours in Chest Radiographs.
A Region-Analysis Subsystem For Interactive Scene Analysis.
Edge Finding, Segmentation Of Edges And Recognition Of Complex Objects.
Methods For Analyzing Three Dimensional Scenes.
Forming Models Of Plane-And-Cylinder Faceled Bodies From Light Stripes.
Isolating And Identifying Objects In Line Drawings.
A Simplified And Fast Version Of The Huockel Operator For Finding Optimal Edges in Pictures.
On A Possible Mechanism Of Binocular Fusion.
The Textural Analysis.
Color Picture Processing By Computer.
A Program For Geometrical Pattern Recognition Based On The Linguistic Method Of The Description And Analysis Of Geometrical Structures.
Direction Coding Method And Its Application To Scene Analysis.
An Hypothesis-Driven Vision System.
Structured Robotics.
An Interpreter For The Programming Languages Predicate Logic.
An English-Like Language For Qualitative Scientific Knowledge.
Ideas About Management Of LISP Data Bases.
A Database For A.I..
Planner-BESM-6 Systems Implementation Methods.
The Description And Control Of Changing Pictures..
On The Storage Economy Of Error-Tolerating Question-Answering Systems.
MAGMA-LISP: A "Machine Language" For Artificial Intelligence.
The 2 PAK Language: Goals And Descriptions.
A Control Structure For A Question-Answering System.
Some Considerations Concerning The Problem Base Of Purposeful Systems.
Deadlock-Free Parallel Processing.
Problem Solving Approach In Data Management.
The Application Of Artificial Intelligence Of Data Base Management.
LORD: LISP-Oriented Resolver And Data Base.
Feature Extraction And Sentence Recognition Algorithm In Speech Input System.
The Vocal Speech Understanding System.
Time-Domain, Digital Segmentation Of Connected Natural Speech.
A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge.
Microphonemes As Fundamental Segments Of Speech Wave Primary Segmentation - Automatic Searching For Microphonemes.
A Speech Understanding System With Learning Capability.
Pragmatics In Speech Understanding.
A Speech Understanding System Based Upon A Co-Routine Parser.
On The System Of Concepts Relations And Outline Of The Natural Language System.
Negation And Focus in Man - Machine Communication.
Answering Process Questions.
Generating Hierarchical Semantic Networks Froma Natural Language Discourse.
LINGOL-A Progress Report.
TORUS - A Natural Language Understanding System For Data Management.
An Adaptive Natural Language System That Listens, Asks, And Learns.
Preliminary Report On A Program For Generating Natural Langugage.
TULIPS - Teachable, Understanding Natural Language Input Problem-Solver.
A Student-Oriented Natural Language Environment For Learning LISP.
RITA - An Experimental Man-Computer System On A Natural Language Basis.
Picnics, Kittens And Wigs: Using Scenarios For The Sentence Competition Task.
Toward A Multiple Environments Model Of Natural Language.
BRIBIP: A Bridge Bidding Program.
A Collective Of Algorithms.
Predicting The Length Of Solutions To Problems.
Method For The Best Solutions Search in Multiobjective Decision Problems.
Automated Hypothesis Generation Using Extended Inductive Resolution.
Form Dynamic Programming To Search Algorithms With Functional Costs.
A Problem Reduction Model for Non-Independent Subproblems.
The Heuristic Search And The Game Of Chess - A Study Of Quiescene, Sacrifices, And Plan Oriented Play.
About The Solution Of Combinatorical Problems With Problem Solving Methods.
The Influence Of Nonuniformity in The Models Of Automate Collective Behaviour.
Knowledge And Its Use In A Program For Going From One Place To Another.
An Improved Di-Directional Heuristic Search Algorithm.
On the Structure Of An Important Class Of Exhaustive Problems And On Ways Of Search Reduction For Them.
Adaptive Production Systems.
Knowledge and Reasoning in Program Synthesis.
Induction of Concepts in the Predicate Calculus.
Inductive Inference Theory - A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence.
Automatic Program Synthesis from Example Problems.
Inferring LISP Programs From Examples.
Some Principles Of Artificial Learning That Have Emerged From Examples.
An Automatically Compilable Recognition Network For Structured Patterns.
Synthesis Of LISP Functions From Examples.
Some Rules For The Automatic Synthesis Of Programs.
A Basis For The Acquisition Of Procedures From Protocols.
Application of Methods of Adaptive Learning to the Problem of Automatic Decision Making Under Conditions of a Priori Uncertainty.
Empirical Prediction Algorithm.
Interacting Goals And Their Use.
The Nonlinear Nature of Plans.
Planning The Activity Of Robot With Artificial Intelligence.
How To Use What You Know.
A Representation For Robot Plans.
Bargaining Between Goals.
Planning And Execution in Incompletely Specified Environments.
Association Memory Model Using The Notion Of "Importance".
Extending The Expressive Power Of Semantic Networks.
Scripts, Plans and Knowledge.
Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context.
Semantic Networks and the Generation of Context.
BEINGS: Knowledge as Interacting Experts.
Some Thoughts about Representing Knowledge in Instructional Systems.
Expanding the Utility of Semantic Networks Through Partitioning.
The Representation of Concepts in OWL.
Deductive Retrieval Mechanisms for State Description Models.
A Partial Taxonomy of Knowledge about Actions.
Toward a State Based Conceptual Representation.
An Extension of Unification to Substitution with an Application to Automatic Theorem Proving.
A Complete Unification Algorithm for Associative-Commutative Functions.
Semiotic Models in Artificial Intelligence Problems.
Gentzen-Type Formel System Representing Properties of Function and its Implementation.
A Note on Deduction Rules with Negative Premises.
Semantic Resolution for Horn Sets.
Definition Theory as Basis for a Creative Problem Solver.
Commenting Proofs.
On Methods To Decide Solvability of Transformation Problems.
Analysing Mathematical Proofs (Or Reading Between the Lines).
A New Mehtod for Proving Certain Presburger Formules.
On the Role of Mathematical Language Concept in the Theory of Intelligent Systems.
Checking Proofs in the Metamathematics of First Order Logic.