Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar4. IJCAI 1975: Tbilisi, Georgia, USSR
Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975. 1975
Mathematical and Theoretical Aspects of A.I.
- Mario Aiello, Richard W. Weyhrauch:
Checking Proofs in the Metamathematics of First Order Logic. IJCAI 1975: 1-8 - Hajnal Andréka, Tamás Gergely, István Németi:
On the Role of Mathematical Language Concept in the Theory of Intelligent Systems. IJCAI 1975: 9-14 - T. Gorgely, Hajnal Andréka, István Németi:
Definition Theory as Basis for a Creative Problem Solver. IJCAI 1975: 40-45 - T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru:
Gentzen-Type Formel System Representing Properties of Function and its Implementation. IJCAI 1975: 57-64 - Mark E. Stickel:
A Complete Unification Algorithm for Associative-Commutative Functions. IJCAI 1975: 71-76 - J. van Vaalen:
An Extension of Unification to Substitution with an Application to Automatic Theorem Proving. IJCAI 1975: 77-82
Representation of Problems and Knowledge
- Nick Cercone, Lenhart K. Schubert:
Toward a State Based Conceptual Representation. IJCAI 1975: 83-90 - Gary G. Hendrix:
Expanding the Utility of Semantic Networks Through Partitioning. IJCAI 1975: 115-121 - Joachim H. Laubsch:
Some Thoughts about Representing Knowledge in Instructional Systems. IJCAI 1975: 122-125 - John Mylopoulos, P. Cohen, Alexander Borgida, L. Sugar:
Semantic Networks and the Generation of Context. IJCAI 1975: 134-142 - Charles J. Rieger III:
Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context. IJCAI 1975: 143-150
Planning And Problem Solving
- Robert T. Chien, Steven J. Weissman:
Planning And Execution in Incompletely Specified Environments. IJCAI 1975: 169-174 - E. Kuzin, G. Pozdnyak, I. Fominykh:
Planning The Activity Of Robot With Artificial Intelligence. IJCAI 1975: 199-205
Learning, Debugging, And Automatic Programming
- 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. IJCAI 1975: 223-225 - C. Cordell Green, David R. Barstow:
Some Rules For The Automatic Synthesis Of Programs. IJCAI 1975: 232-239 - Frederick Hayes-Roth, D. Moslow:
An Automatically Compilable Recognition Network For Structured Patterns. IJCAI 1975: 246-252 - J. Knapman:
Some Principles Of Artificial Learning That Have Emerged From Examples. IJCAI 1975: 253-259 - R. Solomonott:
Inductive Inference Theory - A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence. IJCAI 1975: 274-280 - Richard J. Waldinger, Zohar Manna:
Knowledge and Reasoning in Program Synthesis. IJCAI 1975: 288-295
Search Techniques
- G. M. Adelson-Velskiy, Vladimir L. Arlazarov, M. V. Donskoy:
On the Structure Of An Important Class Of Exhaustive Problems And On Ways Of Search Reduction For Them. IJCAI 1975: 304-308 - Dennis de Champeaux, Lenie Sint:
An Improved Di-Directional Heuristic Search Algorithm. IJCAI 1975: 309-314 - Teiji Furugori:
Knowledge And Its Use In A Program For Going From One Place To Another. IJCAI 1975: 315-320 - M. Goeze-Rapopori, V. Zekharov, Dmitri A. Pospelov:
The Influence Of Nonuniformity in The Models Of Automate Collective Behaviour. IJCAI 1975: 321-327 - H. Hagendori, W. Kolbe, E. Sommerfeld:
About The Solution Of Combinatorical Problems With Problem Solving Methods. IJCAI 1975: 328-333 - Larry R. Harris:
The Heuristic Search And The Game Of Chess - A Study Of Quiescene, Sacrifices, And Plan Oriented Play. IJCAI 1975: 334-339 - Giorgio Levi, Franco Sirovich:
A Problem Reduction Model for Non-Independent Subproblems. IJCAI 1975: 340-344 - Alberto Martelli, Ugo Montanari:
Form Dynamic Programming To Search Algorithms With Functional Costs. IJCAI 1975: 345-350 - Charles G. Morgan:
Automated Hypothesis Generation Using Extended Inductive Resolution. IJCAI 1975: 351-356 - V. Ozernoi, M. Gaft:
Method For The Best Solutions Search in Multiobjective Decision Problems. IJCAI 1975: 357-362
Natural Language Unterstanding
- C. Bullwinkle:
Picnics, Kittens And Wigs: Using Scenarios For The Sentence Competition Task. IJCAI 1975: 383-386 - A. Ershov, A. Nariniany, I. Mel'chuk:
RITA - An Experimental Man-Computer System On A Natural Language Basis. IJCAI 1975: 387-390 - R. Hart, Elliot B. Koffman:
A Student-Oriented Natural Language Environment For Learning LISP. IJCAI 1975: 391-396 - Michael G. Malkovsky:
TULIPS - Teachable, Understanding Natural Language Input Problem-Solver. IJCAI 1975: 397-400 - Perry Lowell Miller:
An Adaptive Natural Language System That Listens, Asks, And Learns. IJCAI 1975: 406-413 - John Mylopoulos:
TORUS - A Natural Language Understanding System For Data Management. IJCAI 1975: 414-421 - Camilla Schwind:
Generating Hierarchical Semantic Networks Froma Natural Language Discourse. IJCAI 1975: 429-435 - S. Yoshida:
On The System Of Concepts Relations And Outline Of The Natural Language System. IJCAI 1975: 449-454
Speech Understanding
- Renato de Mori, Silvano Rivoira, Angelo Serra:
A Speech Understanding System With Learning Capability. IJCAI 1975: 468-475 - A. Dziurnikowski:
Microphonemes As Fundamental Segments Of Speech Wave Primary Segmentation - Automatic Searching For Microphonemes. IJCAI 1975: 476-482 - Lee D. Erman, Victor R. Lesser:
A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge. IJCAI 1975: 483-490 - Yoshiaki Shirai:
Feature Extraction And Sentence Recognition Algorithm In Speech Input System. IJCAI 1975: 506-
A. I. Software
- V. Briebrin, V. Serebriekov, V. Yufa:
LORD: LISP-Oriented Resolver And Data Base. IJCAI 1975: 514-520 - R. Gerrilsan:
The Application Of Artificial Intelligence Of Data Base Management. IJCAI 1975: 521-527 - William D. Haseman, Andrew B. Whinston:
Problem Solving Approach In Data Management. IJCAI 1975: 528-533 - V. Lozovsky:
Some Considerations Concerning The Problem Base Of Purposeful Systems. IJCAI 1975: 538-541 - Carlo Montangero, Giuliano Pacini, Franco Turini:
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975: 556-561 - Judea Pearl:
On The Storage Economy Of Error-Tolerating Question-Answering Systems. IJCAI 1975: 562-568 - Douglas R. Skuce:
An English-Like Language For Qualitative Scientific Knowledge. IJCAI 1975: 593-600 - Sten-Åke Tärnlund:
An Interpreter For The Programming Languages Predicate Logic. IJCAI 1975: 601-608
Visual Information Processing
- M. Ejirl, H. Yode, J. Motolke:
Direction Coding Method And Its Application To Scene Analysis. IJCAI 1975: 620-627 - V. Gallo:
A Program For Geometrical Pattern Recognition Based On The Linguistic Method Of The Description And Analysis Of Geometrical Structures. IJCAI 1975: 628-634 - László Méro, Z. Vassy:
A Simplified And Fast Version Of The Huockel Operator For Finding Optimal Edges in Pictures. IJCAI 1975: 650-655 - Edward L. Morofsky, Andrew K. C. Wong:
Isolating And Identifying Objects In Line Drawings. IJCAI 1975: 656-663 - Robin J. Popplestone, Christopher M. Brown, A. Patricia Ambler, G. Crawford:
Forming Models Of Plane-And-Cylinder Faceled Bodies From Light Stripes. IJCAI 1975: 664-668 - Y. Shirai:
Edge Finding, Segmentation Of Edges And Recognition Of Complex Objects. IJCAI 1975: 674-681 - Jay M. Tenenbaum, S. Weyl:
A Region-Analysis Subsystem For Interactive Scene Analysis. IJCAI 1975: 682-687 - Harry Wechsler, Jack Sklansky:
Automatic Detection Of Rib Contours in Chest Radiographs. IJCAI 1975: 688-694 - M. Yagl, N. Zavalishin, R. Shelnin:
Analysis Of Three-Dimensional Scene Images On The Knowledge Of Their Texture Features. IJCAI 1975: 705-709 - N. Zavalishin:
Identification Of Bodies in A Contour Image Of A Three-Dimensional Scene. IJCAI 1975: 710-715 - Steven W. Zucker, Azriel Rosenfeld, Larry S. Davis:
General Purpose Models: Expectations About The Unexpected. IJCAI 1975: 716-721
Robots And Productivity Technology
- N. Amosov, A. Kasatkin, L. Kasatkina:
Active Semantic Networks In Robots With Independant Control. IJCAI 1975: 722-726 - V. Beletskii, P. Tchudinov, T. Kirsanova:
Walking Control And Dynamics Of A Systems With Two Legs. IJCAI 1975: 731-736 - Robert T. Chien, W. Snyder:
Visual Understanding Of Hybrid Circuits Via Procedural Models. IJCAI 1975: 742-748 - Georgy L. Gimel'farb, E. F. Kushner, V. I. Rybak:
A "Hand-Eye" Robot-Simulating System. IJCAI 1975: 766-770 - V. S. Gurfinkel, A. Yu. Shneider, E. Gurfinkel, E. Kanaov, S. Fomin:
Some Aspects Of Sensory Instrumentation For Robots And Manipulators. IJCAI 1975: 771-774 - E. Kugushev, V. Jaroshevskij:
Problems of Selecting A Galt For An Integrated Locomotion Robot. IJCAI 1975: 789-793 - A. Narinyani, V. Pyatkin, P. Kim, V. Domentyev:
Walking Robot: A Non-Deterministic Model Of Control. IJCAI 1975: 794-797 - J. Potter:
Scene Segmentation By Velocity Measurements Obtained With A Cross-Shaped Template. IJCAI 1975: 803-810 - Saburo Tsuji, A. Nakamura:
Recognition Of An Object in A Stack Of Industrial Parts. IJCAI 1975: 811-818 - Masahiko Yachida, Saburo Tsuji:
A Machine Vision For Complex Industrial Parts With Learning Capability. IJCAI 1975: 819-
Miscellanous Applications Of A.I.
- A. Malhoira:
Knowledge Based English Language Systems For Management Support: An Analysis Of Requirements. IJCAI 1975: 842-847 - Harry E. Pople, J. Myers, R. Miller:
DIALOG: A Model Of Diagnostic Logic For Internal Medicine. IJCAI 1975: 848-855 - D. Walts:
Natural Language Access To A Large Data Base: An Engineering Approach. IJCAI 1975: 868-872 - R. Zarlpov:
Simulation Of Functions Of Composer and Musicologist On Electronic Computer. IJCAI 1975: 873-877
Psychological Aspects Of A.I.
- R. Brooks:
A Model Of Human Cognitive Behavior in Writing Code For Computer Programs. IJCAI 1975: 878-884 - R. Hajiev:
Experimental Studies Of Human Decision-Making And Its Simulation By Situation Control Technique. IJCAI 1975: 912-916 - Yu. Klykov, V. Pushkin:
Semantic Language And The Problem Of Goal Formation Modelling in Human Thinking. IJCAI 1975: 917-920 - I. Lubinsky, N. Pozin, L. Shmelev:
Neuronal Mechanisms Of Determination The Direction Upon The Sound Source. IJCAI 1975: 921-923 - O. Tikhomirov:
Philosophical And Psychological Problems Of Artificial Intelligence. IJCAI 1975: 932-937 - D. Zavalishina, B. Lomov, Y. Rubachin:
Levels Of Decision Making And Certain Problems Of Artificial Intellect. IJCAI 1975: 938
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint