The SCEAS System
Navigation Menu

Conferences in DBLP

National Conference on Artificial Intelligence (AAAI) (aaai)
1980 (conf/aaai/80)

  1. 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]
  2. 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]
  3. 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]
  4. Harry G. Barrow, Jay M. Tenenbaum
    Interpreting Line Drawings as Three-Dimensional Surfaces. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:11-14 [Conf]
  5. 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]
  6. Eugene C. Freuder
    Information Needed to Label a Scene. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:15-20 [Conf]
  7. Rodney A. Brooks, Thomas O. Binford
    Interpretive Vision and Restriction Graphs. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:21-27 [Conf]
  8. 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]
  9. Daryl T. Lawton
    Constraint-Based Inference from Image Motion. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:31-34 [Conf]
  10. Jon A. Webb
    Static Analysis of Moving Jointed Objects. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:35-37 [Conf]
  11. Marsha Jo Hannah
    Bootstrap Stereo. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:38-40 [Conf]
  12. Robert C. Bolles
    Locating Partially Visible Objects: The Local Feature Focus Method. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:41-43 [Conf]
  13. 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]
  14. Stephen T. Barnard
    Automated Inspection Using Gray-Scale Statistics. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:49-52 [Conf]
  15. 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]
  16. Olivier D. Faugeras
    An Optimisation Approach for Using Contextual Information in Conputer Vision. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:56-60 [Conf]
  17. Louis I. Steinberg
    Question Ordering in a Mixed Intiative Program Specification Dialogue. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:61-63 [Conf]
  18. Steve Tappel
    Some Algorithm Design Methods. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:64-67 [Conf]
  19. Stephen Fickas
    Automatic Goal-Directed Program Transformation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:68-70 [Conf]
  20. Brian P. McCune
    Incremental, Informal Program Acquisition. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:71-73 [Conf]
  21. P. A. Subrahmanyam
    A Basis for a Theory of Program Synthesis. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:74-76 [Conf]
  22. 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]
  23. David A. Plaisted
    An Efficient Relevance Criterion for Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:79-83 [Conf]
  24. 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]
  25. 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]
  26. Luigia Carlucci Aiello
    Automatic Generation of Semantic Attachments in FOL. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:90-92 [Conf]
  27. Daniel L. Chester
    HCPRVR: An Interpreter for Logic Programs. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:93-95 [Conf]
  28. Vincent J. Digricoli
    First Experiments with Rue Automated Deduction. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:96-98 [Conf]
  29. David J. Israel
    What's Wrong with Non-Monotonic Logic? [Citation Graph (1, 0)][DBLP]
    AAAI, 1980, pp:99-101 [Conf]
  30. Dana S. Nau
    Pathology on Game Trees: A Summary of Results. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:102-104 [Conf]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. Janice S. Aikins
    Representation of Control Knowledge in Expert Systems. [Citation Graph (1, 0)][DBLP]
    AAAI, 1980, pp:121-123 [Conf]
  36. Jaime G. Carbonell
    DELTA-MIN: A Search-Control Method for Information-Gathering Problems. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:124-127 [Conf]
  37. Arthur M. Farley
    On Waiting. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:128-130 [Conf]
  38. Douglas E. Appelt
    A Planner for Reasoning about Knowledge and Action. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:131-133 [Conf]
  39. Hans J. Berliner
    Making Judgments. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:134-137 [Conf]
  40. Kurt Konolige, Nils J. Nilsson
    Multiple-Agent Planning Systems. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:138-142 [Conf]
  41. Judea Pearl
    SCOUT: A Simple Game-Searching Algorithm with Proven Optimal Properties. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:143-145 [Conf]
  42. Harry C. Reinstein
    Problem Solving in Frame-Structured Systems Using Interactive Dialog. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:146-147 [Conf]
  43. Ann E. Robinson, David E. Wilkins
    Representing Knowledge in an Interactive Planner. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:148-150 [Conf]
  44. Stuart C. Shapiro, Donald P. McKay
    Inference with Recursive Rules. [Citation Graph (8, 0)][DBLP]
    AAAI, 1980, pp:151-153 [Conf]
  45. David E. Smith, Jan E. Clayton
    A Frame-Based Production System Architecture. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:154-156 [Conf]
  46. Carl Hewitt, Giuseppe Attardi, Maria Simi
    Knowledge Embedding in the Description System Omega. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:157-164 [Conf]
  47. Russell Greiner, Douglas B. Lenat
    A Representation Language Language. [Citation Graph (2, 0)][DBLP]
    AAAI, 1980, pp:165-169 [Conf]
  48. Kenneth D. Forbus
    Spatial and Qualitative Aspects of Reasoning about Motion. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:170-173 [Conf]
  49. Martin Herman
    Computer Interpretation of Human Stick Figures. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:174-177 [Conf]
  50. Gordon S. Novak, Agustin A. Araya
    Research on Expert Problem Solving in Physics. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:178-180 [Conf]
  51. Philip Klahr, William S. Faught
    Knowledge-Based Simulation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:181-183 [Conf]
  52. Carl Engelman, Ethan A. Scarl, Charles H. Berg
    Interactive Frame Instantiation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:184-186 [Conf]
  53. Ira P. Goldstein, Daniel G. Bobrow
    Descriptions for a Programming Environment. [Citation Graph (5, 0)][DBLP]
    AAAI, 1980, pp:187-189 [Conf]
  54. William Mark
    Rule-Based Inference in Large Knowledge Bases. [Citation Graph (2, 0)][DBLP]
    AAAI, 1980, pp:190-194 [Conf]
  55. John L. Goodson
    A Process for Evaluating Tree-Consistency. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:195-198 [Conf]
  56. Gerald R. Barber
    Reasoning about Change in Knowledgeable Office Systems. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:199-201 [Conf]
  57. 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]
  58. Michael R. Genesereth
    Metaphors and Models. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:208-211 [Conf]
  59. 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]
  60. Chuck Rieger, Craig Stanfill
    Real Time Causal Monitors for Complex Physical Sites. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:215-217 [Conf]
  61. Thomas G. Dietterich
    Applying General Induction Methods to the Card Game Eleusis. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:218-220 [Conf]
  62. Robert Smith
    Modelling Student Acquisition of Problem-Solving Skills. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:221-223 [Conf]
  63. Mallory Selfridge
    A Computer Model of Child Language Learning. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:224-227 [Conf]
  64. Michael D. Rychener
    Approaches to Knowledge Acquisition: The Instructable Production System Project. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:228-230 [Conf]
  65. René Reboh
    Using a Matcher to Make an Expert Consultation System Behave Intelligently. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:231-234 [Conf]
  66. Norman Haas, Gary G. Hendrix
    An Approach to Acquiring and Applying Knowledge. [Citation Graph (2, 0)][DBLP]
    AAAI, 1980, pp:235-239 [Conf]
  67. Stephen B. Whitehill
    Self-Correcting Generalization. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:240-242 [Conf]
  68. Jonathan J. King
    Intelligent Retrieval Planning. [Citation Graph (1, 0)][DBLP]
    AAAI, 1980, pp:243-245 [Conf]
  69. Drew V. McDermott
    A Theory of Metric Spatial Inference. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:246-248 [Conf]
  70. Scott E. Fahlman
    Design Sketch for a Million-Element NETL Machine. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:249-252 [Conf]
  71. Thomas D. Garvey, Martin A. Fischler
    Perceptual Reasoning in a Hostile Environment. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:253-255 [Conf]
  72. Edwina L. Rissland, Elliot Soloway
    Overview of an Example Generation System. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:256-258 [Conf]
  73. Wellington Yu Chiu
    Structure Comparison and Semantic Interpretation of Differences. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:259-262 [Conf]
  74. Shamim A. Naqvi, Lawrence J. Henschen
    Performing Inferences over Recursive Data Bases. [Citation Graph (3, 0)][DBLP]
    AAAI, 1980, pp:263-265 [Conf]
  75. Jarrett Rosenberg
    Piaget and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:266-268 [Conf]
  76. John P. McDermott
    RI: an Expert in the Computer Systems Domain. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:269-271 [Conf]
  77. Donald A. Waterman, Mark Peterson
    Rule-Based Models of Legal Expertise. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:272-275 [Conf]
  78. David R. Barstow
    Exploiting a Domain Model in an Expert Spectral Analysis Program. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:276-279 [Conf]
  79. 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]
  80. Milton R. Grinberg
    A Knowledge Based Design System for Digital Electronics. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:283-285 [Conf]
  81. 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]
  82. 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]
  83. Leonard Friedman
    Trouble-Shooting by Plausible Inference. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:292-294 [Conf]
  84. 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]
  85. L. Thorne McCarty
    Some Requirements for a Computer-Based Legal Consultant. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:298-300 [Conf]
  86. Richard H. Granger
    When Expectation Fails: Towards a Self-Correcting Inference System. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:301-305 [Conf]
  87. Kathleen McKeown
    Generating Relevant Explanations: Natural Language Responses to Questions about Database Structure. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:306-309 [Conf]
  88. Timothy W. Finin
    The Semantic Interpretation of Nominal Compounds. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:310-312 [Conf]
  89. Lawrence Birnbaum, Margot Flowers, Rod McGuire
    Towards an AI Model of Argumentation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:313-315 [Conf]
  90. Robert J. Bobrow, Bonnie L. Webber
    Knowledge Representation for Syntactic/Semantic Processing. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:316-323 [Conf]
  91. Michael Lebowitz
    Language and Memory: Generalization as a Part of Understanding. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:324-326 [Conf]
  92. Eric Mays
    Failures in Natural Language Systems: Applications to Data Base Query Systems. [Citation Graph (2, 0)][DBLP]
    AAAI, 1980, pp:327-330 [Conf]
  93. Janet L. Kolodner
    Organizing Memory and Keeping it Organized. [Citation Graph (1, 0)][DBLP]
    AAAI, 1980, pp:331-333 [Conf]
  94. Robert Wilensky
    Meta-Planning. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:334-336 [Conf]
  95. Wendy G. Lehnert
    Narrative Text Summarization. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:337- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002