9. AAAI 1991: Anaheim, California

Proceedings of the 9th National Conference on Artificial Intelligence, July 14-19, 1991. AAAI Press / The MIT Press, 1991, ISBN 0-262-51059-6, Volume 1

CASE-Based Reasoning

Karl Branting, Bruce W. Porter: Rules and Precedents as Complementary Warrants. 3-9 BibTeX
David B. Leake: An Indexing Vocabulary for Case-Based Explanation. 10-15 BibTeX
Eric A. Domeshek: Indexing Stories as Social Advice. 16-21 BibTeX
Andrew R. Golding, Paul S. Rosenbloom: Improving Rule-Based Systems Through Case-Based Reasoning. 22-27 BibTeX

Transformation in Design

Thomas R. Hinrichs, Janet L. Kolodner: The Roles of Adaptation in Case-Based Design. 28-33 BibTeX
Shankar A. Rajamoney, Hee-Youn Lee: Prototype-Based Reasoning: An Integrated Approach to Solving Large Novel Problems. 34-39 BibTeX

Communication and Cooperation

Education

Daniel Baril, Jim E. Greer, Gordon I. McCalla: Student Modelling with Confluences. 43-48 BibTeX
Hyacinth S. Nwana: FITS: A Fraction Intelligent Tutoring System. 49-54 BibTeX
Joël Courtois: Teaching Diagnostic Skills Using AI: An Architecture Suitable for Students and Teachers. 55-60 BibTeX

User Interfaces

Mark T. Maybury: Planning Multimedia Explanations Using Communicative Acts. 61-66 BibTeX
Gerhard Fischer, Kumiyo Nakakoji: Making Design Objects Relevant to the Task at Hand. 67-73 BibTeX
Loren G. Terveen, David A. Wroblewski: A Tool for Achieving Consensus in Knowledge Representation. 74-79 BibTeX
Rohini K. Srihari: Piction: A System That Uses Captions to Label Human Faces in Newspaper Photographs. 80-85 BibTeX

Generation and Interaction

Alison Cawsey: Generating Interactive Explanations. 86-91 BibTeX
Eduard H. Hovy, Yigal Arens: Automatic Generation of Formatted Text. 92-97 BibTeX
Michael Elhadad: Generating Adjectives to Express the Speaker's Argumentative Intent. 98-104 BibTeX
Jugal K. Kalita, Norman I. Badler: Interpreting Prepositions Physically. 105-110 BibTeX

Syntax and Semantics I

Steven L. Lytinen: Semantics-First Natural Language Processing. 111-116 BibTeX
Claire Cardie, Wendy G. Lehnert: A Cognitively Plausible Approach to Understanding Complex Syntax. 117-124 BibTeX
Alexander G. Hauptmann: From Syntax to Meaning in Natural Language Processing. 125-130 BibTeX
Fei Song, Robin Cohen: Tense Interpretation in the Context of Narrative. 131-136 BibTeX

Syntax and Semantics II

Jeffrey D. Kirtner, Steven L. Lytinen: ULINK: A Semantics-Driven Approach to Understanding Ungrammatical Input. 137-142 BibTeX
Giorgio Satta, Oliviero Stock: A Tabular Method for Island-Driven Context-Free Grammar Parsing. 143-148 BibTeX
Hiroaki Kitano, Tetsuya Higuchi: High Performance Memory-Based Translation on IXM2 Massively Parallel Associative Memory Processor. 149-154 BibTeX
Lois Boggess, Rajeev Agarwal, Ron Davis: Disambiguation of Prepositional Phrases in Automatically Labelled Technical Text. 155-159 BibTeX

Formalisms for Coordination

Eugene Charniak, Robert P. Goldman: A Probabilistic Model of Plan Recognition. 160-165 BibTeX
Piotr J. Gmytrasiewicz, Edmund H. Durfee, David K. Wehe: The Utility of Communication in Coordinating Intelligent Agents. 166-172 BibTeX
Eithan Ephrati, Jeffrey S. Rosenschein: The Clarke Tax as a Consensus Mechanism Among Automated Agents. 173-178 BibTeX
Sarit Kraus, Jonathan Wilkenfeld: The Function of Time in Cooperative Negotiations. 179-184 BibTeX

Multiagent Architectures

Les Gasser, Toru Ishida: A Dynamic Organizational Architecture for Adaptive Problem Solving. 185-190 BibTeX
Norman Carver, Zarko Cvetanovic, Victor R. Lesser: Sophisticated Cooperation in FA/C Distributed Problem Solving Systems. 191-198 BibTeX
Subbarao Kambhampati, Mark R. Cutkosky, Marty Tenenbaum, Soo Hong Lee: Combining Specialized Reasoners and General Purpose Planners: A Case Study. 199-205 BibTeX
Jeff Yung-Choa Pan, Jay M. Tenenbaum: Toward an Intelligent Agent Flamework for Enterprise Integration. 206-212 BibTeX

Constraint Reasoning and Component Technologies

Constraint-Based Reasoning

James Bowen, Dennis Bahler: Conditional Existence of Variables in Generalised Constraint Networks. 215-220 BibTeX
Christian Bessière: Arc-Consistency in Dynamic Constraint Satisfaction Problems. 221-226 BibTeX
Eugene C. Freuder: Eliminating Interchangeable Values in Constraint Satisfaction Problems. 227-233 BibTeX
Gerard Ligozat: On Generalized Interval Calculi. 234-240 BibTeX

