KI 2003: Advances in Artificial Intelligence

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.