Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-25 20:48 CEST 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:
