KI 2003: Advances in Artificial Intelligence 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings

This book constitutes the refereed proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, held in Hamburg, Germany in September 2003.
The 42 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 90 submissions from 22 countries. The papers are organized in topical sections on logics and ontologies, cognitive modeling, reasoning methods, machine learning, neural networks, reasoning under uncertainty, planning and constraints, spatial modeling, user modeling, and agent technology.

Invited Paper.- Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression.- Leveraging Metadata Creation for the Semantic Web with CREAM.- Negotiation Technologies.- Pushing the Limit in Visual Data Exploration: Techniques and Applications.- Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle.- Logics and Ontologies.- The Instance Problem and the Most Specific Concept in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics.- Satisfiability and Completeness of Converse-PDL Replayed.- Optimality Theory through Default Logic.- Towards a Systematic Account of Different Logic Programming Semantics.- How to Build a Foundational Ontology.- The Universal Medical Language System and the Gene Ontology: Some Critical Reflections.- Cognitive Modeling.- Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences.- Designing Agents with MicroPsi Node Nets.- Conscious Behavior through Reflexive Dialogs.- Reasoning Methods.- What Observations Really Tell Us.- A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k .- Computing Minimum-Cardinality Diagnoses Using OBDDs.- Presenting Sets of Problem Solutions Concisely.- Machine Learning.- Automatic Document Categorization.- A Logical Approach to Data-Driven Classification.- Spatial Inference – Combining Learning and Constraint Solving.- Hybrid Approaches for Case Retrieval and Adaptation.- Neural Networks.- Applied Connectionistic Methods in Computer Vision to Compare Segmented Images.- Sequential Learning Algorithm of Neural Networks Systems for Time Series.- A k-Winner-Takes-All Classifier for Structured Data.- Continuity of Semantic Operators in Logic Programming and TheirApproximation by Artificial Neural Networks.- Reasoning under Uncertainty.- Bayesian Metanetworks for Modelling User Preferences in Mobile Environment.- On Identifying Tree-Structured Perfect Maps.- Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection.- Fusing Probabilistic Information on Maximum Entropy.- A Probabilistic Approach for Dynamic State Estimation Using Visual Information.- Approaches to Semi-supervised Learning of Fuzzy Classifiers.- Instance-Based Learning of Credible Label Sets.- Self Learning or How to Make a Knowledge Base Curious about Itself.- Tolerance Spaces and Approximative Representational Structures.- Planning and Constraints.- Planning in Answer Set Programming Using Ordered Task Decomposition.- The Process Semantics Based Reasoning about Continuous Change.- A Flexible Meta-solver Framework for Constraint Solver Collaboration.- Spatial Modeling.- Tripartite Line Tracks – Bipartite Line Tracks.- Consistent 3D Model Construction with Autonomous Mobile Robots.- Who Can Connect in RCC?.- An Arrangement Calculus, Its Complexity and Algorithmic Properties.- User Modeling.- Multimodal User State Recognition in a Modern Dialogue System.- Tailoring the Presentation of Plans to Users’ Knowledge and Capabilites.- Agent Technology.- An Agents’ Definition Framework and a Methodology for Deriving Agents’ Taxonomies.- A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom.- Monitoring Agents Using Declarative Planning.