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 Their Approximation 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.