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
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 - Thomas 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
- H. Baker:
Three-Dimensional Modeling. 649-655 - Fanya S. Montalvo:
Human Vision Paradox Implicates Relaxation Model. 656 - Robert J. Douglass:
Recognition and Depth Perception of Objects in Real World Scenes. 657 - Robert T. Chien, L. J. Peterson:
Image Compression and Reconstruction Using Feature Extraction. 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. 659-663 - Dana H. Ballard, Christopher M. Brown, Jay M. Feldman:
An Approach to Knowledge-Directed Image Analysis. 664-670 - Eugene C. Freuder:
A Computer System for Visual Recognition Using Active Knowledge. 671-677
Vision 8
- W. A. Perkins:
Model-Based Vision System for Scenes Containing Multiple Parts. 678-684 - Michihiro Mese, Takafumi Miyatake, Seiji Kashioka, Masakazu Ejiri, Isamu Yamazaki, Toshimitsu Hamada:
An Automatic Position Recognition Technique for LSI Assembly. 685-693 - Michael 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
- Saburo Tsuji, Fumio Matsumoto:
Detection of Elliptic and Linear Edges by Searching Two Parameter Spaces. 700-705 - Kokichi Sugihara, Yoshiaki Shirai:
Range Data Understanding Guided by a Junction Dictionary. 706 - Steven L. Tanimoto:
Rapid Computation of Fourier Texture Descriptors. 707 - Bruce R. Schatz:
Computation of Immediate Texture Discrimination. 708 - Steven W. Zucker:
Toward Consistent Descriptions in Vision Systems. 709
Robotics 1
- Tomás Lozano-Pérez, Patrick H. Winston:
LAMA: A Language for Automatic Mechanical Assembly. 710-716 - Tatsuzo Ishida:
Force Control in Coordination of Two Arms. 717-722 - B. Dobrotin, R. A. Lewis:
A Practical Manipulator System. 723-732 - R. Goldman:
Recent Work with the AL System. 733-735 - Leonard Friedman:
Robot Learning and Error Correction. 736
Robotics 2
- S. M. Udupa:
Collision Detection and Avoidance in Computer Controlled Manipulators. 737-748 - Alan M. Thompson:
The Navigation System of the JPL Robot. 749-757 - John R. Birk, Robert B. Kelley, Vivek V. Badami:
Workpiece Orientation Correction with a Robot Arm Using Visual Information. 758 - J. A. Miller:
Autonomous Guidance and Control of a Roving Robot. 759-760 - Marc H. Raibert:
A Model for Motor Control and Learning. 761
Robotics 3
- R. A. Lewis, A. R. Johnston:
A Scanning Laser Rangefinder for a Robotic Vechicle. 762-768 - R. Eskenazi, R. Cunningham:
A Random Access Picture Digitizer, Display, and Memory System. 769-770 - Bohuslav Kirchmann, Pavel Kopecky, Zdenek Zdráhal:
GOALEM from Prague. 771 - C. C. Geschke:
A Variable Capacitance Touch Sensor. 772
Specialized Systems 1
- Mark L. Miller, Ira P. Goldstein:
Structured Planning and Debugging. 773-779 - Derek H. Sleeman:
A System Which Allows Students to Explore Algorithms. 780-786 - Donald R. Gentner:
The FLOW Tutor: A Schema-Based Tutorial System. 787 - Jan Aikins:
The Use of Models in a Rule-Based Consultation System. 788 - Michael R. Genesereth:
An Automated Consultant for MACSYMA. 789
Specialized Systems 2
- Victor R. Lesser, Lee D. Erman:
A Retrospective View of the Hearsay-II Architecture. 790-800 - Elliot Soloway, Edward M. Riseman:
Levels of Pattern Description in Learning. 801-811 - J. V. Phillips:
Program Inference from Traces using Multiple Knowledge Sources. 812 - Christopher Riesbeck:
Delayed Interpretation Using Processing Notes. 813
Specialized Systems 3
- C. E. Oleson:
EXAMINER: A System Using Contextual Knowledge for Analysis of Diagnostic Behavior. 814-818 - William R. Swartout:
A Digitalis Therapy Advisor with Explanations. 819-825 - Sholom M. Weiss, Casimir A. Kulikowski, Aran Safir:
A Model-Based Consultation System for the Long-Term Management of Glaucoma. 826-832
Specialized Systems 4
- Douglas B. Lenat:
Automated Theory Formation in Mathematics. 833-842 - Edwina Rissland Michener:
Structuring Mathematical Knowledge. 843 - Frank M. Brown, Sten-Åke Tärnlund:
Inductive Reasoning in Mathematics. 844-850 - Vesko Marinov:
Computer Understanding of Mathematical Proofs. 851-857 - William J. Clancey:
An Antibiotic Therapy Selector which Provides for Explanations. 858
Applications 1
- Anthony I. Hinxman:
A Two-dimensional Trim-Loss Problem with Sequencing Constraints. 859-864 - John Wade Ulrich:
The Analysis and Synthesis of Jazz by Computer. 865-872 - Margaret King, Monique Ornato, Gian Piero Zarri, Lucia Zarri-Baldi, A. Zwiebel:
Ghosts in the Machine: An AI Treatment of Medieval History. 873-879 - S. I. Samolylenko:
Application of Fuzzy Heuristic Techniques to Computer Network Design. 880 - John M. Hollerbach:
A Simple Model for Handwriting. 881
Applications 2
- Nancy Martin, Peter Friedland, Jonathan King, Mark Stefik:
Knowledge Base Management for Experiment Planning in Molecular Genetics. 882-887 - Austin Tate:
Generating Project Networks. 888-893 - Gerald J. Sussman:
Electrical Design: A Problem for Artificial Intelligence Research. 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. 903-904
Languages and Systems 1
- Warren Teitelman:
A Display Oriented Programmer's Assistant. 905-915 - David C. Brown, Stanley C. Kwasny, H. William Buttelmann, B. Chandrasekaran, Norman K. Sondheimer:
NLG - Natural Language Graphics. 916 - Larry Travis, Masahiro Honda, Richard LeBlanc, Stephen F. Zeigler:
TELOS, A Language for Building Well-Structured AI Models. 917 - Lotfi A. Zadeh:
PRUF - A Language for the Representation of Meaning in Natural Languages. 918 - Vladimir V. Chavchanidze:
Heuristico-Conceptual Programming. 919
Languages and Systems 2
- Randall Davis, Bruce G. Buchanan:
Meta-Level Knowledge: Overview and Applications. 920-927 - Douglas B. Lenat, John P. McDermott:
Less Than General Production System Architectures. 928-932 - Charles Forgy, John P. McDermott:
OPS, A Domain-Independent Production System Language. 933-939
Panels
- William B. Gevarter, James S. Albus, N. Caplan, B. Chern, Kent K. 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, Richard Greenblatt, Jacques Pitrat, Arthur Samuel, David J. 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
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-12-01 00:17 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:
