Conferences in DBLP
Karl Branting , Bruce W. Porter Rules and Precedents as Complementary Warrants. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Leake An Indexing Vocabulary for Case-Based Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Eric A. Domeshek Indexing Stories as Social Advice. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew R. Golding , Paul S. Rosenbloom Improving Rule-Based Systems Through Case-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas R. Hinrichs , Janet L. Kolodner The Roles of Adaptation in Case-Based Design. [Citation Graph (1, 0)][DBLP ] Conf ] Shankar A. Rajamoney , Hee-Youn Lee Prototype-Based Reasoning: An Integrated Approach to Solving Large Novel Problems. [Citation Graph (1, 0)][DBLP ] Conf ] Daniel Baril , Jim E. Greer , Gordon I. McCalla Student Modelling with Confluences. [Citation Graph (0, 0)][DBLP ] Conf ] Hyacinth S. Nwana FITS: A Fraction Intelligent Tutoring System. [Citation Graph (1, 0)][DBLP ] Conf ] Joöl Courtois Teaching Diagnostic Skills Using AI: An Architecture Suitable for Students and Teachers. [Citation Graph (0, 0)][DBLP ] Conf ] Mark T. Maybury Planning Multimedia Explanations Using Communicative Acts. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Fischer , Kumiyo Nakakoji Making Design Objects Relevant to the Task at Hand. [Citation Graph (1, 0)][DBLP ] Conf ] Loren G. Terveen , David A. Wroblewski A Tool for Achieving Consensus in Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Rohini K. Srihari Piction: A System That Uses Captions to Label Human Faces in Newspaper Photographs. [Citation Graph (0, 0)][DBLP ] Conf ] Alison Cawsey Generating Interactive Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Eduard H. Hovy , Yigal Arens Automatic Generation of Formatted Text. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Elhadad Generating Adjectives to Express the Speaker's Argumentative Intent. [Citation Graph (0, 0)][DBLP ] Conf ] Jugal K. Kalita , Norman I. Badler Interpreting Prepositions Physically. [Citation Graph (0, 0)][DBLP ] Conf ] Steven L. Lytinen Semantics-First Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Claire Cardie , Wendy G. Lehnert A Cognitively Plausible Approach to Understanding Complex Syntax. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander G. Hauptmann From Syntax to Meaning in Natural Language Processing. [Citation Graph (1, 0)][DBLP ] Conf ] Fei Song , Robin Cohen Tense Interpretation in the Context of Narrative. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey D. Kirtner , Steven L. Lytinen ULINK: A Semantics-Driven Approach to Understanding Ungrammatical Input. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Satta , Oliviero Stock A Tabular Method for Island-Driven Context-Free Grammar Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano , Tetsuya Higuchi High Performance Memory-Based Translation on IXM2 Massively Parallel Associative Memory Processor. [Citation Graph (1, 0)][DBLP ] Conf ] Lois Boggess , Rajeev Agarwal , Ron Davis Disambiguation of Prepositional Phrases in Automatically Labelled Technical Text. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak , Robert P. Goldman A Probabilistic Model of Plan Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr J. Gmytrasiewicz , Edmund H. Durfee , David K. Wehe The Utility of Communication in Coordinating Intelligent Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Eithan Ephrati , Jeffrey S. Rosenschein The Clarke Tax as a Consensus Mechanism Among Automated Agents. [Citation Graph (1, 0)][DBLP ] Conf ] Sarit Kraus , Jonathan Wilkenfeld The Function of Time in Cooperative Negotiations. [Citation Graph (0, 0)][DBLP ] Conf ] Les Gasser , Toru Ishida A Dynamic Organizational Architecture for Adaptive Problem Solving. [Citation Graph (1, 0)][DBLP ] Conf ] Norman Carver , Zarko Cvetanovic , Victor R. Lesser Sophisticated Cooperation in FA/C Distributed Problem Solving Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati , Mark R. Cutkosky , Marty Tenenbaum , Soo Hong Lee Combining Specialized Reasoners and General Purpose Planners: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Yung-Choa Pan , Jay M. Tenenbaum Toward an Intelligent Agent Flamework for Enterprise Integration. [Citation Graph (0, 0)][DBLP ] Conf ] James Bowen , Dennis Bahler Conditional Existence of Variables in Generalised Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière Arc-Consistency in Dynamic Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder Eliminating Interchangeable Values in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Ligozat On Generalized Interval Calculi. [Citation Graph (1, 0)][DBLP ] Conf ] Henry A. Kautz , Peter B. Ladkin Integrating Metric and Qualitative Temporal Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Fei Song , Robin Cohen Temporal Reasoning During Plan Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Poesio , Ronald J. Brachman Metric Constraints for Maintaining Appointments: Dates and Repeated Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Itay Meiri Combining Qualitative and Quantitative Constraints in Temporal Reasoning. [Citation Graph (2, 0)][DBLP ] Conf ] Geneviéve Morgue , Thomas Chehire Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Xueming Huang , Gordon I. McCalla , Eric Neufeld Using Attention in Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Collins , Dennis DeCoste CATMS: An ATMS Which Avoids Label Explosions. [Citation Graph (0, 0)][DBLP ] Conf ] Charles J. Petrie Context Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuya Higuchi , Hiroaki Kitano , Tatsumi Furuya , Ken'ichi Handa , Akio Kokubu , Naoto Takahashi IXM2: A Parallel Associative Processor for Knowledge Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Kuo , Dan I. Moldovan Implementation of Multiple Rule Firing Production Systems on Hypercube. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel E. Neiman Control Issues in Parallel Rule-Firing Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Green Using Abstraction to Automate Program Improvement by Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Meseguer Verification of Multi-Level Rule-Based Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rose F. Gamble , Gruia-Catalin Roman , William E. Ball Formal Verification of Pure Production System Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey C. Schlimmer Learning Meta Knowledge for Database Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Munindar P. Singh A Logic of Situated Know-How. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin , Yoav Shoham Provably Correct Theories of Action (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Antony Galton A Critique of Yoav Shoham's Theory of Causal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Keiji Kanazawa A Logic and Time Nets for Probabilistic Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Nejdl The P-Systems: A Systematic Classification of Logics of Nonmonotonicity. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Rychlik Some Variations on Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel Ben-Eliyahu , Rina Dechter Default Logic, Propositional Logic, and Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond Strong Introspection. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus Default Reasoning From Statistics. [Citation Graph (0, 0)][DBLP ] Conf ] Moisés Goldszmidt , Judea Pearl System-Z+: A Formalism for Reasoning with Variable-Strength Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande Incorporating Nonmonotonic Reasoning in Horn Clause Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer J. Elgot-Drapkin Step-Logic and the Three-Wise-Men Problem. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Alan F. McMichael Mechanization of Analytic Reasoning About Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Nageshwara Rao Vempaty , Vipin Kumar , Richard E. Korf Depth-First Versus Best-First Search. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Geiger , Jeffrey A. Barnett Optimal Satisficing Tree Searches. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak , Saadia Husain A New Admissible Heuristic for Minimal-Cost Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg , Donald F. Geddis Is There any Need for Domain-Dependent Control Information? [Citation Graph (0, 0)][DBLP ] Conf ] Brian R. Gaines Integrating Rules in Term Subsumption Knowledge Representation Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Marc B. Vilain Deduction as Parsing: Tractable Classification in the KL-ONE Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Lenzerini , Andrea Schaerf Concept Languages as Query Languages. [Citation Graph (2, 0)][DBLP ] Conf ] Jeffrey A. Barnett Combining Opinions About the Order of Rule Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Solomon Eyal Shimony Explanation, Irrelevance, and Statistical Independence. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Lemmer , Henry E. Kyburg Jr. Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Hwee Tou Ng , Raymond J. Mooney An Efficient First-Order Horn-Clause Abduction System Based on the ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Carl A. Gunter , Teow-Hin Ngair , Prakash Panangaden , Devika Subramanian The Common Order-Theoretic Structure of Version Spaces and ATMS's. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Hamscher ACP: Reason Maintenance and Inference Control for Constraint Propagation Over Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] David Jerald Goldstone Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System. [Citation Graph (0, 0)][DBLP ] Conf ] 