3. AAAI 1983: Washington, D.C.

Michael R. Genesereth (Ed.): Proceedings of the National Conference on Artificial Intelligence. Washington, D.C., August 22-26, 1983. AAAI Press, 1983, ISBN 0-262-51052-9

Knowledge Representation and Problem Solving

Michael R. Genesereth: An Overview of Meta-Level Architecture. 119-124 BibTeX
David E. Smith: Finding All of the Solutions to a Problem. 373-377 BibTeX
Michael P. Georgeff: Communication and Interaction in Multi-Agent Planning. 125-129 BibTeX
Drew V. McDermott: Data Dependencies on Inequalities. 266-269 BibTeX
Ronald J. Brachman, Hector J. Levesque, Richard Fikes: KRYPTON: Integrating Terminology and Assertion. 31-35 BibTeX
Jean-Louis Lassez, Michael J. Maher: The Denotational Semantics of Horn Clauses as a Production System. 229-231 BibTeX
Mark E. Stickel: Theory Resolution: Building in Nonequational Theories. 391-397 BibTeX
Anthony G. Cohn: Improving the Expressiveness of Many Sorted Logic. 84-87 BibTeX
Eugene Charniak: The Bayesian Basis of Common Sense Medical Diagnosis. 70-73 BibTeX
Carl Hewitt, Peter de Jong: Analyzing the Roles of Descriptions and Actions in Open Systems. 162-167 BibTeX
Harry G. Barrow: Proving the Correctness of Digital Hardware Designs. 17-21 BibTeX
Murray Campbell, Hans J. Berliner: A Chess Program That Chunks. 49-53 BibTeX
Craig Stanfill: The Decomposition of a Large Domain: Reasoning About Machines. 387-390 BibTeX
William J. Long: Reasoning About State From Causation and Time in a Medical Domain. 251-254 BibTeX
Reid G. Simmons: The Use of Qualitative and Quantitative Simulations. 364-368 BibTeX
Elaine Kant, Allen Newell: An Automatic Algorithm Designer: An Initial Implementation. 177-181 BibTeX
David W. Etherington, Raymond Reiter: On Inheritance Hierarchies With Exceptions. 104-108 BibTeX
Elaine Rich: Default Reasoning as Likelihood Reasoning. 348-351 BibTeX
Jane Terry Nutter: Default Reasoning Using Monotonic Logic: A Modest Proposal. 297-300 BibTeX
Philippe Besnard, Rene Quiniou, Patrice Quinton: A Theorem-Prover for a Decidable Subset of Default Logic. 27-30 BibTeX
Jaime G. Carbonell: Derivational Analogy and Its Role in Problem Solving. 64-69 BibTeX

Cognitive Modeling

Neil M. Goldman: Three Dimensions of Design Development. 130-133 BibTeX
Peter Norvig: Six Problems for Story Understanders. 284-287 BibTeX
Kristian J. Hammond: Planning and Goal Interaction: The Use of Past Solutions in Present Situations. 148-151 BibTeX
Mark H. Burstein: A Model of Learning by Incremental Analogical Reasoning and Debugging. 45-48 BibTeX
Benjamin Kuipers: Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation. 216-219 BibTeX
Richard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook: STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior. 139-147 BibTeX
Sarah A. Douglas, Thomas P. Moran: Learning Operator Semantics by Analogy. 100-103 BibTeX
Eswaran Subrahmanian: An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach. 398-401 BibTeX

Vision and Robotics

John F. Canny: A Variational Approach to Edge Detection. 54-58 BibTeX
John R. Kender: Surface Constraints From Linear Extents. 187-190 BibTeX
James J. Little: An Iterative Method for Reconstructing Convex Polyhedra From External Guassian Images. 247-250 BibTeX
Michael J. Brooks: Two Results Concerning Ambiguity in Shape From Shading. 36-39 BibTeX
David G. Lowe, Thomas O. Binford: Perceptual Organization as a Basis for Visual Recognition. 255-260 BibTeX
Darwin T. Kuan, Robert J. Drazovich: Model-Based Interpretation of Range Imagery. 210-215 BibTeX
Robert A. Hummel: A Design Method for Relaxation Labeling Applications. 168-171 BibTeX
Tokuji Okada, Takeo Kanade: Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable Grasping. 301-305 BibTeX
Rodney A. Brooks: Find-Path for a PUMA-Class Robot. 40-44 BibTeX
Terry E. Weymouth, J. S. Griffith, Allen R. Hanson, Edward M. Riseman: Rule Based Strategies for Image Interpretation. 429-432 BibTeX

Natural Language

