share record
persistent URL:
Kenneth D. Forbus : Spatial and Qualitative Aspects of Reasoning about Motion. AAAI 1980 : 170-173 share record
persistent URL:
Eugene C. Freuder : Information Needed to Label a Scene. AAAI 1980 : 18-20 share record
persistent URL:
Leonard Friedman : Trouble-Shooting by Plausible Inference. AAAI 1980 : 292-294 share record
persistent URL:
Thomas D. Garvey , Martin A. Fischler : Perceptual Reasoning in a Hostile Environment. AAAI 1980 : 253-255 share record
persistent URL:
John Gaschnig : An Application of the Prospector System to DOE's National Uranium Resource Evaluation. AAAI 1980 : 295-297 share record
persistent URL:
Michael R. Genesereth : Metaphors and Models. AAAI 1980 : 208-211 share record
persistent URL:
Ira P. Goldstein , Daniel G. Bobrow : Descriptions for a Programming Environment. AAAI 1980 : 187-189 share record
persistent URL:
John L. Goodson : A Process for Evaluating Tree-Consistency. AAAI 1980 : 195-198 share record
persistent URL:
Richard H. Granger : When Expectation Fails: Towards a Self-Correcting Inference System. AAAI 1980 : 301-305 share record
persistent URL:
Russell Greiner , Douglas B. Lenat : A Representation Language Language. AAAI 1980 : 165-169 share record
persistent URL:
Milton R. Grinberg : A Knowledge Based Design System for Digital Electronics. AAAI 1980 : 283-285 share record
persistent URL:
Norman Haas , Gary G. Hendrix : An Approach to Acquiring and Applying Knowledge. AAAI 1980 : 235-239 share record
persistent URL:
Marsha Jo Hannah : Bootstrap Stereo. AAAI 1980 : 38-40 share record
persistent URL:
Martin Herman : Computer Interpretation of Human Stick Figures. AAAI 1980 : 174-177 share record
persistent URL:
Carl Hewitt , Giuseppe Attardi , Maria Simi : Knowledge Embedding in the Description System Omega. AAAI 1980 : 157-164 share record
persistent URL:
David J. Israel : What's Wrong with Non-Monotonic Logic? AAAI 1980 : 99-101 share record
persistent URL:
John R. Kender , Takeo Kanade : Mapping Image Properties into Shape Constraints: Skewed Symmetry and Affine-Tramsfornable Patterns, and the Shape-from-Texture Paradigm. AAAI 1980 : 4-6 share record
persistent URL:
Jonathan J. King : Intelligent Retrieval Planning. AAAI 1980 : 243-245 share record
persistent URL:
Philip Klahr , William S. Faught : Knowledge-Based Simulation. AAAI 1980 : 181-183 share record
persistent URL:
Janet L. Kolodner : Organizing Memory and Keeping it Organized. AAAI 1980 : 331-333 share record
persistent URL:
Kurt Konolige , Nils J. Nilsson : Multiple-Agent Planning Systems. AAAI 1980 : 138-142 share record
persistent URL:
Daryl T. Lawton : Constraint-Based Inference from Image Motion. AAAI 1980 : 31-34 share record
persistent URL:
Michael Lebowitz : Language and Memory: Generalization as a Part of Understanding. AAAI 1980 : 324-326 share record
persistent URL:
Wendy G. Lehnert : Narrative Text Summarization. AAAI 1980 : 337-339 share record
persistent URL:
Victor R. Lesser , S. Reed , Jasmina Pavlin : Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation Systems. AAAI 1980 : 111-115 export record
dblp key:
conf/aaai/Leszczylowski80 share record
persistent URL:
Jacek Leszczylowski : On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. AAAI 1980 : 84-86 share record
persistent URL:
William Mark : Rule-Based Inference in Large Knowledge Bases. AAAI 1980 : 190-194 share record
persistent URL:
Eric Mays : Failures in Natural Language Systems: Applications to Data Base Query Systems. AAAI 1980 : 327-330 share record
persistent URL:
L. Thorne McCarty : Some Requirements for a Computer-Based Legal Consultant. AAAI 1980 : 298-300 share record
persistent URL:
Brian P. McCune : Incremental, Informal Program Acquisition. AAAI 1980 : 71-73