10. ISMIS 1997: Charlotte, North Carolina, USA

Invited Talks

• Alan W. Biermann, Curry I. Guinn, Michael S. Fulkerson, Greg A. Keim, Zheng Liang, Douglas M. Melamed, Krishnan Rajagopalan:
  Goal-Oriented Multimedia Dialogue with Variable Initiative. 1-16
  
• Wesley W. Chu, Alfonso F. Cardenas, Ricky K. Taira:
  Knowledge-Based Image Retrieval with Spatial and Temporal Constructs. 17-34
  
• Michael R. Lowry, Klaus Havelund, John Penix:
  Verification and Validation of AI Systems that Control Deep-Space Spacecraft. 35-47
  
• Gregory Piatetsky-Shapiro:
  Data Mining and Knowledge Discovery: The Third Generation (Extended Abstract). 48-49
  

Logic for AI

• Jianhua Chen:
  Embedding Prioritized Circumscription in Logic Programs. 50-59
  
• Stefan Conrad, Gunter Saake:
  Extending Temporal Logic for Capturing Evolving Behaviour. 60-71
  
• Patrick Lambrix, Lin Padgham:
  A Description Logic Model for Querying Knowledge Bases for Structured Documents. 72-83
  
• Marco Botta, Attilio Giordana, Roberto Piola:
  Refining First Order Theories with Neural Networks. 84-93
  

Learning and Discovery Systems

• Ning Zhong, Chunnian Liu, Setsuo Ohsuga:
  A Way of Increasing Both Autonomy and Versality of a KDD System. 94-105
  
• Brock Barber, Howard J. Hamilton:
  A Comparison of Attribute Selection Strategies for Attribute-Oriented Generalization. 106-116
  
• Hung Son Nguyen, Andrzej Skowron:
  Boolean Reasoning for Feature Extraction Problems. 117-126
  
• Lorenza Saitta, Filippo Neri, Andrée Tiberghien:
  World Model Construction in Children during Physics Learning. 127-136
  

Learning and Discovery Systems

• Ronen Feldman, Willi Klösgen, Amir Zilberstein:
  Document Explorer: Discovering Knowledge in Document Collections. 137-146
  
• Tapio Elomaa, Juho Rousu:
  Well-Behaved Evaluation Functions for Numerical Attributes. 147-156
  
• Janusz Kacprzyk, Grazyna Szkatula:
  An Improved Inductive Learning Algorithm with a Preanalysis of Data. 157-166
  
• Lionel Martin, Christel Vrain:
  Efficient Induction of Numerical Constraints. 167-176
  
• Jian Zhang, Howard J. Hamilton:
  Learning English Syllabification for Words. 177-186
  

Intelligent Information Systems

• Suk-Chung Yoon:
  Towards Conceptual Query Answering. 187-196
  
• Torsten Schaub, Pascal Nicolas:
  An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. 197-206
  
• Mona Singh, James Barnett, Munindar P. Singh:
  Automating Spoken Dialogue Systems. 207-216
  
• Wladyslaw Skarbek, Krystian Ignasiak:
  Handwritten Digit Recognition by Local Principal Components Analysis. 217-226
  
• John K. Debenham:
  From Conceptual Model to Internal Model. 227-236
  

Evolutionary Computation

• Qi Zhang:
  Speeding GA-Based Attribute Selection for Image Interpretation. 237-246
  
• Ben S. Hadad, Christoph F. Eick:
  Using Recurrent Selection to Improve GA Performance. 247-256
  
• Attilio Giordana, Lorenza Saitta, Giuseppe Lo Bello:
  A Coevolutionary Approach to Concept Learning. 257-266
  
• Francine Federman, Susan Fife Dorchak:
  Representation of Music in a Learning Classifier System. 267-276
  

Learning and Discovery Systems

• Wim Van Laer, Luc De Raedt, Saso Dzeroski:
  On Multi-class Problems and Discretization in Inductive Logic Programming. 277-286
  
• Kuang-Ming Huang, Jan M. Zytkow:
  Discovering Empirical Equations from Robot-Collected Data. 287-297
  
• Shusaku Tsumoto:
  Induction of Positive and Negative Deterministic Rules based on Rough Set Model. 298-307
  
