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