Foundations of Intelligent Systems

Goal-oriented multimedia dialogue with variable initiative.- Knowledge-based image retrieval with spatial and temporal constructs (Invited paper).- Verification and validation of AI systems that control deep-space spacecraft.- Data mining and knowledge discovery: The third generation.- Embedding prioritized circumscription in logic programs.- Extending temporal logic for capturing evolving behaviour.- A description logic model for querying knowledge bases for structured documents.- Refining first order theories with neural networks.- A way of increasing both autonomy and versatility of a KDD system.- A comparison of atttribute selection strategies for attribute-oriented generalization.- Boolean reasoning for feature extraction problems.- World model construction in children during physics learning.- Document explorer: Discovering knowledge in document collections.- Well-behaved evaluation functions for numerical attributes.- An improved inductive learning algorithm with a preanalysis of data.- Efficient induction of numerical constraints.- Learning English syllabification for words.- Towards conceptual query answering.- An implementation platform for query-answering in default logics: Theoretical underpinnings.- Automating spoken dialogue systems.- Handwritten digit recognition by local principal components analysis.- From conceptual model to internal model.- Speeding GA-based attribute selection for image interpretation.- Using recurrent selection to improve GA performance.- A coevolutionary approach to concept learning.- Representation of music in a learning classifier system.- On multi-class problems and discretization in inductive logic programming.- Discovering empirical equations from robot-collected data.- Induction of positive and negative deterministic rules based on rough set model.- Autonomous database mining and disorder measures.- KOMET — A system for the integration of heterogeneous information sources.- Towards AI formalisms for legal evidence.- Type extensibility of a knowledge representation system with powersets.- Planning based on view updating in deductive databases.- Generic and fully automatic content based image retrieval architecture.- Program synthesis from examples by theory formation.- Interval approaches for uncertain reasoning.- Qualitative versus quantitative interpretation of the mathematical theory of evidence.- Knowledge discovery from databases with the guidance of a causal network.- From data to knowledge: method-specific transformations.- Generalized rules in incomplete information systems.- An interactive constraint-based system for selective attention in visual search.- Abstraction of representation for interoperation.- TraumaCASE: Exploiting the knowledge base of an existing decision support system to automatically construct medical cases.- An intelligent system dealing with negative information.- On representation-based querying of databases containing ill-known values.- Decision value oriented decomposition of data tables.- A machine learning experiment to determine part of speech from word-endings.- Learning flexible concepts from uncertain data.- Determining attribute relevance in decision trees.- A WordNet based rule generalization engine in meaning extraction system.- Representing and reasoning on SGML documents.- Conceptual modelling of the “meaning” of textual narrative documents.- Intelligent computation of presentation documents.- Flexible database querying based on associations of domain values.- A modal logical framework for security policies.- Completeness for linear regular negation normal form inference systems.- Renaming a set of non-horn clauses.- Constraints, causal rules and minimal change in model-based update.- Knowledge revision for document understanding.