Tbilisi, Georgia, USSR
Edited by Patrick Winston and Carl Hewitt
No papers match this filter.
Mathematical and Theoretical Aspects of A.I
Commenting Proofs
Pages 34–38
Semantic Resolution for Horn Sets
Pages 46–51
Representation Of Problems and Knowledge
Toward a State Based Conceptual Representation
Pages 83–89
A Partial Taxonomy of Knowledge about Actions
Pages 91–97
The Representation of Concepts in OWL
Pages 107–113
BEINGS: Knowledge as Interacting Experts
Pages 126–132
Semantic Networks and the Generation of Context
Pages 134–141
Scripts, Plans and Knowledge
Pages 151–156
Extending The Expressive Power Of Semantic Networks
Pages 158–163
Planning and Problem Solving
Bargaining Between Goals
Pages 175–179
A Representation For Robot Plans
Pages 181–187
How To Use What You Know
Pages 189–197
The Nonlinear Nature of Plans
Pages 206–213
Interacting Goals And Their Use
Pages 215–217
Empirical Prediction Algorithm
Pages 219–221
Learning Debugging And Automatic Programming
Some Rules For The Automatic Synthesis Of Programs
Pages 232–238
Synthesis Of LISP Functions From Examples
Pages 240–244
Inferring LISP Programs From Examples
Pages 260–266
Automatic Program Synthesis from Example Problems
Pages 268–272
Induction of Concepts in the Predicate Calculus
Pages 281–286
Knowledge and Reasoning in Program Synthesis
Pages 288–294
Adaptive Production Systems
Pages 296–302
Search Techniques
An Improved Di-Directional Heuristic Search Algorithm
Pages 309–313
Predicting The Length Of Solutions To Problems
Pages 363–368
A Collective Of Algorithms
Pages 370–372
Natural Language Understanding
BRIBIP: A Bridge Bidding Program
Pages 374–-1
LINGOL-A Progress Report
Pages 422–427
Answering Process Questions
Pages 435–441
Negation And Focus in Man - Machine Communication
Pages 443–447
Speech Understanding
Pragmatics In Speech Understanding
Pages 461–466
A Speech Understanding System With Learning Capability
Pages 468–474
The Vocal Speech Understanding System
Pages 499–504
A.I. Software
LORD: LISP-Oriented Resolver And Data Base
Pages 514–519
Problem Solving Approach In Data Management
Pages 528–532
Deadlock-Free Parallel Processing
Pages 534–536
A Control Structure For A Question-Answering System
Pages 542–547
The 2 PAK Language: Goals And Descriptions
Pages 549–554
The Description And Control Of Changing Pictures..
Pages 569–573
Planner-BESM-6 Systems Implementation Methods
Pages 575–577
A Database For A.I..
Pages 579–583
Ideas About Management Of LISP Data Bases
Pages 585–591
Structured Robotics
Pages 609–-1
Visual Information Processing
An Hypothesis-Driven Vision System
Pages 616–618
Color Picture Processing By Computer
Pages 635–-1
The Textural Analysis
Pages 643–645
On A Possible Mechanism Of Binocular Fusion
Pages 647–648
Isolating And Identifying Objects In Line Drawings
Pages 656–662
Methods For Analyzing Three Dimensional Scenes
Pages 669–672
Boundary And Object Detection In Real World Images
Pages 695–703
Robots And Productivity Technology
Transport Robot With Network Control System
Pages 727–729
An Overview Of AL, A Programming System For Automation
Pages 758–764
A "Hand-Eye" Robot-Simulating System
Pages 766–769
Control Of A PCB Drilling Machine By Visual Feedback
Pages 775–780
Heuristics In The Alloy Designing
Pages 782–787
Walking Robot: A Non-Deterministic Model Of Control
Pages 794–796
Perceptive Robot Moving in 3D World
Pages 798–801
Miscellaneous Applications Of A.I.
"QUESTION-ANSWER" - A Multipurpose Information System
Pages 827–829
Progress On A Computer Based Consultant
Pages 831–840
The Role Of Hypothesis in Medical Diagnosis
Pages 856–861
Psychological Aspects Of A.I.
Constructive Visual Imagery And Perception
Pages 885–891
An Organization For A Dictionary of Senses
Pages 900–905
Artificial Intelligence And Aesthetics
Pages 907–910
Problem Structure And Problem Solving Behavior
Pages 924–930
Front matter, copyright and publication details
Sponsored by
International Joint Conferences on Artifical Intelligence (IJCAI)
Published by
International Joint Conferences on Artificial Intelligence
Copyright © 1975, International Joint Conference on Artificial Intelligence.
All rights reserved.
Distributed by Morgan Kaufmann
Publishers, Inc.
95 First St.
Los Altos, California 94022
Secretary-Treasurer: Mr. Lester Earnest, Artificial Intelligence Laboratory
Stanford University, Stanford, California 9iS05, U.S.A.
ISBN 0-934613-20-6
