Foundations of Intelligent Systems: 11th International Symposium, ISMIS’99 Warsaw, Poland, June 8–11, 1999 Proceedings

Applications and research problems of subgroup mining....Pages 1-15
Knowledge discovery in texts: A definition, and applications....Pages 16-29
Semantic ontology tools in IS design....Pages 30-45
Heterogeneous agent systems (Extended abstract)....Pages 46-55
Information systems that Really support decision-making....Pages 56-66
A class of stratified programs in autoepistemic logic of knowledge and belief....Pages 67-75
On-line estimation of matching complexity in first order logic....Pages 76-84
Implementing prioritized logic programming....Pages 85-93
Extending description logics with generalized quantification....Pages 94-102
Machine learning for intelligent document processing: The WISDOM system....Pages 103-113
Concept based retrieval by minimal term sets....Pages 114-122
Querying document bases by content, structure and properties....Pages 123-132
Total knowledge and partial knowledge in logical models of information retrieval....Pages 133-143
Towards a theoretical foundation for cooperating knowledge based systems....Pages 144-153
CINDI: A system for cataloguing, searching, and annotating electronic documents in digital libraries....Pages 154-162
Externalization of human idea and problem description for automatic programming....Pages 163-171
Rough set based data exploration using ROSE system....Pages 172-180
Towards an intelligent system dealing with nuanced information expressed in affirmative or negative forms....Pages 181-189
Logic programs for intelligent web search....Pages 190-198
Representing document content via an object-oriented paradigm....Pages 199-207
A learning server for inducing user classification rules in a digital library service....Pages 208-216
A better fitness measure of a text-document for a given set of keywords....Pages 217-225
CONCERTO, an environment for the “intelligent’ indexing, querying and retrieval of digital documents....Pages 226-234
Text classification using lattice machine....Pages 235-243
Discovering semantic proximity for web pages....Pages 244-252
A declarative language bias for levelwise search of first-order regularities....Pages 253-261
The more we learn the less we know? On inductive learning from examples....Pages 262-270
Computing MPMA updates using Dijkstra’s semantics....Pages 271-281
Several extensions of truth values in fuzzy logic....Pages 282-291
Phase transitions in the regular random 3-SAT problem....Pages 292-300
Improving backtrack search for SAT by means of redundancy....Pages 301-309
Decomposition of task specification problems....Pages 310-318
ORTES: The design of a real-time control expert system....Pages 319-329
A statistical approach to rule selection in semantic query optimisation....Pages 330-339
Representing and reasoning on conceptual queries over image databases....Pages 340-348
Knowledge discovery in clinical databases: An experiment with rule induction and statistics....Pages 349-357
Reasoning and acquisition of knowledge in a system for hand wound diagnosis and prognosis....Pages 358-366
Rough sets as a tool for audio signal classification....Pages 367-375
Experiments with rough sets approach to speech recognition....Pages 376-384
A system for understanding A mechanical assembly instruction manual using virtual space....Pages 385-394
Perceptual convergence of discrete clamped fractal operator....Pages 395-401
Modified Oja-RLS algorithm—Stochastic convergence analysis and application for image compression....Pages 402-410
Learning from inconsistent and noisy data: The AQ18 approach....Pages 411-419
Learning English grapheme segmentation using the iterated version space algorithm....Pages 420-429
Fully automatic acquisition of taxonomic knowledge from large corpora of texts: Limited syntax knowledge representation system based on natural language....Pages 430-438
A fuzzy measure of similarity for instance-based learning....Pages 439-447
Computation of minimal cost reducts....Pages 448-456
Rough set data mining of diabetes data....Pages 457-465
Selection of a relevant feature subset for induction tasks....Pages 466-474
A data structure for subsumption-based tabling in top-down resolution engines for data-intensive logic applications....Pages 475-483
Modelling and reasoning about multi-dimensional information....Pages 484-493
An interpretation for the conditional belief function in the theory of evidence....Pages 494-502
Artificial neural networks aid the design of non-carcinogenic azo dyes....Pages 503-511
Evolving in a changing world....Pages 512-519
High-performance data mining on networks of workstations....Pages 520-528
Virus-enhanced genetic algorithms inspired by DNA computing....Pages 529-537
Evolutionary approach to non-stationary optimisation tasks....Pages 538-546
On discovering functional relationships when observations are noisy: 2D Case....Pages 547-555
Approximate time rough software cost decision system: Multicriteria decision-making approach....Pages 556-564
Machine learning method for software quality model building....Pages 565-573
Discovery of generalized patterns....Pages 574-582
Incomplete database issues for representative association rules....Pages 583-591
A dynamic integration algorithm for an ensemble of classifiers....Pages 592-600
UIB-IK: A computer system for decision trees induction....Pages 601-611
Preterm birth risk assessed by a new method of classification using selective partial matching....Pages 612-620
Probabilistic rough induction: The GDT-RS methodology and algorithms....Pages 621-629
Cluster evolution strategies for constrained numerical optimization....Pages 630-638
Evolutionary Algorithms as fitness function debuggers....Pages 639-647
Solving real-life Time-Tabling Problems....Pages 648-656
On measures of search features....Pages 657-664
Genetic algorithms in constructive induction....Pages 665-673