Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th 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. 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. 9-14 - W. W. Bledsoe:
A New Mehtod for Proving Certain Presburger Formules. 15-21 - Alan Bundy:
Analysing Mathematical Proofs (Or Reading Between the Lines). 22-28 - P. Florath:
On Methods To Decide Solvability of Transformation Problems. 29-33 - James R. Geiser:
Commenting Proofs. 34-39 - T. Gorgely, Hajnal Andréka, István Németi:
Definition Theory as Basis for a Creative Problem Solver. 40-45 - Lawrence J. Henschen:
Semantic Resolution for Horn Sets. 46-52 - Ivan Kramosil:
A Note on Deduction Rules with Negative Premises. 53-56 - T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru:
Gentzen-Type Formel System Representing Properties of Function and its Implementation. 57-64 - D. Poepolov:
Semiotic Models in Artificial Intelligence Problems. 65-70 - Mark E. Stickel:
A Complete Unification Algorithm for Associative-Commutative Functions. 71-76 - J. van Vaalen:
An Extension of Unification to Substitution with an Application to Automatic Theorem Proving. 77-82
Representation of Problems and Knowledge
- Nick Cercone, Lenhart K. Schubert:
Toward a State Based Conceptual Representation. 83-90 - Eugene Charniak:
A Partial Taxonomy of Knowledge about Actions. 91-98 - Richard Fikes:
Deductive Retrieval Mechanisms for State Description Models. 99-106 - L. Hawkinson:
The Representation of Concepts in OWL. 107-114 - Gary G. Hendrix:
Expanding the Utility of Semantic Networks Through Partitioning. 115-121 - Joachim H. Laubsch:
Some Thoughts about Representing Knowledge in Instructional Systems. 122-125 - Douglas B. Lenat:
BEINGS: Knowledge as Interacting Experts. 126-133 - John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar:
Semantic Networks and the Generation of Context. 134-142 - Charles J. Rieger III:
Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context. 143-150 - Roger C. Schank, Robert P. Abelson:
Scripts, Plans and Knowledge. 151-157 - Lenhart K. Schubert:
Extending The Expressive Power Of Semantic Networks. 158-164 - M. Weinzweig:
Association Memory Model Using The Notion Of "Importance". 165-
Planning And Problem Solving
- Robert T. Chien, Steven J. Weissman:
Planning And Execution in Incompletely Specified Environments. 169-174 - Ira P. Goldstein:
Bargaining Between Goals. 175-180 - Patrick J. Hayes:
A Representation For Robot Plans. 181-188 - Carl Hewitt:
How To Use What You Know. 189-198 - E. Kuzin, G. Pozdnyak, I. Fominykh:
Planning The Activity Of Robot With Artificial Intelligence. 199-205 - Earl D. Sacerdoti:
The Nonlinear Nature of Plans. 206-214 - Austin Tate:
Interacting Goals And Their Use. 215-218 - Nikolay G. Zagoruiko:
Empirical Prediction Algorithm. 219-222
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. 223-225 - M. Bauer:
A Basis For The Acquisition Of Procedures From Protocols. 226-231 - C. Cordell Green, David R. Barstow:
Some Rules For The Automatic Synthesis Of Programs. 232-239 - Steve Hardy:
Synthesis Of LISP Functions From Examples. 240-245 - Frederick Hayes-Roth, D. Moslow:
An Automatically Compilable Recognition Network For Structured Patterns. 246-252 - J. Knapman:
Some Principles Of Artificial Learning That Have Emerged From Examples. 253-259 - David E. Shaw, William R. Swartout, C. Cordell Green:
Inferring LISP Programs From Examples. 260-267 - Laurent Siklóssy, D. A. Sykas:
Automatic Program Synthesis from Example Problems. 268-273 - R. Solomonott:
Inductive Inference Theory - A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence. 274-280 - S. Vera:
Induction of Concepts in the Predicate Calculus. 281-287 - Richard J. Waldinger, Zohar Manna:
Knowledge and Reasoning in Program Synthesis. 288-295 - Donald A. Waterman:
Adaptive Production Systems. 296-303
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. 304-308 - Dennis de Champeaux, Lenie Sint:
An Improved Di-Directional Heuristic Search Algorithm. 309-314 - Teiji Furugori:
Knowledge And Its Use In A Program For Going From One Place To Another. 315-320 - M. Goeze-Rapopori, V. Zekharov, Dmitri A. Pospelov:
The Influence Of Nonuniformity in The Models Of Automate Collective Behaviour. 321-327 - H. Hagendori, W. Kolbe, E. Sommerfeld:
About The Solution Of Combinatorical Problems With Problem Solving Methods. 328-333 - Larry R. Harris:
The Heuristic Search And The Game Of Chess - A Study Of Quiescene, Sacrifices, And Plan Oriented Play. 334-339 - Giorgio Levi, Franco Sirovich:
A Problem Reduction Model for Non-Independent Subproblems. 340-344 - Alberto Martelli, Ugo Montanari:
Form Dynamic Programming To Search Algorithms With Functional Costs. 345-350 - Charles G. Morgan:
Automated Hypothesis Generation Using Extended Inductive Resolution. 351-356 - V. Ozernoi, M. Gaft:
Method For The Best Solutions Search in Multiobjective Decision Problems. 357-362 - J. Ross Quinlan:
Predicting The Length Of Solutions To Problems. 363-369 - L. Rastrigin, R. Erenshtein:
A Collective Of Algorithms. 370-373 - A. M. Stanier:
BRIBIP: A Bridge Bidding Program. 374-
Natural Language Unterstanding
- Janusz Stanislaw Bien:
Toward A Multiple Environments Model Of Natural Language. 379-382 - C. Bullwinkle:
Picnics, Kittens And Wigs: Using Scenarios For The Sentence Competition Task. 383-386 - A. Ershov, A. Nariniany, I. Mel'chuk:
RITA - An Experimental Man-Computer System On A Natural Language Basis. 387-390 - R. Hart, Elliot B. Koffman:
A Student-Oriented Natural Language Environment For Learning LISP. 391-396 - Michael G. Malkovsky:
TULIPS - Teachable, Understanding Natural Language Input Problem-Solver. 397-400 - D. McDonald:
Preliminary Report On A Program For Generating Natural Langugage. 401-405 - Perry Lowell Miller:
An Adaptive Natural Language System That Listens, Asks, And Learns. 406-413 - John Mylopoulos:
TORUS - A Natural Language Understanding System For Data Management. 414-421 - V. Prati:
LINGOL-A Progress Report. 422-428 - Camilla Schwind:
Generating Hierarchical Semantic Networks Froma Natural Language Discourse. 429-435 - G. Scragg:
Answering Process Questions. 435-442 - Petr Sgall, Eva Hajicová:
Negation And Focus in Man - Machine Communication. 443-448 - Sho Yoshida:
On The System Of Concepts Relations And Outline Of The Natural Language System. 449-454
Speech Understanding
- James F. Allen:
A Speech Understanding System Based Upon A Co-Routine Parser. 455-460 - Bertram C. Bruce:
Pragmatics In Speech Understanding. 461-467 - Renato de Mori, Silvano Rivoira, Angelo Serra:
A Speech Understanding System With Learning Capability. 468-475 - A. Dziurnikowski:
Microphonemes As Fundamental Segments Of Speech Wave Primary Segmentation - Automatic Searching For Microphonemes. 476-482 - Lee D. Erman, Victor R. Lesser:
A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge. 483-490 - W. Hoss:
Time-Domain, Digital Segmentation Of Connected Natural Speech. 491-498 - Stephen E. Levinson:
The Vocal Speech Understanding System. 499-505 - Yoshiaki Shirai:
Feature Extraction And Sentence Recognition Algorithm In Speech Input System. 506-
A. I. Software
- V. Briebrin, V. Serebriekov, V. Yufa:
LORD: LISP-Oriented Resolver And Data Base. 514-520 - R. Gerrilsan:
The Application Of Artificial Intelligence Of Data Base Management. 521-527 - William D. Haseman, Andrew B. Whinston:
Problem Solving Approach In Data Management. 528-533 - A. O. Hill, H. R. A. Townsend:
Deadlock-Free Parallel Processing. 534-537 - V. Lozovsky:
Some Considerations Concerning The Problem Base Of Purposeful Systems. 538-541 - P. Madama:
A Control Structure For A Question-Answering System. 542-548 - L. Melli:
The 2 PAK Language: Goals And Descriptions. 549-555 - Carlo Montangero, Giuliano Pacini, Franco Turini:
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. 556-561 - Judea Pearl:
On The Storage Economy Of Error-Tolerating Question-Answering Systems. 562-568 - G. Pfinter:
The Description And Control Of Changing Pictures.. 569-574 - V. Pilshikov:
Planner-BESM-6 Systems Implementation Methods. 575-578 - J. Quinton, A. Andrew:
A Database For A.I.. 579-584 - Erik Sandewall:
Ideas About Management Of LISP Data Bases. 585-592 - Douglas R. Skuce:
An English-Like Language For Qualitative Scientific Knowledge. 593-600 - Sten-Åke Tärnlund:
An Interpreter For The Programming Languages Predicate Logic. 601-608 - M. Weinstein:
Structured Robotics. 609-
Visual Information Processing
- M. Dunlavay:
An Hypothesis-Driven Vision System. 616-619 - M. Ejirl, H. Yode, J. Motolke:
Direction Coding Method And Its Application To Scene Analysis. 620-627 - V. Gallo:
A Program For Geometrical Pattern Recognition Based On The Linguistic Method Of The Description And Analysis Of Geometrical Structures. 628-634 - Takayasu Ito:
Color Picture Processing By Computer. 635 - V. Krol, L. Tannenholz:
The Textural Analysis. 643-646 - O. Levashov:
On A Possible Mechanism Of Binocular Fusion. 647-649 - László Méro, Z. Vassy:
A Simplified And Fast Version Of The Huockel Operator For Finding Optimal Edges in Pictures. 650-655 - Edward L. Morofsky, Andrew K. C. Wong:
Isolating And Identifying Objects In Line Drawings. 656-663 - Robin J. Popplestone, Christopher M. Brown, A. Patricia Ambler, G. Crawford:
Forming Models Of Plane-And-Cylinder Faceled Bodies From Light Stripes. 664-668 - F. Roecker, A. Kiessling:
Methods For Analyzing Three Dimensional Scenes. 669-673 - Yoshiaki Shirai:
Edge Finding, Segmentation Of Edges And Recognition Of Complex Objects. 674-681 - Jay M. Tenenbaum, S. Weyl:
A Region-Analysis Subsystem For Interactive Scene Analysis. 682-687 - Harry Wechsler, Jack Sklansky:
Automatic Detection Of Rib Contours in Chest Radiographs. 688-694 - Yoram Yakimovsky:
Boundary And Object Detection In Real World Images. 695-704 - M. Yagl, N. Zavalishin, R. Shelnin:
Analysis Of Three-Dimensional Scene Images On The Knowledge Of Their Texture Features. 705-709 - N. Zavalishin:
Identification Of Bodies in A Contour Image Of A Three-Dimensional Scene. 710-715 - Steven W. Zucker, Azriel Rosenfeld, Larry S. Davis:
General Purpose Models: Expectations About The Unexpected. 716-721
Robots And Productivity Technology
- N. Amosov, A. Kasatkin, L. Kasatkina:
Active Semantic Networks In Robots With Independant Control. 722-726 - N. Amosov, E. Kussul, V. Fomenko:
Transport Robot With Network Control System. 727-730 - V. Beletskii, P. Tchudinov, T. Kirsanova:
Walking Control And Dynamics Of A Systems With Two Legs. 731-736 - H. Chien, V. Jones:
Acquisition Of Moving Objects And Hand-Eye Coordination. 737-741 - Robert T. Chien, W. Snyder:
Visual Understanding Of Hybrid Circuits Via Procedural Models. 742-748 - I. Coles:
Decision Analysis For An Experimental Robot With Unreliable Sensors. 749-757 - Raphael A. Finkel:
An Overview Of AL, A Programming System For Automation. 758-765 - Georgy L. Gimel'farb, E. F. Kushner, V. I. Rybak:
A "Hand-Eye" Robot-Simulating System. 766-770 - V. S. Gurfinkel, A. Yu. Shneider, E. Gurfinkel, E. Kanaov, S. Fomin:
Some Aspects Of Sensory Instrumentation For Robots And Manipulators. 771-774 - J. Hale, P. Saraga:
Control Of A PCB Drilling Machine By Visual Feedback. 775-781 - S. Iwata, S. Ishino, V. Michima:
Heuristics In The Alloy Designing. 782-788 - E. Kugushev, V. Jaroshevskij:
Problems of Selecting A Galt For An Integrated Locomotion Robot. 789-793 - Alexander S. Narin'yani, V. P. Pyatkin, P. A. Kim, V. N. Domentyev:
Walking Robot: A Non-Deterministic Model Of Control. 794-797 - D. E. Okhotsimsky, A. K. Platongy:
Perceptive Robot Moving in 3D World. 798-802 - J. Potter:
Scene Segmentation By Velocity Measurements Obtained With A Cross-Shaped Template. 803-810 - Saburo Tsuji, Akira Nakamura:
Recognition Of An Object in A Stack Of Industrial Parts. 811-818 - Masahiko Yachida, Saburo Tsuji:
A Machine Vision For Complex Industrial Parts With Learning Capability. 819-
Miscellanous Applications Of A.I.
- Y. Buchstab, S. Kamynin:
"QUESTION-ANSWER" - A Multipurpose Information System. 827-830 - Peter E. Hart:
Progress On A Computer Based Consultant. 831-841 - A. Malhoira:
Knowledge Based English Language Systems For Management Support: An Analysis Of Requirements. 842-847 - Harry E. Pople, Jack D. Myers, Randolph A. Miller:
DIALOG: A Model Of Diagnostic Logic For Internal Medicine. 848-855 - A. Rubin:
The Role Of Hypothesis in Medical Diagnosis. 856-862 - A. Tiro:
The Use Of Informal Calculus in Problems Of Artificial Intellect. 863-867 - D. Walts:
Natural Language Access To A Large Data Base: An Engineering Approach. 868-872 - R. Zarlpov:
Simulation Of Functions Of Composer and Musicologist On Electronic Computer. 873-877
Psychological Aspects Of A.I.
- Ruven E. Brooks:
A Model Of Human Cognitive Behavior in Writing Code For Computer Programs. 878-884 - Arthur M. Farley:
Constructive Visual Imagery And Perception. 885-892 - William S. Faught:
Affect As Motivation For Cognitive And Conative Processes. 893-900