6. ISMIS 1991: Charlotte, N.C., USA

Invited Talks

• Alan W. Biermann, Ronnie W. Smith:
  An Architecture for Pragmatic Voice Interactive Systems. 1-15
  
• Jon Doyle, Yoav Shoham, Michael P. Wellman:
  A Logic of Relative Desire (Preliminary Report). 16-31
  
• Larry Kerschberg:
  Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract). 32-34
  
• Tom M. Mitchell:
  Personal Learning Apprentices. 35-37
  
• Gio Wiederhold:
  The Roles of Artificial Intelligence in Information Systems. 38-51
  

Expert Systems

• Christoph F. Eick:
  Integrating Variables and Operations into Rule-Based Forward Chaining Systems. 52-61
  
• David Mutchler:
  The Multi-Player Version of Minimax Displays Game-Tree Pathology. 62-71
  
• Luigi Portinale:
  Generalization Handling in a Dynamic Case Memory. 72-81
  

Intelligent Databases

• Hichul An, Lawrence J. Henschen:
  Knowledge Based Semantic Query Optimization. 82-91
  
• Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian:
  Combining Knowledge Bases Consisting of First Order Theories. 92-101
  
• Sanjiv K. Bhatia, Jitender S. Deogun, Vijay V. Raghavan:
  User Profiles for Information Retrieval. 102-111
  
• I-Min A. Chen, Rei-Chi Lee:
  An Approach to Deriving Object Hierarchies from Database Schema and Contents. 112-121
  
• Bipin C. Desai, Li Zhang:
  Multilevel Interface to a Distributed Database System. 122-131
  
• Jiawei Han, Qiang Wang:
  Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases. 132-141
  
• Jane Yung-jen Hsu:
  Synthesizing Efficient Agents from Partial Programs. 142-151
  
• Kenneth A. Kaufman, Ryszard S. Michalski, Larry Kerschberg:
  Knowledge Extraction from Databases: Design Princiles of the INLEN System. 152-161
  
• Raymond T. Ng, V. S. Subrahmanian:
  Stable Model Semantics for Probabilistic Deductive Databases. 162-171
  
• S. K. Michael Wong, Pawan Lingras, Yiyu Yao:
  Towards Implementing Valuation Based Systems with Relational Databases. 172-182
  

Knowledge Representation

• Bei-Tseng Bill Chu:
  On the Representation of Continuous Causal Relationships. 183-192
  
• Jacek Malec:
  Process Transition Networks: A Formal Graphical Knowledge Representation Tool. 193-202
  
• Ricardo A. Munoz, Chao-Chih Yang:
  Using Normal Deduction Graphs in Default Reasoning. 203-212
  
• Zbigniew W. Ras, Jing Xiao:
  A Model of Information Sharing for Fault-Tolerant Flexible Manufacturing Systems. 213-225
  
• Barry Richards, Yuejun Jiang, H. Choi:
  On Interval-based Temporal Planning: An IQ Strategy. 226-235
  
• Michael W. Sobolewski:
  Percept Conceptualizations and Their Knowledge Representation Schemes. 236-245
  
• Paolo Terenziani:
  Combining Time Points and Time Intervals in a Hybrid Knowledge Representation Formalism. 246-255
  
• Krishnaprasad Thirunarayan:
  An Analysis of Property-Flow View vs Individual-Flow View of Inheritance. 256-265
  
• Edgar B. Wendlandt, James R. Discroll:
  Semantic Extensions to Text Retrieval. 266-275
  
• Marianne Winslett, Seng-cho Timothy Chou:
  Updates with Equality: Beyond the Herbrand Universe Assumption. 276-285
  

Learning And Adaptive Systems

• Jerzy W. Bala, Kenneth DeJong, Peter Pachowicz:
  Using Genetic Algorithms to Improve the Performance of Classification Rules Produced by Symolic Inductive Methods. 286-295
  
