default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th 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
- Eugene Charniak:
Ms. Maloprop, A Language Comprehension Program. 1-7 - Roger C. Schank, Mallory Selfridge:
How to Learn/What to Learn. 8-14 - Robert Wilensky:
PAM - A Program That Infers Intentions. 15 - Gerald DeJong:
Skimming Newspaper Stories by Computer. 16 - Richard E. Cullingford:
Controlling Inference in Story Understanding. 17
Natural Language 2
- William A. Woods:
Shortfall and Density Scoring Strategies for Speech Understanding Control. 18-26 - Frederick Hayes-Roth, Victor R. Lesser:
Focus of Attention in the Hearsay-II Speech Understanding System. 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. 36-42
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
- Barbara J. Grosz:
The Representation and Use of Focus in a System for Understanding Dialogs. 67-76 - William C. Mann, James A. Moore, James A. Levin:
A Comprehension Model for Human Dialogue. 77-87 - M. K. Horrigan:
Modelling Simple Dialogs. 88 - Charles L. Hedrick:
Making Inferences in Natural Language Dialogs. 89 - Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson:
Using Process Knowledge in Understanding Task-Oriented Dialogs. 90
Natural Language 5
- James R. Meehan:
TALE-SPIN, An Interactive Program that Writes Stories. 91-98 - Philip J. Hayes:
On Semantic Nets, Frames and Associations. 99-107 - Steven Rosenberg:
Frames-based Text Processing. 108 - J. Stansfield:
COMEX: A Commodities Support System. 109
Natural Language 6
- Jerry R. Hobbs:
Coherence and Interpretation in English Texts. 110-116 - Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen:
Automatic Abstracting of Textual Material. 117-118 - C. Raymond Perrault, P. R. Kohen:
Overview of 'Planning Speech Acts'. 119 - Gregg C. Oden:
The Generation of Continuous Semantic Constraints from Semantic Propositions. 120
Natural Language 7
- Bonnie Nash-Webber, Raymond Reiter:
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. 121-131 - Anatole Gershman:
Conceptual Analysis of Noun Groups in English. 132-138 - Nick Cercone:
A Note on Representing Adjectives and Adverbs. 139-140 - Aviel D. Rubin, Bertram C. Bruce:
From Conversations to Stories: An Analysis of Differences Between Oral and Written Language Comprehension. 141 - David D. McDonald:
Language Generation: The Linguistics Component. 142 - George E. Heidorn:
Generating Noun Phrases to Identify Nodes in a Semantic Network. IJCAI 1977: 143
Natural Language 8
- David L. Waltz, Bradley A. Goodman:
Writing a Natural Language Data Base System. 144-150 - Yorick Wilks:
Knowledge Structures and Language Boundaries. 151-157 - Wendy G. Lehnert:
A Conceptual Theory of Question Answering. IJCAI 1977: 158-164
Natural Language 9
- Mark S. Fox, Jack Mostow:
Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains. 165-171 - Richard H. Granger:
FOUL-UP: A Program that Figures Out Meanings of Words from Context. 172-178 - R. Schinghal, D. Rosenberg, Godfried T. Toussaint:
A Simplified Heuristic Version of Raviv's Algorithm for Using Context in Text Recognition. 179-180 - Piero Dell'Orco, Margaret King, V. N. Spadavecchia:
Two Semantic Worlds: A Data Base System with Provision for Natural Language Input. 181-182
Natural Language 10
- Gary G. Hendrix:
Human Engineering for Applied Natural Language Processing. 183-191 - Fred Damerau:
Advantages of a Transformational Grammar for Question Answering. 192 - Timothy W. Finin, George D. Hadden:
Augmenting ATNS. 193 - David Klappholz, Abe Lockman:
The Use of Dynamically Extracted Context for Anaphoric Reference Resolution. 194 - Victor Raskin:
Presupposition-Based AI Natural Language System. 195
Representation of Knowledge 1
- Earl D. Sacerdoti:
Language Access to Distributed Data with Error Recovery. 196-202 - Charles Kellogg, Philip Klahr, Larry Travis:
Deductive Methods for Large Data Bases. 203-209 - Gerald A. Wilson:
SPARK: A System for Parallel Representation of Knowledge. 210 - Aravind K. Joshi, S. Jerrold Kaplan, R. M. Lee:
Approximate Responses from a Data Base Query System: An Application of Inferencing in Natural Language. 211-212
Representation of Knowledge 2
- Daniel G. Bobrow, Terry Winograd:
Experience with KRL-0: One Cycle of a Knowledge Representation Language. 213-222 - Robert C. Moore:
Reasoning About Knowledge and Action. 223-227 - Camilla Schwind:
A State Logic for the Representation of Natural Language Based Intelligent Systems. 228
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 - Hitoshi Ogawa, Kokichi Tanaka:
A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor. 248-249
Representation of Knowledge 4
- Chuck Rieger, Maurice Grinberg:
The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. 250-256 - Ira P. Goldstein, R. B. Roberts:
NUDGE, A Knowledge-Based Scheduling Program. 257-263 - William S. Havens:
A Procedural Model of Recognition. 264 - N. S. Sridharan, Frank M. Hawrusik:
Representation of Actions That Have Side-Effects. 265-266
Representation of Knowledge 5
- Robert F. Simmons, Daniel L. Chester:
Inferences in Quantified Semantic Networks. 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. 281-282 - Hector J. Levesque, John Mylopoulos:
An Overview of a Procedural Approach to Semantic Networks. 283 - Stuart C. Shapiro:
Representing Numbers in Semantic Networks: Prolegomena. 284 - R. L. Young:
Specification Overlays: An Application of Partitioned Semantic Networks. 285
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
- Tom M. Mitchell:
Version Spaces: A Candidate Elimination Approach to Rule Learning. 305-310 - Ira P. Goldstein, Eric Grimson:
Annotated Production Systems: A Model for Skill Acquisition. 311-317 - Mark S. Fox, Raj Reddy:
Knowledge Guided Learning of Structural Descriptions. 318 - Ryszard S. Michalski:
A System of Programs for Computer-Aided Induction: A Summary. 319-320
Knowlede Acquisition 2
- Randall Davis:
Interactive Transfer of Expertise: Acquisition of New Inference Rules. 321-328 - William S. Mark:
The Reformulation Approach to Building Expert Systems. 329-335 - Antonio Leal, Judea Pearl:
An Interactive Program for Conversational Elecitation of Decision Structures. 336 - Michael D. Rychener, Charles Forgy, Pat Langley, John P. McDermott, Allen Newell, K. Ramakrishna:
Problems in Building an Instructable Production System. 337
Knowlede Acquisition 3
- Reid G. Smith, Tom M. Mitchell, R. A. Chestek, Bruce G. Buchanan:
A Model for Learning Systems. 338-343 - Pat Langley:
BACON: A Production System That Discovers Empirical Laws. 344 - D. T. Chen, N. Finder:
Analogical Reasoning in Problem Solving. 345 - Pavel Brazdil:
Learning Simple Arithmetic. 346 - Edwin Towster:
Concept Decomposition as a Method of Concept Formation. 347 - Richard M. Young, Gordon D. Plotkin, R. F. Linz:
Analysis of an Extended Concept-Learning Task. 348
Knowlede Acquisition 4
- Steven A. Vere:
Induction of Relational Productions in the Presence of Background Information. 349-355 - Frederick Hayes-Roth, John P. McDermott:
Knowledge Acquisition from Structural Descriptions. 356-362 - Raymond Aubin:
Strategies for Mechanizing Structural Induction. 363-369
Aids to Programming 1
- Akinori Yonezawa, Carl Hewitt:
Modelling Distributed Systems. 370-376 - Harald Wertz:
Understanding and Improving LISP Programs. 377 - Nachum Dershowitz:
Automatic Program Annotation. 378 - Hanan Samet:
Toward Automatic Debugging of Compilers. 379
Aids to Programming 2
- C. Green:
A Summary of the PSI Program Synthesis System. 380-381 - David R. Barstow:
A Knowledge-Based System for Automatic Program Construction. 382-388 - Robert Balzer, Neil M. Goldman, David S. Wile:
Informality in Program Specifications. 389-397 - Robert Balzer, Neil M. Goldman, David S. Wile:
Meta-Evaluation as a Tool for Program Understanding. 398-403 - Neil M. Goldman, Robert Balzer, David S. Wile:
The Use of a Domain Model in Understanding Informal Process Descriptions. 404
Aids to Programming 3
- Zohar Manna, Richard J. Waldinger:
The Automatic Synthesis of Systems of Recursive Programs. 405-411 - Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil:
SISP/1: An Interactive System Able to Synthesize Functions from Examples. 412-418 - Keith L. Clark, Sharon Sickel:
Predicate Logic: A Calculus for the Formal Derivation of Programs. 419-420
Problem-Solving and Search 1
- C. Perdue, Hans J. Berliner:
EG - A Case Study in Problem Solving with King and Pawn Endings. 421-427 - Hans J. Berliner:
Experiences in Evaluation with BKG - A Program that Plays Backgammon. 428-433
Problem-Solving and Search 2
- John Gaschnig:
Exactly How Good Are Heuristics?: Toward a Realistic Predictive Theory of Best-First Search. 434-441 - Ranan B. Banerji, George W. Ernst:
A Comparsion of Three Problem-Solving Methods. 442-449 - Ranan B. Banerji, George W. Ernst:
A Theory for the Complete Mechanization of a GPS-Type Problem Solver. 450-456 - John Gaschnig:
A General Backtrack Algorithm That Eliminates Most Redundant Tests. 457 - Azriel Rosenfeld:
Generality and Computational Cost. 458
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
- Robert B. Wesson:
Planning in the World of the Air Traffic Controller. 473-479 - Charles F. Schmidt, N. S. Sridharan:
Plan Recognition Using A Hypothesize and Revise Paradigm. 480-486 - Chuck Rieger, Philip London:
Subgoal Protection and Unraveling During Plan Synthesis. 487-493 - P. R. Davis, Robert T. Chien:
Using and Re-Using Partial Plans. 494 - Arthur M. Farley:
The Coordination of Multiple Goal Satisfaction. 495
Problem-Solving and Search 5
- Alan Bundy:
Can Domain Specific Knowledge Be Generalized? 496 - Alan Borning:
ThingLab - An Object-Oriented System for Building Simulations Using Constraints. 497-498 - Gretchen P. Brown:
Failure Handling in a Dialogue System. 499 - George F. Luger, Alan Bundy:
Representing Semantic Information In Pulley Problems. 500
Theorem Proving 1
- W. W. Bledsoe:
Set Variables. 501-510 - Robert S. Boyer, J Strother Moore:
A Lemma Driven Automatic Theorem Prover for Recursive Function Theory. 511-519 - Jared L. Darlington:
Improving the Efficiency of Higher Order Unification. 520-525 - Robert E. Shostak:
An Algorithm for Reasoning About Equality. 526-527 - Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann:
Unification of Idempotent Functions. 528
Theorem Proving 2
- Malcolm C. Harrison:
A Hierarchical Approach to Theorem-Proving. 529-533 - Frank M. Brown:
A Theorem Prover for Elementary Set Theory. 534-540 - Lawrence J. Henschen, W. M. Evangelist:
Theorem Proving by Covering Expressions. 541-542 - Alberto Martelli, Ugo Montanari:
Theorem Proving with Structure Sharing and Efficient Unification. 543
Theorem Proving 3
- Sharon Sickel:
Formal Grammars as Models of Logic Derivations. 544-551 - Steven D. Litvintchouk, Vaughan R. Pratt:
A Proof-Checker for Dynamic Logic. 552-558 - Patrick J. Hayes:
In Defense of Logic. 559-565 - Peter B. Andrews, Eve Longini Cohen:
Theorem Proving in Type Theory. 566 - Raymond D. Gumb:
A Mechanized Proof Procedure for Free Intensional Logics. 567-568
Volume 2
Vision 1
- Robert C. Bolles:
Verification Vision for Programmable Assembly. 569-575 - Donald B. Gennery:
A Stereo Vision System for an Autonomous Vehicle. 576-582
Vision 2
- D. J. Burr, Robert T. Chien:
A System for Stereo Computer Vision with Geometric Models. 583 - Hans P. Moravec:
Towards Automatic Visual Obstacle Avoidance. 584 - Michael O. Shneier:
Recognition Using Semantic Constraints. 585-589 - Steven M. Rubin, Raj Reddy:
The LOCUS Model of Search and its Use in Image Interpretation. 590-595 - Ruzena Bajcsy, Barry I. Soroka:
Steps Towards the Representation of Complex Three-Dimensional Objects. 596 - Leonard Uhr, Robert J. Douglass:
A 'Recognition Cone' Perceptual System: Brief Test Results. 597
Vision 3
- Alan K. Mackworth:
On Reading Sketch Maps. 598-606 - A. H. Dixon:
Generation of Descriptions for Line Drawings. 607 - M. R. Adler:
Computer Interpretation of PEANUTS Cartoons. 608 - Saburo Tsuji, Akira Morizono, Shinichi Kuroda:
Understanding a Simple Cartoon Film by a Computer Vision System. 609-610 - John K. Tsotsos:
Some Notes on Motion Understanding. 611
Vision 4
- Ramesh C. Jain, D. Militzer, Hans-Hellmut Nagel:
Separating Non-Stationary from Stationary Scene Components in a Sequence of Real World TV Images. 612-618 - Keith Price, Raj Reddy:
Change Detection and Analysis in Multispectral Images. 619-625 - Hans-Hellmut Nagel:
Analysing Sequences of TV-Frames. 626 - David C. Hogg:
A Methodology for Real Time Scene Analysis. 627