


default search action
10th ISMIS 1997: Charlotte, North Carolina, USA
- Zbigniew W. Ras, Andrzej Skowron:

Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings. Lecture Notes in Computer Science 1325, Springer 1997, ISBN 3-540-63614-5
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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