Kathleen McKeown: Recursion in TEXT and Its Use in Language Generation. 270-273 BibTeX
Bradley A. Goodman: Repairing Miscommunication: Relaxation in Reference. 134-138 BibTeX
Sandra Carberry: Tracking User Goals in an Information-Seeking Environment. 59-63 BibTeX
Paul O'Rorke: Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing. 306-309 BibTeX
Michael Lebowitz: RESEARCHER: An Overview. 232-235 BibTeX
Daniel P. Huttenlocher, Victor W. Sue: Phonotactic and Lexical Constraints in Speech Recognition. 172-176 BibTeX
Edward P. Stabler Jr.: Deterministic and Bottom-Up Parsing in Prolog. 383-386 BibTeX
Henry S. Thompson: MCHART: A Flexible, Modular Chart Parsing System. 408-410 BibTeX
Martha Stone Palmer: Inference-Driven Semantic Analysis. 310-313 BibTeX
Ralph M. Weischedel: Mapping Between Semantic Representations Using Horn Clauses. 424-428 BibTeX
Joan Bachenko, Donald Hindle, Eileen Fitzpatrick: Constraining a Deterministic Parser. 8-11 BibTeX
James Clifford: QE-III: A Formal Approach to Natural Language Ouerying. 79-83 BibTeX
William C. Mann: An Overview of the Penman Text Generation System. 261-265 BibTeX
Michael J. Pazzani: Interactive Script Instantiation. 320-326 BibTeX

Learning

Dennis F. Kibler, Bruce W. Porter: Episodic Learning. 191-196 BibTeX
Kurt VanLehn: Human Procedural Skill Acquisition: Theory, Model and Psychological Validation. 420-423 BibTeX
D. Paul Benjamin, Malcolm C. Harrison: A Production System for Learning Plans From an Expert. 22-26 BibTeX
Richard E. Korf: Operator Decomposability: A New Type of Problem Structure. 206-209 BibTeX
Paul Smolensky: Schema Selection and Stochastic Inference in Modular Environments. 378-382 BibTeX
Douglas B. Lenat, John Seely Brown: Why AM and Eurisko Appear to Work. 236-240 BibTeX
Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry: Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. 433-439 BibTeX
Jack Mostow: A Problem-Solver for Making Advice Operational. 279-283 BibTeX
Steven Salzberg: Generating Hypotheses to Explain Prediction Failures. 352-355 BibTeX
Richard M. Keller: Learning by Re-Expressing Concepts for Efficient Recognition. 182-186 BibTeX
Paul D. Scott: Learning: The Construction of A Posteriori Knowledge Structures. 359-363 BibTeX
Larry A. Rendell: A Doubly Layered, Genetic Penetrance Learning System. 343-347 BibTeX
Elaine Pettit, Kathleen M. Swigger: An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation. 327-332 BibTeX

Expert Systems

Anne v. d. L. Gardner: The Design of a Legal Analysis Program. 114-118 BibTeX
William J. Clancey: The Advantages of Abstract Control Knowledge in Expert System Design. 74-78 BibTeX
William R. Swartout: The GIST Behavior Explainer. 402-407 BibTeX
Nelleke Aiello: A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF. 1-4 BibTeX
Richard M. Tong, Daniel G. Shapiro, Brian P. McCune, Jeffrey S. Dean: A Rule-Based Approach to Information Retrieval: Some Results and Comments. 411-415 BibTeX
James R. Slagle, Michael Gaynor: Expert System Consultation Control Strategy. 369-372 BibTeX
Randall Davis: Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle. 88-94 BibTeX
James A. Reggia, Dana S. Nau, Pearl Y. Wang: A New Inference Method for Frame-Based Expert Systems. 333-337 BibTeX
John C. Kunz: Analysis of Physiological Behavior Using a Causal Model Based on First Principles. 225-228 BibTeX
Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey Shulman, Timothy Weinrich: An Intelligent Aid for Circuit Redesign. 274-278 BibTeX
Jin Kim, John P. McDermott: TALIB: An IC Layout Design Assistant. 197-201 BibTeX
Walter Hamscher: Using Structural and Functional Information in Diagnostic Design. 152-156 BibTeX
Diane Warner Hasling: Abstract Explanations of Strategy in a Diagnostic Consultation System. 157-161 BibTeX

Search

Chun-Hung Tzeng, Paul Walton Purdom Jr.: A Theory of Game Trees. 416-419 BibTeX
Rina Dechter, Judea Pearl: The Optimality of A* Revisited. 95-99 BibTeX
Bernard Nudel: Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities. 292-296 BibTeX
Vipin Kumar, Laveen N. Kanal: The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures. 220-224 BibTeX
Andrew L. Reibman, Bruce W. Ballard: Non-Minimax Search Strategies for Use Against Fallible Opponents. 338-342 BibTeX
Madhur Kohli, Jack Minker: Intelligent Control Using Integrity Constraints. 202-205 BibTeX
Jasmina Pavlin: Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach. 314-319 BibTeX

Support Hardware and Software

Scott E. Fahlman, Geoffrey E. Hinton, Terrence J. Sejnowski: Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines. 109-113 BibTeX
Elizabeth Allen: YAPS: A Production Rule System Meets Objects. 5-7 BibTeX
Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches: Specification-Based Computing Environments. 12-16 BibTeX
Henry Lieberman: An Object-Oriented Simulator for the Apiary. 241-246 BibTeX
Gordon S. Novak: Knowledge-Based Programming Using Abstract Data Types. 288-291 BibTeX
Eric Schoen, Reid G. Smith: IMPULSE: A Display Oriented Editor for STROBE. 356-358 BibTeX