Temporal Constraints

Henry A. Kautz, Peter B. Ladkin: Integrating Metric and Qualitative Temporal Reasoning. 241-246 BibTeX
Fei Song, Robin Cohen: Temporal Reasoning During Plan Recognition. 247-252 BibTeX
Massimo Poesio, Ronald J. Brachman: Metric Constraints for Maintaining Appointments: Dates and Repeated Activities. 253-259 BibTeX
Itay Meiri: Combining Qualitative and Quantitative Constraints in Temporal Reasoning. 260-267 BibTeX

Extensions of Truth Maintenance

Geneviéve Morgue, Thomas Chehire: Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System. 268-274 BibTeX
Xueming Huang, Gordon I. McCalla, Eric Neufeld: Using Attention in Belief Revision. 275-280 BibTeX
John W. Collins, Dennis DeCoste: CATMS: An ATMS Which Avoids Label Explosions. 281-287 BibTeX
Charles J. Petrie: Context Maintenance. 288-295 BibTeX

Parallel Support for Rule-Based Systems

Tetsuya Higuchi, Hiroaki Kitano, Tatsumi Furuya, Ken'ichi Handa, Akio Kokubu, Naoto Takahashi: IXM2: A Parallel Associative Processor for Knowledge Processing. 296-303 BibTeX
Steve Kuo, Dan I. Moldovan: Implementation of Multiple Rule Firing Production Systems on Hypercube. 304-309 BibTeX
Daniel E. Neiman: Control Issues in Parallel Rule-Firing Production Systems. 310-316 BibTeX
Ian Green: Using Abstraction to Automate Program Improvement by Transformation. 317-322 BibTeX

Verification of Rule-Based Systems

Pedro Meseguer: Verification of Multi-Level Rule-Based Expert Systems. 323-328 BibTeX
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball: Formal Verification of Pure Production System Programs. 329-334 BibTeX
Jeffrey C. Schlimmer: Learning Meta Knowledge for Database Checking. 335-340 BibTeX

Formal Methods in Knowledge Representation

Time and Action

Munindar P. Singh: A Logic of Situated Know-How. 343-348 BibTeX
Fangzhen Lin, Yoav Shoham: Provably Correct Theories of Action (Preliminary Report). 349-354 BibTeX
Antony Galton: A Critique of Yoav Shoham's Theory of Causal Reasoning. 355-359 BibTeX
Keiji Kanazawa: A Logic and Time Nets for Probabilistic Inference. 360-365 BibTeX

Nonmonotonic Reasoning I

Wolfgang Nejdl: The P-Systems: A Systematic Classification of Logics of Nonmonotonicity. 366-372 BibTeX
Piotr Rychlik: Some Variations on Default Logic. 373-378 BibTeX
Rachel Ben-Eliyahu, Rina Dechter: Default Logic, Propositional Logic, and Constraints. 379-385 BibTeX
Michael Gelfond: Strong Introspection. 386-391 BibTeX

Nonmonotonic Reasoning II

Fahiem Bacchus: Default Reasoning From Statistics. 392-398 BibTeX
Moisés Goldszmidt, Judea Pearl: System-Z+: A Formalism for Reasoning with Variable-Strength Defaults. 399-404 BibTeX
James P. Delgrande: Incorporating Nonmonotonic Reasoning in Horn Clause Theories. 405-411 BibTeX
Jennifer J. Elgot-Drapkin: Step-Logic and the Three-Wise-Men Problem. 412-417 BibTeX

Issues in Automated Reasoning

General Deduction Systems

Ricardo Caferra, Stéphane Demri, Michel Herment: Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics. 421-426 BibTeX
Alan F. McMichael: Mechanization of Analytic Reasoning About Sets. 427-433 BibTeX

Search

Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf: Depth-First Versus Best-First Search. 434-440 BibTeX
Dan Geiger, Jeffrey A. Barnett: Optimal Satisficing Tree Searches. 441-445 BibTeX
Eugene Charniak, Saadia Husain: A New Admissible Heuristic for Minimal-Cost Proofs. 446-451 BibTeX
Matthew L. Ginsberg, Donald F. Geddis: Is There any Need for Domain-Dependent Control Information? 452-457 BibTeX

Terminological Reasoning

Brian R. Gaines: Integrating Rules in Term Subsumption Knowledge Representation Servers. 458-463 BibTeX
Marc B. Vilain: Deduction as Parsing: Tractable Classification in the KL-ONE Framework. 464-470 BibTeX
Maurizio Lenzerini, Andrea Schaerf: Concept Languages as Query Languages. 471-476 BibTeX

Belief Functions

Jeffrey A. Barnett: Combining Opinions About the Order of Rule Execution. 477-481 BibTeX
Solomon Eyal Shimony: Explanation, Irrelevance, and Statistical Independence. 482-487 BibTeX
John F. Lemmer, Henry E. Kyburg Jr.: Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief. 488-493 BibTeX

Truth Maintenance Systems

Hwee Tou Ng, Raymond J. Mooney: An Efficient First-Order Horn-Clause Abduction System Based on the ATMS. 494-499 BibTeX
Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian: The Common Order-Theoretic Structure of Version Spaces and ATMS's. 500-505 BibTeX
Walter Hamscher: ACP: Reason Maintenance and Inference Control for Constraint Propagation Over Intervals. 506-511 BibTeX
David Jerald Goldstone: Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System. 512-517 BibTeX