4. IJCAI 1975:
Tbilisi, Georgia, USSR Mathematical and Theoretical Aspects of A.I.
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
W. W. Bledsoe :
A New Mehtod for Proving Certain Presburger Formules.
15-21
export record as
dblp key:
Alan Bundy :
Analysing Mathematical Proofs (Or Reading Between the Lines).
22-28
export record as
dblp key:
P. Florath :
On Methods To Decide Solvability of Transformation Problems.
29-33
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ivan Kramosil :
A Note on Deduction Rules with Negative Premises.
53-56
export record as
dblp key:
conf/ijcai/NishimuraNNI75 export record as
dblp key:
D. Poepolov :
Semiotic Models in Artificial Intelligence Problems.
65-70
export record as
dblp key:
Mark E. Stickel :
A Complete Unification Algorithm for Associative-Commutative Functions.
71-76
export record as
dblp key:
J. van Vaalen :
An Extension of Unification to Substitution with an Application to Automatic Theorem Proving.
77-82
Representation of Problems and Knowledge
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Richard Fikes :
Deductive Retrieval Mechanisms for State Description Models.
99-106
export record as
dblp key:
L. Hawkinson :
The Representation of Concepts in OWL.
107-114
export record as
dblp key:
Gary G. Hendrix :
Expanding the Utility of Semantic Networks Through Partitioning.
115-121
export record as
dblp key:
Joachim Laubsch :
Some Thoughts about Representing Knowledge in Instructional Systems.
122-125
export record as
dblp key:
export record as
dblp key:
conf/ijcai/MylopoulosCBS75 export record as
dblp key:
Charles J. Rieger III :
Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context.
143-150
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
M. Weinzweig :
Association Memory Model Using The Notion Of "Importance".
165-
Planning And Problem Solving
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Learning, Debugging, And Automatic Programming
export record as
dblp key:
V. Akhutin ,
M. Ioffe ,
G. Kotler ,
A. Rats :
Application of Methods of Adaptive Learning to the Problem of Automatic Decision Making Under Conditions of a Priori Uncertainty.
223-225
export record as
dblp key:
M. Bauer :
A Basis For The Acquisition Of Procedures From Protocols.
226-231
export record as
dblp key:
export record as
dblp key:
Steve Hardy :
Synthesis Of LISP Functions From Examples.
240-245
export record as
dblp key:
export record as
dblp key:
J. Knapman :
Some Principles Of Artificial Learning That Have Emerged From Examples.
253-259
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
R. Solomonott :
Inductive Inference Theory - A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence.
274-280
export record as
dblp key:
S. Vera :
Induction of Concepts in the Predicate Calculus.
281-287
export record as
dblp key:
export record as
dblp key:
Search Techniques
export record as
dblp key:
conf/ijcai/Adelson-VelskiyAD75 export record as
dblp key:
export record as
dblp key:
Teiji Furugori :
Knowledge And Its Use In A Program For Going From One Place To Another.
315-320
export record as
dblp key:
conf/ijcai/Goeze-RapoporiZP75 export record as
dblp key:
export record as
dblp key:
Larry R. Harris :
The Heuristic Search And The Game Of Chess - A Study Of Quiescene, Sacrifices, And Plan Oriented Play.
334-339
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Charles G. Morgan :
Automated Hypothesis Generation Using Extended Inductive Resolution.
351-356
export record as
dblp key:
V. Ozernoi ,
M. Gaft :
Method For The Best Solutions Search in Multiobjective Decision Problems.
357-362
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Natural Language Unterstanding
export record as
dblp key:
J. Bian :
Toward A Multiple Environments Model Of Natural Language.
379-382
export record as
dblp key:
C. Bullwinkle :
Picnics, Kittens And Wigs: Using Scenarios For The Sentence Competition Task.
383-386
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael G. Malkovsky :
TULIPS - Teachable, Understanding Natural Language Input Problem-Solver.
397-400
export record as
dblp key:
D. McDonald :
Preliminary Report On A Program For Generating Natural Langugage.
401-405
export record as
dblp key:
Perry Lowell Miller :
An Adaptive Natural Language System That Listens, Asks, And Learns.
406-413
export record as
dblp key:
John Mylopoulos :
TORUS - A Natural Language Understanding System For Data Management.
414-421
export record as
dblp key:
V. Prati :
LINGOL-A Progress Report.
422-428
export record as
dblp key:
Camilla Schwind :
Generating Hierarchical Semantic Networks Froma Natural Language Discourse.
429-435
export record as
dblp key:
G. Scragg :
Answering Process Questions.
435-442
export record as
dblp key:
export record as
dblp key:
S. Yoshida :
On The System Of Concepts Relations And Outline Of The Natural Language System.
449-454
Speech Understanding
export record as
dblp key:
J. Allen :
A Speech Understanding System Based Upon A Co-Routine Parser.
455-460
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/Dziurnikowski75 A. Dziurnikowski :
Microphonemes As Fundamental Segments Of Speech Wave Primary Segmentation - Automatic Searching For Microphonemes.
476-482
export record as
dblp key:
Lee D. Erman ,
Victor R. Lesser :
A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge.
483-490
export record as
dblp key:
W. Hoss :
Time-Domain, Digital Segmentation Of Connected Natural Speech.
491-498
export record as
dblp key:
export record as
dblp key:
Yoshiaki Shirai :
Feature Extraction And Sentence Recognition Algorithm In Speech Input System.
506-
A. I. Software
export record as
dblp key:
export record as
dblp key:
R. Gerrilsan :
The Application Of Artificial Intelligence Of Data Base Management.
521-527
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
V. Lozovsky :
Some Considerations Concerning The Problem Base Of Purposeful Systems.
538-541
export record as
dblp key:
P. Madama :
A Control Structure For A Question-Answering System.
542-548
export record as
dblp key:
L. Melli :
The 2 PAK Language: Goals And Descriptions.
549-555
export record as
dblp key:
conf/ijcai/MontangeroPT75 export record as
dblp key:
Judea Pearl :
On The Storage Economy Of Error-Tolerating Question-Answering Systems.
562-568
export record as
dblp key:
G. Pfinter :
The Description And Control Of Changing Pictures..
569-574
export record as
dblp key:
V. Pilshikov :
Planner-BESM-6 Systems Implementation Methods.
575-578
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Douglas R. Skuce :
An English-Like Language For Qualitative Scientific Knowledge.
593-600
export record as
dblp key:
Sten-Åke Tärnlund :
An Interpreter For The Programming Languages Predicate Logic.
601-608
export record as
dblp key:
Visual Information Processing
export record as
dblp key:
M. Dunlavay :
An Hypothesis-Driven Vision System.
616-619
export record as
dblp key:
export record as
dblp key:
V. Gallo :
A Program For Geometrical Pattern Recognition Based On The Linguistic Method Of The Description And Analysis Of Geometrical Structures.
628-634
export record as
dblp key:
T. Ito :
Color Picture Processing By Computer.
635
export record as
dblp key:
export record as
dblp key:
O. Levashov :
On A Possible Mechanism Of Binocular Fusion.
647-649
export record as
dblp key:
László Méro ,
Z. Vassy :
A Simplified And Fast Version Of The Huockel Operator For Finding Optimal Edges in Pictures.
650-655
export record as
dblp key:
export record as
dblp key:
conf/ijcai/PopplestoneBAC75 export record as
dblp key:
export record as
dblp key:
Y. Shirai :
Edge Finding, Segmentation Of Edges And Recognition Of Complex Objects.
674-681
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
N. Zavalishin :
Identification Of Bodies in A Contour Image Of A Three-Dimensional Scene.
710-715
export record as
dblp key:
Robots And Productivity Technology
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
H. Chien ,
V. Jones :
Acquisition Of Moving Objects And Hand-Eye Coordination.
737-741
export record as
dblp key:
R. Chien ,
W. Snyder :
Visual Understanding Of Hybrid Circuits Via Procedural Models.
742-748
export record as
dblp key:
I. Coles :
Decision Analysis For An Experimental Robot With Unreliable Sensors.
749-757
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/GurfinkelSGKF75 export record as
dblp key:
J. Hale ,
P. Saraga :
Control Of A PCB Drilling Machine By Visual Feedback.
775-781
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/NarinyaniPKD75 export record as
dblp key:
conf/ijcai/OkhotsimskyP75 export record as
dblp key:
J. Potter :
Scene Segmentation By Velocity Measurements Obtained With A Cross-Shaped Template.
803-810
export record as
dblp key:
export record as
dblp key:
Miscellanous Applications Of A.I.
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
A. Malhoira :
Knowledge Based English Language Systems For Management Support: An Analysis Of Requirements.
842-847
export record as
dblp key:
export record as
dblp key:
A. Rubin :
The Role Of Hypothesis in Medical Diagnosis.
856-862
export record as
dblp key:
A. Tiro :
The Use Of Informal Calculus in Problems Of Artificial Intellect.
863-867
export record as
dblp key:
D. Walts :
Natural Language Access To A Large Data Base: An Engineering Approach.
868-872
export record as
dblp key:
R. Zarlpov :
Simulation Of Functions Of Composer and Musicologist On Electronic Computer.
873-877
Psychological Aspects Of A.I.
export record as
dblp key:
R. Brooks :
A Model Of Human Cognitive Behavior in Writing Code For Computer Programs.
878-884
export record as
dblp key:
export record as
dblp key:
William S. Faught :
Affect As Motivation For Cognitive And Conative Processes.
893-900
export record as
dblp key:
conf/ijcai/Frederickson75 export record as
dblp key:
export record as
dblp key:
R. Hajiev :
Experimental Studies Of Human Decision-Making And Its Simulation By Situation Control Technique.
912-916
export record as
dblp key:
Yu. Klykov ,
V. Pushkin :
Semantic Language And The Problem Of Goal Formation Modelling in Human Thinking.
917-920
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
O. Tikhomirov :
Philosophical And Psychological Problems Of Artificial Intelligence.
932-937
export record as
dblp key:
conf/ijcai/ZavalishinaLR75
data released under the ODC-BY 1.0 license
