9. AAAI 1991: Anaheim, California

Thomas L. Dean, Kathleen McKeown (Eds.): Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Volume 1. AAAI Press / The MIT Press 1991, ISBN 0-262-51059-6

CASE-Based Reasoning

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

Transformation in Design

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

Communication and Cooperation

Education

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

User Interfaces

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

Generation and Interaction

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

Syntax and Semantics I

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

Syntax and Semantics II

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

Formalisms for Coordination

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

Multiagent Architectures

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

Constraint Reasoning and Component Technologies

Constraint-Based Reasoning

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

Temporal Constraints

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

Extensions of Truth Maintenance

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

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
Steve Kuo, Dan I. Moldovan: Implementation of Multiple Rule Firing Production Systems on Hypercube. 304-309
Daniel E. Neiman: Control Issues in Parallel Rule-Firing Production Systems. 310-316
Ian Green: Using Abstraction to Automate Program Improvement by Transformation. 317-322

Verification of Rule-Based Systems

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

Formal Methods in Knowledge Representation

Time and Action

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

Nonmonotonic Reasoning I

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

Nonmonotonic Reasoning II

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

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
Alan F. McMichael: Mechanization of Analytic Reasoning About Sets. 427-433

Search

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

Terminological Reasoning

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

Belief Functions

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

Truth Maintenance Systems

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

Last update Sat May 25 23:25:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page