Foundations of Intelligent Systems

Applications and research problems of subgroup mining.- Knowledge discovery in texts: A definition, and applications.- Semantic ontology tools in IS design.- Heterogeneous agent systems (Extended abstract).- Information systems that Really support decision-making.- A class of stratified programs in autoepistemic logic of knowledge and belief.- On-line estimation of matching complexity in first order logic.- Implementing prioritized logic programming.- Extending description logics with generalized quantification.- Machine learning for intelligent document processing: The WISDOM system.- Concept based retrieval by minimal term sets.- Querying document bases by content, structure and properties.- Total knowledge and partial knowledge in logical models of information retrieval.- Towards a theoretical foundation for cooperating knowledge based systems.- CINDI: A system for cataloguing, searching, and annotating electronic documents in digital libraries.- Externalization of human idea and problem description for automatic programming.- Rough set based data exploration using ROSE system.- Towards an intelligent system dealing with nuanced information expressed in affirmative or negative forms.- Logic programs for intelligent web search.- Representing document content via an object-oriented paradigm.- A learning server for inducing user classification rules in a digital library service.- A better fitness measure of a text-document for a given set of keywords.- CONCERTO, an environment for the “intelligent’ indexing, querying and retrieval of digital documents.- Text classification using lattice machine.- Discovering semantic proximity for web pages.- A declarative language bias for levelwise search of first-order regularities.- The more we learn the less we know? Oninductive learning from examples.- Computing MPMA updates using Dijkstra’s semantics.- Several extensions of truth values in fuzzy logic.- Phase transitions in the regular random 3-SAT problem.- Improving backtrack search for SAT by means of redundancy.- Decomposition of task specification problems.- ORTES: The design of a real-time control expert system.- A statistical approach to rule selection in semantic query optimisation.- Representing and reasoning on conceptual queries over image databases.- Knowledge discovery in clinical databases: An experiment with rule induction and statistics.- Reasoning and acquisition of knowledge in a system for hand wound diagnosis and prognosis.- Rough sets as a tool for audio signal classification.- Experiments with rough sets approach to speech recognition.- A system for understanding A mechanical assembly instruction manual using virtual space.- Perceptual convergence of discrete clamped fractal operator.- Modified Oja-RLS algorithm—Stochastic convergence analysis and application for image compression.- Learning from inconsistent and noisy data: The AQ18 approach.- Learning English grapheme segmentation using the iterated version space algorithm.- Fully automatic acquisition of taxonomic knowledge from large corpora of texts: Limited syntax knowledge representation system based on natural language.- A fuzzy measure of similarity for instance-based learning.- Computation of minimal cost reducts.- Rough set data mining of diabetes data.- Selection of a relevant feature subset for induction tasks.- A data structure for subsumption-based tabling in top-down resolution engines for data-intensive logic applications.- Modelling and reasoning about multi-dimensional information.- An interpretation for the conditional belief functionin the theory of evidence.- Artificial neural networks aid the design of non-carcinogenic azo dyes.- Evolving in a changing world.- High-performance data mining on networks of workstations.- Virus-enhanced genetic algorithms inspired by DNA computing.- Evolutionary approach to non-stationary optimisation tasks.- On discovering functional relationships when observations are noisy: 2D Case.- Approximate time rough software cost decision system: Multicriteria decision-making approach.- Machine learning method for software quality model building.- Discovery of generalized patterns.- Incomplete database issues for representative association rules.- A dynamic integration algorithm for an ensemble of classifiers.- UIB-IK: A computer system for decision trees induction.- Preterm birth risk assessed by a new method of classification using selective partial matching.- Probabilistic rough induction: The GDT-RS methodology and algorithms.- Cluster evolution strategies for constrained numerical optimization.- Evolutionary Algorithms as fitness function debuggers.- Solving real-life Time-Tabling Problems.- On measures of search features.- Genetic algorithms in constructive induction.