Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st AAAI 1980: Stanford University, CA
- Robert Balzer:
Proceedings of the 1st Annual National Conference on Artificial Intelligence, Stanford University, CA, USA, August 18-21, 1980. AAAI Press/MIT Press 1980, ISBN 0-262-51050-2
Vision
Early Vision Processing
- Andrew P. Witkin:
A Statistical Technique for Recovering Surface Orientation from Texture in Natural Imagery. 1-3 - John R. Kender, Takeo Kanade:
Mapping Image Properties into Shape Constraints: Skewed Symmetry and Affine-Tramsfornable Patterns, and the Shape-from-Texture Paradigm. 4-6 - William B. Thompson, Albert Yonas:
What Should be Computed in Low Level Vision Systems. 7-10 - Harry G. Barrow, Jay M. Tenenbaum:
Interpreting Line Drawings as Three-Dimensional Surfaces. 11-14 - Mike Brady, W. Eric L. Grimson, D. J. Langridge:
Shape Encoding and Subjective Contours. 15-17
Scene Analysis
- Eugene C. Freuder:
Information Needed to Label a Scene. 18-20 - Rodney A. Brooks, Thomas O. Binford:
Interpretive Vision and Restriction Graphs. 21-27 - Linda G. Shapiro, John D. Moriarty, Prasanna G. Mulgaonkar, Robert M. Haralick:
Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene Analysis. 28-30
Motion Analysis
- Daryl T. Lawton:
Constraint-Based Inference from Image Motion. 31-34 - Jon A. Webb:
Static Analysis of Moving Jointed Objects. 35-37 - Marsha Jo Hannah:
Bootstrap Stereo. 38-40
Robotic Vision
- Robert C. Bolles:
Locating Partially Visible Objects: The Local Feature Focus Method. 41-43 - Narendra Ahuja, Robert T. Chien, R. Yen, N. Bridwell:
Interference Detection and Collision Avoidance Among Three Dimensional Objects. 44-48 - Stephen T. Barnard:
Automated Inspection Using Gray-Scale Statistics. 49-52
Publication Only
- Norman I. Badler, Joseph O'Rourke, Stephen Platt, Mary A. Morris:
Human Movement Understanding: A Variety of Perspectives. 53-55 - Olivier D. Faugeras:
An Optimisation Approach for Using Contextual Information in Conputer Vision. 56-60
Program Synthesis
- Louis I. Steinberg:
Question Ordering in a Mixed Intiative Program Specification Dialogue. 61-63 - Steve Tappel:
Some Algorithm Design Methods. 64-67 - Stephen Fickas:
Automatic Goal-Directed Program Transformation. 68-70
Publication Only
- Brian P. McCune:
Incremental, Informal Program Acquisition. 71-73 - P. A. Subrahmanyam:
A Basis for a Theory of Program Synthesis. 74-76 - Richard J. Wood:
A Program Model and Knowledge Base for Computer Aided Program Synthesis. 77-78
Theorem Proving
- David A. Plaisted:
An Efficient Relevance Criterion for Mechanical Theorem Proving. 79-83 - Jacek Leszczylowski:
On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. 84-86 - Gerald E. Peterson:
A Technique for Establishing Completeness Results in Theorem Proving with Equality. 87-89
Publication Only
- Luigia Carlucci Aiello:
Automatic Generation of Semantic Attachments in FOL. 90-92 - Daniel L. Chester:
HCPRVR: An Interpreter for Logic Programs. 93-95 - Vincent J. Digricoli:
First Experiments with Rue Automated Deduction. 96-98
Mathematical and Theoretical Foundations
- David J. Israel:
What's Wrong with Non-Monotonic Logic? 99-101 - Dana S. Nau:
Pathology on Game Trees: A Summary of Results. 102-104 - S. W. Ng, Adrian Walker:
Max-Mim Chaining of Weighted Causal Assertions is Loop Free. 105-107
Problem Solvin
Cooperative Expert Systems
- Robert Balzer, Lee D. Erman, Philip London, Chuck Williams:
HEARSAY-II: A Domain-Independent Framework for Expert Systems. 108-110 - Victor R. Lesser, S. Reed, Jasmina Pavlin:
Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation Systems. 111-115 - Eugene Ball, Philip J. Hayes:
Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface. 116-120
Problem Solving and Control
- Janice S. Aikins:
Representation of Control Knowledge in Expert Systems. 121-123 - Jaime G. Carbonell:
DELTA-MIN: A Search-Control Method for Information-Gathering Problems. 124-127 - Arthur M. Farley:
On Waiting. 128-130
Publication Only
- Douglas E. Appelt:
A Planner for Reasoning about Knowledge and Action. 131-133 - Hans J. Berliner:
Making Judgments. 134-137 - Kurt Konolige, Nils J. Nilsson:
Multiple-Agent Planning Systems. 138-142 - Judea Pearl:
SCOUT: A Simple Game-Searching Algorithm with Proven Optimal Properties. 143-145 - Harry C. Reinstein:
Problem Solving in Frame-Structured Systems Using Interactive Dialog. 146-147 - Ann E. Robinson, David E. Wilkins:
Representing Knowledge in an Interactive Planner. 148-150 - Stuart C. Shapiro, Donald P. McKay:
Inference with Recursive Rules. 151-153
Knowledge Representation
Advanced Knowledge Representation
- David E. Smith, Jan E. Clayton:
A Frame-Based Production System Architecture. 154-156 - Carl Hewitt, Giuseppe Attardi, Maria Simi:
Knowledge Embedding in the Description System Omega. 157-164 - Russell Greiner, Douglas B. Lenat:
A Representation Language Language. 165-169
Applied Knowledge Representation
- Kenneth D. Forbus:
Spatial and Qualitative Aspects of Reasoning about Motion. 170-173 - Martin Herman:
Computer Interpretation of Human Stick Figures. 174-177 - Gordon S. Novak, Agustin A. Araya:
Research on Expert Problem Solving in Physics. 178-180 - Philip Klahr, William S. Faught:
Knowledge-Based Simulation. 181-183 - Carl Engelman, Ethan A. Scarl, Charles H. Berg:
Interactive Frame Instantiation. 184-186
Specialized Issues in Knowledge Representation
- Ira P. Goldstein, Daniel G. Bobrow:
Descriptions for a Programming Environment. 187-189 - William Mark:
Rule-Based Inference in Large Knowledge Bases. 190-194 - John L. Goodson:
A Process for Evaluating Tree-Consistency. 195-198
Publication Only
- Gerald R. Barber:
Reasoning about Change in Knowledgeable Office Systems. 199-201 - Richard Fikes, D. Austin Henderson Jr.:
On Supporting the Use of Procedures in Office Work. 202-207 - Michael R. Genesereth:
Metaphors and Models. 208-211 - James R. Meehan:
Everything You Always Wanted to Know About Authority Structures But Were Unable to Represent. 212-214 - Chuck Rieger, Craig Stanfill:
Real Time Causal Monitors for Complex Physical Sites. 215-217
Knowledge Acquisition
- Thomas G. Dietterich:
Applying General Induction Methods to the Card Game Eleusis. 218-220 - Robert Smith:
Modelling Student Acquisition of Problem-Solving Skills. 221-223 - Mallory Selfridge:
A Computer Model of Child Language Learning. 224-227 - Michael D. Rychener:
Approaches to Knowledge Acquisition: The Instructable Production System Project. 228-230 - René Reboh:
Using a Matcher to Make an Expert Consultation System Behave Intelligently. 231-234 - Norman Haas, Gary G. Hendrix:
An Approach to Acquiring and Applying Knowledge. 235-239
Publication Only
- Stephen B. Whitehill:
Self-Correcting Generalization. 240-242
Specialized Systems
- Jonathan J. King:
Intelligent Retrieval Planning. 243-245 - Drew V. McDermott:
A Theory of Metric Spatial Inference. 246-248 - Scott E. Fahlman:
Design Sketch for a Million-Element NETL Machine. 249-252 - Thomas D. Garvey, Martin A. Fischler:
Perceptual Reasoning in a Hostile Environment. 253-255 - Edwina L. Rissland, Elliot Soloway:
Overview of an Example Generation System. 256-258
Publication Only
- Wellington Yu Chiu:
Structure Comparison and Semantic Interpretation of Differences. 259-262 - Shamim A. Naqvi, Lawrence J. Henschen:
Performing Inferences over Recursive Data Bases. 263-265 - Jarrett Rosenberg:
Piaget and Artificial Intelligence. 266-268
Applications
- John P. McDermott:
RI: an Expert in the Computer Systems Domain. 269-271 - Donald A. Waterman, Mark Peterson:
Rule-Based Models of Legal Expertise. 272-275 - David R. Barstow:
Exploiting a Domain Model in an Expert Spectral Analysis Program. 276-279 - Lance A. Miller:
Project EPISTLE: A System for the Automatic Analysis of Business Correspondence. 280-282 - Milton R. Grinberg:
A Knowledge Based Design System for Digital Electronics. 283-285 - Christian C. Wagner, John F. Vinsonhaler:
Theory Directed Reading Diagnosis Research Using Computer Simulation. 286-288
Publication Only
- Kenneth Mark Colby, Daniel Christinaz, Santiago Graham, Roger C. Parkison:
A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis. 289-291 - Leonard Friedman:
Trouble-Shooting by Plausible Inference. 292-294 - John Gaschnig:
An Application of the Prospector System to DOE's National Uranium Resource Evaluation. 295-297 - L. Thorne McCarty:
Some Requirements for a Computer-Based Legal Consultant. 298-300
Natural Language
Natural Language
- Richard H. Granger:
When Expectation Fails: Towards a Self-Correcting Inference System. 301-305 - Kathleen R. McKeown:
Generating Relevant Explanations: Natural Language Responses to Questions about Database Structure. 306-309 - Timothy W. Finin:
The Semantic Interpretation of Nominal Compounds. 310-312
Publication Only
- Lawrence Birnbaum, Margot Flowers, Rod McGuire:
Towards an AI Model of Argumentation. 313-315 - Robert J. Bobrow, Bonnie L. Webber:
Knowledge Representation for Syntactic/Semantic Processing. 316-323 - Michael Lebowitz:
Language and Memory: Generalization as a Part of Understanding. 324-326 - Eric Mays:
Failures in Natural Language Systems: Applications to Data Base Query Systems. 327-330
Memory Models
- Janet L. Kolodner:
Organizing Memory and Keeping it Organized. 331-333 - Robert Wilensky:
Meta-Planning. 334-336 - Wendy G. Lehnert:
Narrative Text Summarization. 337-339
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-22 21:10 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:
