Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd AAAI 1982: Pittsburgh, PA
- David L. Waltz:
Proceedings of the National Conference on Artificial Intelligence, Pittsburgh, PA, USA, August 18-20, 1982. AAAI Press 1982, ISBN 0-262-51051-0
Vision
- K. Prazdny:
The Role of Eye Position Information in Algorithms for Stereoscopic Matching. 1-4 - D. D. Hoffman, W. A. Richards:
Representing Smooth Plane Curves for Recognition: Implications for Figure-Ground Reversal. 5-8 - John R. Kender:
Why Perspective Is Difficult: How Two Algorithms Fail. 9-12 - Donald B. Gennery:
Tracking Known Three-Dimensional Objects. 13-17 - Katsushi Ikeuchi, Yoshiaki Shirai:
A Model Based Vision System for Recognition of Machine Parts. 18-21 - Alex Pentland:
Local Computation of Shape. 22-25 - William B. Thompson, Kathleen M. Mutch, Valdis Berzins:
Edge Detection in Optical Flow Fields. 26-29 - Martin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. H. Quam, G. Smith, Andrew P. Witkin:
Modeling and Using Physical Constraints in Scene Analysis. 30-35 - Andrew P. Witkin:
Intensity-Based Edge Classification. 36-41 - Gérard G. Medioni:
Segmentation of Images Into Regions Using Edge Information. 42-45 - Jia-Qi Fang, Thomas S. Huang:
A Corner Finding Algorithm for Image Analysis and Registration. 46-49 - M. D. Diamond, N. Narasimhamurthi, S. Ganapathy:
A Systematic Approach to Continuous Graph Labeling With Application to Computer Vision. 50-54 - Paul Amaranth, William Jaynes:
Determining Surface Type From Surface Normals. 55-58
Natural Language and Speech
- Douglas E. Appelt:
Planning Natural-Language Utterances. 59-62 - Lawrence Birnbaum:
Argument Molecules: A Functional Representation of Argument Structure. 63-65 - James F. Allen, Alan M. Frisch, Diane J. Litman:
ARGOT: The Rochester Dialogue System. 66-70 - Marc Luria:
Dividing Up the Question Answering Process. 71-74 - David D. McDonald, E. Jeffrey Conklin:
Salience as a Simplifying Metaphor for Natural Language Generation. 75-78 - Mark A. Jones, David Scott Warren:
Conceptual Dependency and Montague Grammar: A Step Toward Conciliation. 79-83 - David L. Waltz:
Event Shape Diagrams. 84-87 - Robert Milne:
An Explanation for Minimal Attachment and Right Association. 88-90 - Mark D. Grover:
A Synthetic Approach to Temporal Information Processing. 91-94 - Graeme Hirst, Eugene Charniak:
Word Sense and Case Slot Disambiguation. 95-98 - David M. Keirsey:
Word Learning With Hierarchy-Guided Inference. 99-102 - Robert Wilensky:
Talking to UNIX in English: An Overview of UC. 103-106 - Renato de Mori, Attilio Giordana, Lorenza Saitta, Pietro Laface:
An Expert System for Interpreting Speech Patterns. 107-110
Problem Solving and Search
- Bruce W. Ballard:
A Search Procedure for Perfect Information Games of Chance: Its Formulation and Analysis. 111-114 - Jeffrey S. Rosenschein:
Synchronization of Multi-Agent Plans. 115-119 - Dana S. Nau, Vipin Kumar, Laveen N. Kanal:
A General Paradigm for A.I. Search Procedures. 120-123 - Paul Walton Purdom Jr., Cynthia A. Brown:
Evaluating Search Methods Analytically. 124-127 - Bernard Nudel:
Consistent-Labeling Problems and Their Algorithms. 128-132 - Judea Pearl:
Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach. 133-136 - Randall Davis, Howard E. Shrobe, Walter Hamscher, Kären Wieckert, Mark Shirley, Steve Polit:
Diagnosis Based on Description of Structure and Function. 137-142 - Daniel D. Corkill, Victor R. Lesser, Eva Hudlicka:
Unifying Data-Directed and Goal-Directed Control: An Example and Experiments. 143-147 - Sargur N. Srihari, Jonathan J. Hull:
Knowledge Integration in Text Recognition. 148-151 - Reid G. Simmons:
Spatial and Temporal Reasoning in Geologic Map Interpretation. 152-154 - Mark S. Fox, Bradley P. Allen, Gary Strohm:
Job-Shop Scheduling: An Investigation in Constraint-Directed Reasoning. 155-158 - Douglas B. Lenat:
Heuretics: Theoretical and Experimental Study of Heuristic Rules. 159-163 - Richard E. Korf:
A Program That Learns to Solve Rubik's Cube. 164-167 - Jaime G. Carbonell:
Experiential Learning in Analogical Problem Solving. 168-171 - Blake Ward, Gordon I. McCalla:
Error Detection and Recovery in a Dynamic Planning Environment. 172-175 - Rajendra S. Wall, Edwina L. Rissland:
Scenarios as an Aid to Planning. 176-180 - David McArthur, Randall Steeb, Stephanie J. Cammarata:
A Framework for Distributed Problem Solving. 181-184 - Joseph Faletti:
PANDORA: A Program for Doing Commonsense Planning in Complex Situations. 185-188
Knowledge Represenation
- Ronald J. Brachman, Hector J. Levesque:
Competence in Knowledge Representation. 189-192 - Charles Rich:
Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too. 193-196 - Marc B. Vilain:
A System for Reasoning About Time. 197-201 - Kurt Konolige:
Circumscriptive Ignorance. 202-204 - Kenneth D. Forbus:
Modeling Motion With Qualitative Process Theory. 205-208 - Benjamin Kuipers:
Getting the Envisionment Right. 209-212 - Hans J. Berliner, David H. Ackley:
The QBKG System: Generating Explanations From a Non-Discrete Knowledge Representation. 213-216 - Carl T. Uhrik:
PLANT/ds Revisited: Non-Homogeneous Evaluation Schema in Expert Systems. 217-220 - Neil C. Rowe:
Inheritance of Statistical Properties. 221-224
Theorem Proving
- Mabry Tyson:
Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover. 225-228 - Mark E. Stickel:
A Nonclausal Connection-Graph Resolution Theorem-Proving Program. 229-233
AI Languages and Software
- Alan Borning, Daniel H. H. Ingalls:
Multiple Inheritance in Smalltalk-BO. 234-237 - Gordon S. Novak:
GLISP: A High-Level Language for A.I. Programming. 238-241
Specialized Architecture for AI
- Salvatore J. Stolfo, David Elliot Shaw:
DADO: A Tree-Structured Machine Architecture for Production Systems. 242-246
Cognitive Modeling
- Steven L. Small, Garrison W. Cottrell, Lokendra Shastri:
Toward Connectionist Parsing. 247-250 - Mallory Selfridge:
Why Do Children Misunderstand Reversible Passives? The CHILD Program Learns to Understand Passive Sentences. 251-254 - Paul S. Rosenbloom, Allen Newell:
Learning by Chunking: Summary of a Task and a Model. 255-257 - R. J. Elliott, Michael Lesk:
Route Finding in Street Maps by Computers and People. 258-261 - William F. Brewer:
Plan Understanding, Narrative Comprehension, and Story Schemas. 262-264 - Michael G. Dyer:
Affect Processing for Narratives. 265-268 - Margot Flowers:
On Being Contradictory. 269-272 - Janet L. Kolodner:
The Role of Experience in Development of Expertise. 273-277
Applications Systems
Computer Systems and Engineering
- Michael R. Genesereth:
Diagnosis Using Hierarchical Design Models. 278-283 - Van E. Kelly, Louis I. Steinberg:
The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications. 284-289 - Hal Shubin, John Wade Ulrich:
IDT: An Intelligent Diagnostic Tool. 290-295 - William R. Nelson:
REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents. 296-301 - W. E. Underwood:
A CSA Model-Based Nuclear Power Plant Consultant. 302-305
Knowledge / Databases
- Charles Kellogg:
Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology. 306-309 - Laurent Siklóssy, Jean-Louis Laurière:
Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques. 310-313 - Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone:
RABBIT: An Intelligent Database Assistant. 314-318 - Susan P. Ennis:
Expert Systems: A User's Perspective of Some Current Tools. 319-321 - Sholom M. Weiss, Casimir A. Kulikowski, Chidanand Apté, Michael Uschold, Jay Patchett, Robert Brigham, Belynda Spitzer:
Building Expert Systems for Controlling Complex Programs. 322-326 - Lawrence A. Stabile:
Frame-Based Computer Network Monitoring. 327-330 - Philip Klahr, David McArthur, Sanjai Narain:
SWIRL: An Object-Oriented Air Battle Simulator. 331-334 - Bob London, William J. Clancey:
Plan Recognition Strategies in Student Modeling: Prediction and Description. 335-338 - Jeff Shrager, Timothy W. Finin:
An Expert System That Volunteers Advice. 339-340 - Yumi Iwasaki, Peter Friedland:
SPEX: A Second-Generation Experiment Design System. 341-344
Medical
- Ramesh S. Patil, Peter Szolovits, William B. Schwartz:
Information Acquisition in Diagnosis. 345-348 - B. Chandrasekaran, Sanjay Mittal:
Deep Versus Compiled Knowledge Approaches to Diagnostic Problem-Solving. 349-354 - Robert L. Blum:
Induction of Causal Relationships From a Time-Oriented Clinical Database: An Overview of the RX Project. 355-357 - Martha E. Pollack, Julia Hirschberg, Bonnie L. Webber:
User Participation in the Reasoning Processes of Expert Systems. 358-361 - Norihiro Abe, Fumihide Itoh, Saburo Tsuji:
Toward a Learning of Object Models Using Analogical Objects and Verbal Instruction. 362-366 - David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal:
An Overview of PhiNIX. 367-369 - Drew V. McDermott, Ruven E. Brooks:
ARBY: Diagnosis With Shallow Causal Models. 370-372 - Daniel E. Neiman:
Graphical Animation From Knowledge. 373-376
Robotics
- Hans P. Moravec:
The CMU Rover. 377-380 - Rodney A. Brooks:
Solving the Find-Path Problem by Good Representation of Free Space. 381-386 - Jonathan Delatizky:
Final Position Control in Planar Horizontal Arm Movements. 387-389 - Tokuji Okada:
Development of an Overall Direction-of-Action Sensor for Robots. 390-393 - E. Gordon Powell:
An Efficient Collision Warning Algorithm for Robot Arms. 394-395 - L. Y. Shih:
Stability of Automatic Guidance for a Mobile Robot. 396-399
Program Synthesis and Understanding
- Joachim H. Laubsch, Marc Eisenstadt:
Using Temporal Abstraction to Understand Recursive Programs Involving Side Effects. 400-403 - William R. Swartout:
GIST English Generator. 404-409
Knowledge Acquisition
- Gerald DeJong:
Automatic Schema Acquisition in a Natural Language Environment. 410-413 - Paul E. Utgoff, Tom M. Mitchell:
Acquisition of Appropriate Bias for Inductive Concept Learning. 414-417
Theoretical Foundations
- Raymond Reiter:
Circumscription Implies Predicate Completion (Sometimes). 418-420 - Eric Mays:
Monitors as Responses to Questions: Determining Competence. 421-423 - John F. Lemmer, Stephen W. Barth:
Efficient Minimum Information Updating for Bayesian Inferencing in Expert Systems. 424-427 - Robert C. Moore:
The Role of Logic in Knowledge Representation and Commonsense Reasoning. 428-433 - Johan de Kleer, John Seely Brown:
Foundations of Envisioning. 434-437
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 05:25 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:
