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 - D. Frederickson:
An Organization For A Dictionary of Senses. 900-906 - James Gips, George Stiny:
Artificial Intelligence And Aesthetics. 907-911 - R. Hajiev:
Experimental Studies Of Human Decision-Making And Its Simulation By Situation Control Technique. 912-916 - Yu. Klykov, V. Pushkin:
Semantic Language And The Problem Of Goal Formation Modelling in Human Thinking. 917-920 - I. Lubinsky, N. Pozin, L. Shmelev:
Neuronal Mechanisms Of Determination The Direction Upon The Sound Source. 921-923 - George F. Luger, G. Goldin:
Problem Structure And Problem Solving Behavior. 924-931 - O. Tikhomirov:
Philosophical And Psychological Problems Of Artificial Intelligence. 932-937 - D. Zavalishina, B. Lomov, Y. Rubachin:
Levels Of Decision Making And Certain Problems Of Artificial Intellect. 938
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
