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

Front Matter....Pages -
Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression....Pages 1-18
Leveraging Metadata Creation for the Semantic Web with CREAM....Pages 19-33
Negotiation Technologies....Pages 34-36
Pushing the Limit in Visual Data Exploration: Techniques and Applications....Pages 37-51
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle....Pages 52-63
The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics....Pages 64-78
Satisfiability and Completeness of Converse-PDL Replayed....Pages 79-92
Optimality Theory through Default Logic....Pages 93-104
Towards a Systematic Account of Different Logic Programming Semantics....Pages 105-119
How to Build a Foundational Ontology....Pages 120-134
The Universal Medical Language System and the Gene Ontology: Some Critical Reflections....Pages 135-148
Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences....Pages 149-163
Designing Agents with MicroPsi Node Nets....Pages 164-178
Conscious Behavior through Reflexive Dialogs....Pages 179-193
What Observations Really Tell Us....Pages 194-208
A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k ....Pages 209-223
Computing Minimum-Cardinality Diagnoses Using OBDDs....Pages 224-238
Presenting Sets of Problem Solutions Concisely....Pages 239-253
Automatic Document Categorization....Pages 254-266
A Logical Approach to Data-Driven Classification....Pages 267-281
Spatial Inference – Combining Learning and Constraint Solving....Pages 282-296
Hybrid Approaches for Case Retrieval and Adaptation....Pages 297-311
Applied Connectionistic Methods in Computer Vision to Compare Segmented Images....Pages 312-326
Sequential Learning Algorithm of Neural Networks Systems for Time Series....Pages 327-341
A k -Winner-Takes-All Classifier for Structured Data....Pages 342-354
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks....Pages 355-369
Bayesian Metanetworks for Modelling User Preferences in Mobile Environment....Pages 370-384
On Identifying Tree-Structured Perfect Maps....Pages 385-395
Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection....Pages 396-406
Fusing Probabilistic Information on Maximum Entropy....Pages 407-420
A Probabilistic Approach for Dynamic State Estimation Using Visual Information....Pages 421-435
Approaches to Semi-supervised Learning of Fuzzy Classifiers....Pages 436-449
Instance-Based Learning of Credible Label Sets....Pages 450-464
Self Learning or How to Make a Knowledge Base Curious about Itself....Pages 465-474
Tolerance Spaces and Approximative Representational Structures....Pages 475-489
Planning in Answer Set Programming Using Ordered Task Decomposition....Pages 490-504
The Process Semantics Based Reasoning about Continuous Change....Pages 505-519
A Flexible Meta-solver Framework for Constraint Solver Collaboration....Pages 520-534
Tripartite Line Tracks – Bipartite Line Tracks....Pages 535-549
Consistent 3D Model Construction with Autonomous Mobile Robots....Pages 550-564
Who Can Connect in RCC?....Pages 565-579
An Arrangement Calculus, Its Complexity and Algorithmic Properties....Pages 580-590
Multimodal User State Recognition in a Modern Dialogue System....Pages 591-605
Tailoring the Presentation of Plans to Users’ Knowledge and Capabilites....Pages 606-617
An Agents’ Definition Framework and a Methodology for Deriving Agents’ Taxonomies....Pages 618-632
A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom....Pages 633-645
Monitoring Agents Using Declarative Planning....Pages 646-660
Back Matter....Pages -