• Lawrence J. Mazlack:
  Autonomous Database Mining and Disorder Measures. 308-317
  

Knowledge Representation & Methodologies

• Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü:
  KOMET - A System for the Integration of Heterogeneous Information Sources. 318-327
  
• Ephraim Nissan, Daniel Rousseau:
  Towards AI Formalisms for Legal Evidence. 328-337
  
• Cécile Capponi:
  Type Extensibility of a Knowledge Representation System with Powersets. 338-347
  

Intelligent Information Systems

• Dolors Costal, Antoni Olivé:
  Planning Based on View Updating in Deductive Databases. 348-359
  
• Suresh K. Choubey, Vijay V. Raghavan:
  Generic and Fully Automatic Content-Based Image Retrieval Architecture. 360-369
  
• Jutta Eusterbrock:
  Program Synthesis from Examples by Theory Formation. 370-380
  

Approximate Reasoning

• Yiyu Yao, S. K. Michael Wong:
  Interval Approaches for Uncertain Reasoning. 381-390
  
• Mieczyslaw A. Klopotek, Slawomir T. Wierzchon:
  Qualitative Versus Quantitative Interpretation of the Mathematical Theory of Evidence. 391-400
  
• Qiuming Zhu, Zhengxin Chen:
  Knowledge Discovery from Databases with the Guidance of a Causal Network. 401-410
  

Intelligent Information Systems

• Michael J. Donahoo, J. William Murdock, Ashok K. Goel, Shamkant B. Navathe, Edward Omiecinski:
  From Data to Knowledge: Method-Specific Transformations. 411-420
  
• Marzena Kryszkiewicz:
  Generalized Rules in Incomplete Information Systems. 421-430
  
• Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano:
  An Interactive Constraint-Based System for Selective Attention in Visual Search. 431-440
  

Intelligent Information Systems

• David A. Maluf, Gio Wiederhold:
  Abstraction of Representation for Interoperation. 441-455
  
• Sandra Carberry, John R. Clarke:
  TraumaCASE: Exploiting the Knowledge Base of an Existing Decision Support System to Automatically Construct Medical Cases. 456-466
  
• Daniel Pacholczyk:
  An Intelligent System Dealing with Negative Information. 467-476
  
• Patrick Bosc, Olivier Pivert:
  On Representation-Based Querying of Databases Containing Ill-known Values. 477-486
  

Learning and Discovery Systems

• Dominik Slezak:
  Decision Value Oriented Decomposition of Data Tables. 487-496
  
• Jerzy W. Grzymala-Busse, L. John Old:
  A Machine Learning Experiment to Determine Part of Speech from Word-Endings. 497-506
  
• Mohamed Quafafou:
  Learning Flexible Concepts from Uncertain Data. 507-518
  
• Mirsad Hadzikadic, Benjamin F. Bohren:
  Determining Attribute Relevance in Decision Trees. 519-528
  

Intelligent Information Systems

• Joyce Yue Chai, Alan W. Biermann:
  A WordNet Based Rule Generalization Engine for Meaning Extraction System. 529-539
  
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
  Representing and Reasoning on SGML Documents. 540-549
  
• Gian Piero Zarri:
  Conceptual Modelling of the "Meaning" of Textual Narrative Documents. 550-559
  
• Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski:
  Intelligent Computation of Presentation Documents. 560-569
  
• Troels Andreasen:
  Flexible Database Querying Based on Associations of Domain Values. 570-578
  

Logic for AI

• Frédéric Cuppens, Robert Demolombe:
  A Modal Logical Framework for Security Policies. 579-589
  
• Reiner Hähnle, Neil V. Murray, Erik Rosenthal:
  Completeness for Linear Regular Negation Normal Form Inference Systems. 590-599
  
• Xumin Nie, Qing Guo:
  Renaming a Set of Non-Horn Clauses. 600-608
  
• Yan Zhang:
  Constraints, Causal Rules and Minimal Change in Model-based Update. 609-618
  
• Floriana Esposito, Donato Malerba, Giovanni Semeraro, Stefano Ferilli:
  Knowledge Revision for Document Understanding. 619-628