5. IJCAI 1977:
Cambridge, MA, USA
R. Reddy (Ed.):
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, August 1977.
William Kaufmann 1977 
Volume 1
Natural Language 1
Natural Language 2
Natural Language 3
- C. Bullwinkle:
Levels of Complexity in Discourse for Anaphora Disambiguation and Speech Act Interpretation.
43-49
- James R. McSkimin, Jack Minker:
The Use of a Semantic Network in a Deductive Question- Answering System.
50-58
- Koichi Furukawa:
A Deductive Question Answering System on Relational Data Bases.
59-66
Natural Language 4
Natural Language 5
Natural Language 6
Natural Language 7
Natural Language 8
Natural Language 9
Natural Language 10
Representation of Knowledge 1
Representation of Knowledge 2
Representation of Knowledge 3
- Drew V. McDermott:
Vocabularies for Problem Solver State Descriptions.
229-234
- Richard Fikes, Gary G. Hendrix:
A Network-Based Knowledge Representation and Its Natural Deduction System.
235-246
- Jon Doyle:
Truth Maintenance Systems for Problem Solving.
247
- H. Ogawa, K. Tanaka:
A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor.
248-249
Representation of Knowledge 4
Representation of Knowledge 5
Representation of Knowledge 6
- Gordon S. Novak:
Representations of Knowledge in a Program for Solving Physics Problems.
286-291
- Benjamin Kuipers:
Modeling Spatial Knowledge.
292-298
- Johan de Kleer:
Multiple Representations of Knowledge in a Mechanics Problem-Solver.
299-304
Knowlede Acquisition 1
Knowlede Acquisition 2
Knowlede Acquisition 3
Knowlede Acquisition 4
Aids to Programming 1
Aids to Programming 2
Aids to Programming 3
Problem-Solving and Search 1
Problem-Solving and Search 2
Problem-Solving and Search 3
- Brian V. Funt:
WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina.
459-464
- Clive Dawson, Laurent Siklóssy:
The Role of Preprocessing in Problem Solving Systems.
465-471
- Reid G. Smith:
The Contract Net: A Formalism for the Control of Distributed Problem Solving.
472
Problem-Solving and Search 4
Problem-Solving and Search 5
Theorem Proving 1
Theorem Proving 2
Theorem Proving 3
Volume 2
Vision 1
Vision 2
Vision 3
Vision 4
Vision 5
- Ruth Shapira, Herbert Freeman:
Reconstruction of Curved-Surface Bodies from a Set of Imperfect Projections.
628-634
- Robert J. Woodham:
A Cooperative Algorithm for Determining Surface Orientation from a Single View.
635-641
- J. Prager, Paul A. Nagin, Ralf R. Kohler, Allen R. Hanson, Edward M. Riseman:
Segmentation Processes in the VISIONS System.
642-643
- T. Williams, John D. Lowrance, Allen R. Hanson, Edward M. Riseman:
Model-Building in the Visions System.
644-645
- Kurt Konolige, Bryant W. York, Allen R. Hanson, Edward M. Riseman:
Between Regions and Objects - Surfaces and Volumes.
646-647
- Berthold K. P. Horn:
Towards a Science of Image Understanding.
648
Vision 6
Vision 7
Vision 8
- W. A. Perkins:
Model-Based Vision System for Scenes Containing Multiple Parts.
678-684
- Michihiro Mese, Takafumi Miyatake, S. Kasaioka, M. Etiri, I. Yamazaki, T. Hamada:
An Automatic Position Recognition Technique for LSI Assembly.
685-693
- M. L. Baird:
Image Segmentation Technique for Locating Automotive Parts on Belt Conveyors.
694-695
- Harry G. Barrow, Robert C. Bolles, Thomas D. Garvey, J. H. Kremers, Jay M. Tenenbaum, Helen C. Wolf:
Experiments in Map-Guided Photo Interpretation.
696
- C. M. Brace, J. H. Kulick, T. W. Challis:
Automatic Rib Detection in Chest Radiographs.
697-698
- John K. Tsotsos:
Knowledge-Base Driven Analysis of Cinecardioangiograms.
699
Vision 9
Robotics 1
Robotics 2
Robotics 3
Specialized Systems 1
Specialized Systems 2
Specialized Systems 3
Specialized Systems 4
Applications 1
Applications 2
Languages and Systems 1
Languages and Systems 2
Panels
- William B. Gevarter, James S. Albus, N. Caplan, B. Chern, Kent Curtis, Marvin Denicoff, James R. Slagle:
Federal Programs in Artificial Intelligence.
940-950
- Pamela McCorduck, Marvin Minsky, Oliver G. Selfridge, Herbert A. Simon:
History of Artificial Intelligence.
951-954
- Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco:
Artificial Intelligence in Western Europe.
955-969
- Donald E. Walker, Lee D. Erman, Allen Newell, Nils J. Nilsson, William H. Paxton, Terry Winograd, William A. Woods:
Speech Understanding and AI/AI and Speech Understanding.
970-974
- Hans J. Berliner, R. Greenblatt, Jacques Pitrat, A. Samuel, David Slate:
Computer Game Playing.
975-982
- Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan:
Knowledge Representation.
983-992
- Azriel Rosenfeld, Jerome A. Feldman, Laveen N. Kanal, Patrick H. Winston:
AI and Pattern Recognition.
993
- Saul Amarel, John Seely Brown, Bruce G. Buchanan, Peter E. Hart, Casimir A. Kulikowski, William A. Martin, Harry E. Pople:
Applications of Artificial Intelligence.
994-1006
- Roger C. Schank, Eugene Charniak, Yorick Wilks, Terry Winograd, William A. Woods:
Natural Language Processing.
1007-1013
Invited Papers
- Edward A. Feigenbaum:
The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering.
1014-1029
- Harry E. Pople:
The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning.
1030-1037
- John McCarthy:
Epistemological Problems of Artificial Intelligence.
1038-1044
- Rod M. Burstall, Joseph A. Goguen:
Putting Theories Together to Make Specifications.
1045-1058
- Herbert A. Simon:
Artificial Intelligence Systems That Understand.
1059-1073
- Takeo Kanade:
Model Representations and Control Structures in Image Understanding.
1074-1082
- Marvin Minsky:
Plain Talk about Neurodevelopmental Epistemology.
1083-1092
- Douglas B. Lenat:
Computers and Thought Lecture: The Ubiquity of Discovery.
1093
Last update Sun May 19 22:50:12 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
