default search action
9th AAAI 1991: Anaheim, California
- Thomas L. Dean, Kathleen R. McKeown:
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
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 C. 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 R. 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
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-12-10 20:50 CET 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: