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