Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar5. IJCAI 1977: Cambridge, MA, USA
Raj Reddy:
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, USA, August 22-25, 1977. William Kaufmann 1977
Volume 1
Natural Language 1
Natural Language 2
- William A. Woods:
Shortfall and Density Scoring Strategies for Speech Understanding Control. IJCAI 1977: 18-26 - Frederick Hayes-Roth, Victor R. Lesser:
Focus of Attention in the Hearsay-II Speech Understanding System. IJCAI 1977: 27-35 - Donald E. Walker, William H. Paxton, Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson, Jane J. Robinson, Jonathan Slocum:
Procedures for Integrating Knowledge in a Speech Understanding System. IJCAI 1977: 36-42
Natural Language 3
- C. Bullwinkle:
Levels of Complexity in Discourse for Anaphora Disambiguation and Speech Act Interpretation. IJCAI 1977: 43-49 - James R. McSkimin, Jack Minker:
The Use of a Semantic Network in a Deductive Question-Answering System. IJCAI 1977: 50-58
Natural Language 4
- Barbara J. Grosz:
The Representation and Use of Focus in a System for Understanding Dialogs. IJCAI 1977: 67-76 - William C. Mann, James A. Moore, James A. Levin:
A Comprehension Model for Human Dialogue. IJCAI 1977: 77-87 - Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson:
Using Process Knowledge in Understanding Task-Oriented Dialogs. IJCAI 1977: 90
Natural Language 5
Natural Language 6
- S. L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen:
Automatic Abstracting of Textual Material. IJCAI 1977: 117-118 - Gregg C. Oden:
The Generation of Continuous Semantic Constraints from Semantic Propositions. IJCAI 1977: 120
Natural Language 7
- Bonnie Nash-Webber, Raymond Reiter:
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. IJCAI 1977: 121-131 - Aviel D. Rubin, Bertram C. Bruce:
From Conversations to Stories: An Analysis of Differences Between Oral and Written Language Comprehension. IJCAI 1977: 141
Natural Language 8
- David L. Waltz, Bradley A. Goodman:
Writing a Natural Language Data Base System. IJCAI 1977: 144-150
Natural Language 9
- Mark S. Fox, Jack Mostow:
Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains. IJCAI 1977: 165-171 - Richard H. Granger:
FOUL-UP: A Program that Figures Out Meanings of Words from Context. IJCAI 1977: 172-178 - R. Schinghal, D. Rosenberg, Godfried T. Toussaint:
A Simplified Heuristic Version of Raviv's Algorithm for Using Context in Text Recognition. IJCAI 1977: 179-180 - P. Dell'Orco, Margaret King, V. N. Spadavecchia:
Two Semantic Worlds: A Data Base System with Provision for Natural Language Input. IJCAI 1977: 181-182
Natural Language 10
- David Klappholz, Abe Lockman:
The Use of Dynamically Extracted Context for Anaphoric Reference Resolution. IJCAI 1977: 194
Representation of Knowledge 1
- Charles Kellogg, Philip Klahr, Larry Travis:
Deductive Methods for Large Data Bases. IJCAI 1977: 203-209 - Aravind K. Joshi, S. Jerrold Kaplan, R. M. Lee:
Approximate Responses from a Data Base Query System: An Application of Inferencing in Natural Language. IJCAI 1977: 211-212
Representation of Knowledge 2
- Daniel G. Bobrow, Terry Winograd:
Experience with KRL-0: One Cycle of a Knowledge Representation Language. IJCAI 1977: 213-222 - Camilla Schwind:
A State Logic for the Representation of Natural Language Based Intelligent Systems. IJCAI 1977: 228
Representation of Knowledge 3
- Richard Fikes, Gary G. Hendrix:
A Network-Based Knowledge Representation and Its Natural Deduction System. IJCAI 1977: 235-246 - H. Ogawa, K. Tanaka:
A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor. IJCAI 1977: 248-249
Representation of Knowledge 4
- Chuck Rieger, Maurice Grinberg:
The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. IJCAI 1977: 250-256 - N. S. Sridharan, Frank M. Hawrusik:
Representation of Actions That Have Side-Effects. IJCAI 1977: 265-266
Representation of Knowledge 5
- Robert F. Simmons, Daniel L. Chester:
Inferences in Quantified Semantic Networks. IJCAI 1977: 267-273 - M. Trigoboff, Casimir A. Kulikowski:
IRIS: A System for the Propogation of Inferences in a Semantic Net. IJCAI 1977: 274-280 - Norman K. Sondheimer:
Towards a Combined Representation for Spacial and Temporal Reference. IJCAI 1977: 281-282 - Hector J. Levesque, John Mylopoulos:
An Overview of a Procedural Approach to Semantic Networks. IJCAI 1977: 283 - R. L. Young:
Specification Overlays: An Application of Partitioned Semantic Networks. IJCAI 1977: 285
Representation of Knowledge 6
- Gordon S. Novak:
Representations of Knowledge in a Program for Solving Physics Problems. IJCAI 1977: 286-291 - Johan de Kleer:
Multiple Representations of Knowledge in a Mechanics Problem-Solver. IJCAI 1977: 299-304
Knowlede Acquisition 1
- Tom M. Mitchell:
Version Spaces: A Candidate Elimination Approach to Rule Learning. IJCAI 1977: 305-310 - Ira P. Goldstein, Eric Grimson:
Annotated Production Systems: A Model for Skill Acquisition. IJCAI 1977: 311-317 - Ryszard S. Michalski:
A System of Programs for Computer-Aided Induction: A Summary. IJCAI 1977: 319-320
Knowlede Acquisition 2
- Randall Davis:
Interactive Transfer of Expertise: Acquisition of New Inference Rules. IJCAI 1977: 321-328 - Antonio Leal, Judea Pearl:
An Interactive Program for Conversational Elecitation of Decision Structures. IJCAI 1977: 336 - Michael D. Rychener, Charles Forgy, Pat Langley, John P. McDermott, Allen Newell, K. Ramakrishna:
Problems in Building an Instructable Production System. IJCAI 1977: 337
Knowlede Acquisition 3
- Reid G. Smith, Tom M. Mitchell, R. A. Chestek, Bruce G. Buchanan:
A Model for Learning Systems. IJCAI 1977: 338-343 - Richard M. Young, Gordon D. Plotkin, R. F. Linz:
Analysis of an Extended Concept-Learning Task. IJCAI 1977: 348
Knowlede Acquisition 4
- Steven A. Vere:
Induction of Relational Productions in the Presence of Background Information. IJCAI 1977: 349-355 - Frederick Hayes-Roth, John P. McDermott:
Knowledge Acquisition from Structural Descriptions. IJCAI 1977: 356-362
Aids to Programming 1
Aids to Programming 2
- Robert Balzer, Neil M. Goldman, David S. Wile:
Informality in Program Specifications. IJCAI 1977: 389-397 - Robert Balzer, Neil M. Goldman, David S. Wile:
Meta-Evaluation as a Tool for Program Understanding. IJCAI 1977: 398-403 - Neil M. Goldman, Robert Balzer, David S. Wile:
The Use of a Domain Model in Understanding Informal Process Descriptions. IJCAI 1977: 404
Aids to Programming 3
- Zohar Manna, Richard J. Waldinger:
The Automatic Synthesis of Systems of Recursive Programs. IJCAI 1977: 405-411 - Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil:
SISP/1: An Interactive System Able to Synthesize Functions from Examples. IJCAI 1977: 412-418 - Keith L. Clark, Sharon Sickel:
Predicate Logic: A Calculus for the Formal Derivation of Programs. IJCAI 1977: 419-420
Problem-Solving and Search 1
- C. Perdue, Hans J. Berliner:
EG - A Case Study in Problem Solving with King and Pawn Endings. IJCAI 1977: 421-427 - Hans J. Berliner:
Experiences in Evaluation with BKG - A Program that Plays Backgammon. IJCAI 1977: 428-433
Problem-Solving and Search 2
- John Gaschnig:
Exactly How Good Are Heuristics?: Toward a Realistic Predictive Theory of Best-First Search. IJCAI 1977: 434-441 - Ranan B. Banerji, George W. Ernst:
A Comparsion of Three Problem-Solving Methods. IJCAI 1977: 442-449 - Ranan B. Banerji, George W. Ernst:
A Theory for the Complete Mechanization of a GPS-Type Problem Solver. IJCAI 1977: 450-456
Problem-Solving and Search 3
- Brian V. Funt:
WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina. IJCAI 1977: 459-464 - Clive Dawson, Laurent Siklóssy:
The Role of Preprocessing in Problem Solving Systems. IJCAI 1977: 465-471 - Reid G. Smith:
The Contract Net: A Formalism for the Control of Distributed Problem Solving. IJCAI 1977: 472
Problem-Solving and Search 4
- Charles F. Schmidt, N. S. Sridharan:
Plan Recognition Using A Hypothesize and Revise Paradigm. IJCAI 1977: 480-486 - Chuck Rieger, Philip London:
Subgoal Protection and Unraveling During Plan Synthesis. IJCAI 1977: 487-493
Problem-Solving and Search 5
- Alan Borning:
ThingLab - An Object-Oriented System for Building Simulations Using Constraints. IJCAI 1977: 497-498
Theorem Proving 1
- Robert S. Boyer, J. Strother Moore:
A Lemma Driven Automatic Theorem Prover for Recursive Function Theory. IJCAI 1977: 511-519 - Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann:
Unification of Idempotent Functions. IJCAI 1977: 528
Theorem Proving 2
- Lawrence J. Henschen, W. M. Evangelist:
Theorem Proving by Covering Expressions. IJCAI 1977: 541-542 - Alberto Martelli, Ugo Montanari:
Theorem Proving with Structure Sharing and Efficient Unification. IJCAI 1977: 543
Theorem Proving 3
Volume 2
Vision 1
Vision 2
- D. J. Burr, Robert T. Chien:
A System for Stereo Computer Vision with Geometric Models. IJCAI 1977: 583 - Steven M. Rubin, Raj Reddy:
The LOCUS Model of Search and its Use in Image Interpretation. IJCAI 1977: 590-595 - Ruzena Bajcsy, Barry I. Soroka:
Steps Towards the Representation of Complex Three-Dimensional Objects. IJCAI 1977: 596 - Leonard Uhr, Robert J. Douglass:
A 'Recognition Cone' Perceptual System: Brief Test Results. IJCAI 1977: 597
Vision 3
- Saburo Tsuji, A. Morizono, S. Kuroda:
Understanding a Simple Cartoon Film by a Computer Vision System. IJCAI 1977: 609-610
Vision 4
- Ramesh Jain, D. Militzer, Hans-Hellmut Nagel:
Separating Non-Stationary from Stationary Scene Components in a Sequence of Real World TV Images. IJCAI 1977: 612-618
Vision 5
- Ruth Shapira, Herbert Freeman:
Reconstruction of Curved-Surface Bodies from a Set of Imperfect Projections. IJCAI 1977: 628-634 - Robert J. Woodham:
A Cooperative Algorithm for Determining Surface Orientation from a Single View. IJCAI 1977: 635-641 - J. Prager, Paul A. Nagin, Ralf R. Kohler, Allen R. Hanson, Edward M. Riseman:
Segmentation Processes in the VISIONS System. IJCAI 1977: 642-643 - T. Williams, John D. Lowrance, Allen R. Hanson, Edward M. Riseman:
Model-Building in the Visions System. IJCAI 1977: 644-645 - Kurt Konolige, Bryant W. York, Allen R. Hanson, Edward M. Riseman:
Between Regions and Objects - Surfaces and Volumes. IJCAI 1977: 646-647
Vision 6
- Robert J. Douglass:
Recognition and Depth Perception of Objects in Real World Scenes. IJCAI 1977: 657 - Robert T. Chien, L. J. Peterson:
Image Compression and Reconstruction Using Feature Extraction. IJCAI 1977: 658
Vision 7
- Harry G. Barrow, Jay M. Tenenbaum, Robert C. Bolles, Helen C. Wolf:
Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching. IJCAI 1977: 659-663 - Dana H. Ballard, Christopher M. Brown, Jay M. Feldman:
An Approach to Knowledge-Directed Image Analysis. IJCAI 1977: 664-670 - Eugene C. Freuder:
A Computer System for Visual Recognition Using Active Knowledge. IJCAI 1977: 671-677
Vision 8
- Michihiro Mese, Takafumi Miyatake, S. Kasaioka, M. Etiri, I. Yamazaki, T. Hamada:
An Automatic Position Recognition Technique for LSI Assembly. IJCAI 1977: 685-693 - Michael L. Baird:
Image Segmentation Technique for Locating Automotive Parts on Belt Conveyors. IJCAI 1977: 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. IJCAI 1977: 696 - C. M. Brace, J. H. Kulick, T. W. Challis:
Automatic Rib Detection in Chest Radiographs. IJCAI 1977: 697-698
Vision 9
- Saburo Tsuji, Fumio Matsumoto:
Detection of Elliptic and Linear Edges by Searching Two Parameter Spaces. IJCAI 1977: 700-705 - K. Sugihara, Yoshiaki Shirai:
Range Data Understanding Guided by a Junction Dictionary. IJCAI 1977: 706
Robotics 1
- Tomás Lozano-Pérez, Patrick H. Winston:
LAMA: A Language for Automatic Mechanical Assembly. IJCAI 1977: 710-716
Robotics 2
- S. M. Udupa:
Collision Detection and Avoidance in Computer Controlled Manipulators. IJCAI 1977: 737-748 - John R. Birk, Robert B. Kelley, Vivek V. Badami:
Workpiece Orientation Correction with a Robot Arm Using Visual Information. IJCAI 1977: 758
Robotics 3
- R. A. Lewis, A. R. Johnston:
A Scanning Laser Rangefinder for a Robotic Vechicle. IJCAI 1977: 762-768 - R. Eskenazi, R. Cunningham:
A Random Access Picture Digitizer, Display, and Memory System. IJCAI 1977: 769-770
Specialized Systems 1
Specialized Systems 2
- Victor R. Lesser, Lee D. Erman:
A Retrospective View of the Hearsay-II Architecture. IJCAI 1977: 790-800
Specialized Systems 3
- C. E. Oleson:
EXAMINER: A System Using Contextual Knowledge for Analysis of Diagnostic Behavior. IJCAI 1977: 814-818 - Sholom M. Weiss, Casimir A. Kulikowski, Aran Safir:
A Model-Based Consultation System for the Long-Term Management of Glaucoma. IJCAI 1977: 826-832
Specialized Systems 4
Applications 1
- Anthony I. Hinxman:
A Two-dimensional Trim-Loss Problem with Sequencing Constraints. IJCAI 1977: 859-864 - Margaret King, Monique Ornato, Gian Piero Zarri, Lucia Zarri-Baldi, A. Zwiebel:
Ghosts in the Machine: An AI Treatment of Medieval History. IJCAI 1977: 873-879 - S. I. Samolylenko:
Application of Fuzzy Heuristic Techniques to Computer Network Design. IJCAI 1977: 880
Applications 2
- Nancy Martin, Peter Friedland, Jonathan King, Mark Stefik:
Knowledge Base Management for Experiment Planning in Molecular Genetics. IJCAI 1977: 882-887 - Gerald J. Sussman:
Electrical Design: A Problem for Artificial Intelligence Research. IJCAI 1977: 894-900 - Jack R. Buchanan, Richard D. Fennell:
An Intelligent Information System for Criminal Case Management in the Federal Courts. IJCAI 1977: 901-902 - Larry R. Harris:
ROBOT: A High Performance Natural Language Data Base Query System. IJCAI 1977: 903-904
Languages and Systems 1
- David C. Brown, Stanley C. Kwasny, H. William Buttelmann, B. Chandrasekaran, Norman K. Sondheimer:
NLG - Natural Language Graphics. IJCAI 1977: 916 - Larry Travis, Masahiro Honda, Richard LeBlanc, Stephen Zeigler:
TELOS, A Language for Building Well-Structured AI Models. IJCAI 1977: 917 - Lotfi A. Zadeh:
PRUF - A Language for the Representation of Meaning in Natural Languages. IJCAI 1977: 918
Languages and Systems 2
- Randall Davis, Bruce G. Buchanan:
Meta-Level Knowledge: Overview and Applications. IJCAI 1977: 920-927 - Douglas B. Lenat, John P. McDermott:
Less Than General Production System Architectures. IJCAI 1977: 928-932 - Charles Forgy, John P. McDermott:
OPS, A Domain-Independent Production System Language. IJCAI 1977: 933-939
Panels
- William B. Gevarter, James S. Albus, N. Caplan, B. Chern, Kent Curtis, Marvin Denicoff, James R. Slagle:
Federal Programs in Artificial Intelligence. IJCAI 1977: 940-950 - Pamela McCorduck, Marvin Minsky, Oliver G. Selfridge, Herbert A. Simon:
History of Artificial Intelligence. IJCAI 1977: 951-954 - Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco:
Artificial Intelligence in Western Europe. IJCAI 1977: 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. IJCAI 1977: 970-974 - Hans J. Berliner, R. Greenblatt, Jacques Pitrat, A. Samuel, David Slate:
Computer Game Playing. IJCAI 1977: 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. IJCAI 1977: 983-992 - Azriel Rosenfeld, Jerome A. Feldman, Laveen N. Kanal, Patrick H. Winston:
AI and Pattern Recognition. IJCAI 1977: 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. IJCAI 1977: 994-1006 - Roger C. Schank, Eugene Charniak, Yorick Wilks, Terry Winograd, William A. Woods:
Natural Language Processing. IJCAI 1977: 1007-1013
Invited Papers
- Edward A. Feigenbaum:
The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering. IJCAI 1977: 1014-1029 - Harry E. Pople:
The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning. IJCAI 1977: 1030-1037 - Rod M. Burstall, Joseph A. Goguen:
Putting Theories Together to Make Specifications. IJCAI 1977: 1045-1058 - Takeo Kanade:
Model Representations and Control Structures in Image Understanding. IJCAI 1977: 1074-1082
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