• Marco Botta, Attilio Giordana:
  Learning Quantitative Features in a Symbolic Environment. 296-305
  
• Sam Coates-Stephens:
  Automatic Acquisition of Proper Noun Meanings. 306-315
  
• Luca Console, Attilio Giordana, Lorenza Saitta:
  Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus. 316-325
  
• Sylvain Delisle, Stan Matwin, Jiandong Wang, Lionel Zupan:
  Explanation-based Learning Helps Acquire Knowledge from Natural Language Texts. 326-337
  
• Charles W. Glover, Nageswara S. V. Rao, E. M. Oblow:
  Hybrid Pattern Recognition System Capable of Self-Modification. 338-347
  
• A. Goker, T. L. McCluskey:
  Towards an Adaptive Information Retrieval System. 348-357
  
• Diana F. Gordon:
  Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans. 358-367
  
• Jerzy W. Grzymala-Busse:
  On the Unknown Attribute Values in Learning from Examples. 368-377
  
• Cezary Z. Janikow:
  A New System for Inductive Learning in Attribute-Based Spaces. 378-388
  
• Maciej Michalewicz, Zbigniew Michalewicz:
  Generation of Classification Rules. 389-398
  
• Steven Salzberg:
  Distance Metrics for Instance-Bsed Learning. 399-408
  
• William M. Spears, Vic Anand:
  A Study of Crossover Operators in Genetic Programming. 409-418
  
• Gheorghe Tecuci, Ryszard S. Michalski:
  Input Understanding as a Basis for Multistrategy Task-Adaptive Learning. 419-428
  
• Robert Zembowicz, Jan M. Zytkow:
  Automated Discovery of Empirical Equations from Data. 429-440
  
• Jan M. Zytkow, Paul J. Fischer:
  Constructing Models of Hidden Structure. 441-449
  

Logic For Artificial Intelligence

• Seiki Akama:
  Amalgamated Logic Programming and Non-Monotonic Reasoning. 450-458
  
• Chitta Baral, Jorge Lobo, Jack Minker:
  WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. 459-468
  
• Jacques Calmet, Indra A. Tjandra:
  Representation of Mathematical Knowledge. 469-478
  
• Philippe Chatalic, Christine Froidevaux:
  Graded Logics: A Framework for Uncertain and Defeasible Knowledge. 479-489
  
• Jianhua Chen, Sukhamay Kundu:
  The Strong Semantics for Logic Programs. 490-499
  
• James M. Conrad, Dennis Bahler, James Bowen:
  Static Parallel Arc Consistency in Constraint Satisfaction. 500-509
  
• Peter A. Flach:
  Towards a Theory of Inductive Logic Programming. 510-519
  
• Y. J. Jiang:
  Another View of Autoepistemic Logic and Truth Maintenance System. 520-529
  
• Kienchung Kuo:
  Dynamic Autoepistemic Logic. 530-539
  
• Sven Lorenz:
  Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization. 540-549
  
• Pierre Marquis:
  Novelty Revisited. 550-559
  
• Michael J. Miller, Donald Perlis:
  Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning. 560-569
  
• Neil V. Murray, Erik Rosenthal:
  Resolution and Path Dissolution in Multi-Valued Logics. 570-579
  
• Xumin Nie:
  How Well Are Non-Horn Clauses Handled? 580-588
  
• Madhura Nirkhe, Sarit Kraus, Donald Perlis:
  Fully Deadline-Coupled Planning: One Step at a Time. 589-599
  
• Jan A. Plaza:
  Completeness for Propositional Logic Programs with Negation. 600-609
  
• Arcot Rajasekar:
  Disjunctive Logic Programs and Constrain Processing. 610-619
  
• Zbigniew Stachniak:
  Note on Resolution Circuits. 620-629
  
• Richmond H. Thomason:
  A Semantic Analysis of Monotonic Inheritance with Roles and Relations. 630-644