Abstract is missing.
- Goal-Oriented Multimedia Dialogue with Variable InitiativeAlan W. Biermann, Curry I. Guinn, Michael S. Fulkerson, Greg A. Keim, Zheng Liang, Douglas M. Melamed, Krishnan Rajagopalan. 1-16
- Knowledge-Based Image Retrieval with Spatial and Temporal ConstructsWesley W. Chu, Alfonso F. Cardenas, Ricky K. Taira. 17-34
- Verification and Validation of AI Systems that Control Deep-Space SpacecraftMichael R. Lowry, Klaus Havelund, John Penix. 35-47
- Data Mining and Knowledge Discovery: The Third Generation (Extended Abstract)Gregory Piatetsky-Shapiro. 48-49
- Embedding Prioritized Circumscription in Logic ProgramsJianhua Chen. 50-59
- Extending Temporal Logic for Capturing Evolving BehaviourStefan Conrad, Gunter Saake. 60-71
- A Description Logic Model for Querying Knowledge Bases for Structured DocumentsPatrick Lambrix, Lin Padgham. 72-83
- Refining First Order Theories with Neural NetworksMarco Botta, Attilio Giordana, Roberto Piola. 84-93
- A Way of Increasing Both Autonomy and Versality of a KDD SystemNing Zhong, Chunnian Liu, Setsuo Ohsuga. 94-105
- A Comparison of Attribute Selection Strategies for Attribute-Oriented GeneralizationBrock Barber, Howard J. Hamilton. 106-116
- Boolean Reasoning for Feature Extraction ProblemsHung Son Nguyen, Andrzej Skowron. 117-126
- World Model Construction in Children during Physics LearningLorenza Saitta, Filippo Neri, Andrée Tiberghien. 127-136
- Document Explorer: Discovering Knowledge in Document CollectionsRonen Feldman, Willi Klösgen, Amir Zilberstein. 137-146
- Well-Behaved Evaluation Functions for Numerical AttributesTapio Elomaa, Juho Rousu. 147-156
- An Improved Inductive Learning Algorithm with a Preanalysis of DataJanusz Kacprzyk, Grazyna Szkatula. 157-166
- Efficient Induction of Numerical ConstraintsLionel Martin, Christel Vrain. 167-176
- Learning English Syllabification for WordsJian Zhang, Howard J. Hamilton. 177-186
- Towards Conceptual Query AnsweringSuk-Chung Yoon. 187-196
- An Implementation Platform for Query-Answering in Default Logics: Theoretical UnderpinningsTorsten Schaub, Pascal Nicolas. 197-206
- Automating Spoken Dialogue SystemsMona Singh, James Barnett, Munindar P. Singh. 207-216
- Handwritten Digit Recognition by Local Principal Components AnalysisWladyslaw Skarbek, Krystian Ignasiak. 217-226
- From Conceptual Model to Internal ModelJohn K. Debenham. 227-236
- Speeding GA-Based Attribute Selection for Image InterpretationQi Zhang. 237-246
- Using Recurrent Selection to Improve GA PerformanceBen S. Hadad, Christoph F. Eick. 247-256
- A Coevolutionary Approach to Concept LearningAttilio Giordana, Lorenza Saitta, Giuseppe Lo Bello. 257-266
- Representation of Music in a Learning Classifier SystemFrancine Federman, Susan Fife Dorchak. 267-276
- On Multi-class Problems and Discretization in Inductive Logic ProgrammingWim Van Laer, Luc De Raedt, Saso Dzeroski. 277-286
- Discovering Empirical Equations from Robot-Collected DataKuang-Ming Huang, Jan M. Zytkow. 287-297
- Induction of Positive and Negative Deterministic Rules based on Rough Set ModelShusaku Tsumoto. 298-307
- Autonomous Database Mining and Disorder MeasuresLawrence J. Mazlack. 308-317
- KOMET - A System for the Integration of Heterogeneous Information SourcesJacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü. 318-327
- Towards AI Formalisms for Legal EvidenceEphraim Nissan, Daniel Rousseau. 328-337
- Type Extensibility of a Knowledge Representation System with PowersetsCécile Capponi. 338-347
- Planning Based on View Updating in Deductive DatabasesDolors Costal, Antoni Olivé. 348-359
- Generic and Fully Automatic Content-Based Image Retrieval ArchitectureSuresh K. Choubey, Vijay V. Raghavan. 360-369
- Program Synthesis from Examples by Theory FormationJutta Eusterbrock. 370-380
- Interval Approaches for Uncertain ReasoningYiyu Yao, S. K. Michael Wong. 381-390
- Qualitative Versus Quantitative Interpretation of the Mathematical Theory of EvidenceMieczyslaw A. Klopotek, Slawomir T. Wierzchon. 391-400
- Knowledge Discovery from Databases with the Guidance of a Causal NetworkQiuming Zhu, Zhengxin Chen. 401-410
- From Data to Knowledge: Method-Specific TransformationsMichael J. Donahoo, J. William Murdock, Ashok K. Goel, Shamkant B. Navathe, Edward Omiecinski. 411-420
- Generalized Rules in Incomplete Information SystemsMarzena Kryszkiewicz. 421-430
- An Interactive Constraint-Based System for Selective Attention in Visual SearchRita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano. 431-440
- Abstraction of Representation for InteroperationDavid A. Maluf, Gio Wiederhold. 441-455
- TraumaCASE: Exploiting the Knowledge Base of an Existing Decision Support System to Automatically Construct Medical CasesSandra Carberry, John R. Clarke. 456-466
- An Intelligent System Dealing with Negative InformationDaniel Pacholczyk. 467-476
- On Representation-Based Querying of Databases Containing Ill-known ValuesPatrick Bosc, Olivier Pivert. 477-486
- Decision Value Oriented Decomposition of Data TablesDominik Slezak. 487-496
- A Machine Learning Experiment to Determine Part of Speech from Word-EndingsJerzy W. Grzymala-Busse, L. John Old. 497-506
- Learning Flexible Concepts from Uncertain DataMohamed Quafafou. 507-518
- Determining Attribute Relevance in Decision TreesMirsad Hadzikadic, Benjamin F. Bohren. 519-528
- A WordNet Based Rule Generalization Engine for Meaning Extraction SystemJoyce Yue Chai, Alan W. Biermann. 529-539
- Representing and Reasoning on SGML DocumentsDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. 540-549
- Conceptual Modelling of the Meaning of Textual Narrative DocumentsGian Piero Zarri. 550-559
- Intelligent Computation of Presentation DocumentsJoseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski. 560-569
- Flexible Database Querying Based on Associations of Domain ValuesTroels Andreasen. 570-578
- A Modal Logical Framework for Security PoliciesFrédéric Cuppens, Robert Demolombe. 579-589
- Completeness for Linear Regular Negation Normal Form Inference SystemsReiner Hähnle, Neil V. Murray, Erik Rosenthal. 590-599
- Renaming a Set of Non-Horn ClausesXumin Nie, Qing Guo. 600-608
- Constraints, Causal Rules and Minimal Change in Model-based UpdateYan Zhang. 609-618
- Knowledge Revision for Document UnderstandingFloriana Esposito, Donato Malerba, Giovanni Semeraro, Stefano Ferilli. 619-628