KI 2003: Advances in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression
3. Altmetric Badge
   Chapter 2 Leveraging Metadata Creation for the Semantic Web with CREAM
4. Altmetric Badge
   Chapter 3 Negotiation Technologies
5. Altmetric Badge
   Chapter 4 Pushing the Limit in Visual Data Exploration: Techniques and Applications
6. Altmetric Badge
   Chapter 5 Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle
7. Altmetric Badge
   Chapter 6 The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics
8. Altmetric Badge
   Chapter 7 Satisfiability and Completeness of Converse-PDL Replayed
9. Altmetric Badge
   Chapter 8 Optimality Theory through Default Logic
10. Altmetric Badge
    Chapter 9 Towards a Systematic Account of Different Logic Programming Semantics
11. Altmetric Badge
    Chapter 10 How to Build a Foundational Ontology
12. Altmetric Badge
    Chapter 11 The Universal Medical Language System and the Gene Ontology: Some Critical Reflections
13. Altmetric Badge
    Chapter 12 Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences
14. Altmetric Badge
    Chapter 13 Designing Agents with MicroPsi Node Nets
15. Altmetric Badge
    Chapter 14 Conscious Behavior through Reflexive Dialogs
16. Altmetric Badge
    Chapter 15 What Observations Really Tell Us
17. Altmetric Badge
    Chapter 16 A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k
18. Altmetric Badge
    Chapter 17 Computing Minimum-Cardinality Diagnoses Using OBDDs
19. Altmetric Badge
    Chapter 18 Presenting Sets of Problem Solutions Concisely
20. Altmetric Badge
    Chapter 19 Automatic Document Categorization
21. Altmetric Badge
    Chapter 20 A Logical Approach to Data-Driven Classification
22. Altmetric Badge
    Chapter 21 Spatial Inference – Combining Learning and Constraint Solving
23. Altmetric Badge
    Chapter 22 Hybrid Approaches for Case Retrieval and Adaptation
24. Altmetric Badge
    Chapter 23 Applied Connectionistic Methods in Computer Vision to Compare Segmented Images
25. Altmetric Badge
    Chapter 24 Sequential Learning Algorithm of Neural Networks Systems for Time Series
26. Altmetric Badge
    Chapter 25 A k -Winner-Takes-All Classifier for Structured Data
27. Altmetric Badge
    Chapter 26 Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks
28. Altmetric Badge
    Chapter 27 Bayesian Metanetworks for Modelling User Preferences in Mobile Environment
29. Altmetric Badge
    Chapter 28 On Identifying Tree-Structured Perfect Maps
30. Altmetric Badge
    Chapter 29 Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection
31. Altmetric Badge
    Chapter 30 Fusing Probabilistic Information on Maximum Entropy
32. Altmetric Badge
    Chapter 31 A Probabilistic Approach for Dynamic State Estimation Using Visual Information
33. Altmetric Badge
    Chapter 32 Approaches to Semi-supervised Learning of Fuzzy Classifiers
34. Altmetric Badge
    Chapter 33 Instance-Based Learning of Credible Label Sets
35. Altmetric Badge
    Chapter 34 Self Learning or How to Make a Knowledge Base Curious about Itself
36. Altmetric Badge
    Chapter 35 Tolerance Spaces and Approximative Representational Structures
37. Altmetric Badge
    Chapter 36 Planning in Answer Set Programming Using Ordered Task Decomposition
38. Altmetric Badge
    Chapter 37 The Process Semantics Based Reasoning about Continuous Change
39. Altmetric Badge
    Chapter 38 A Flexible Meta-solver Framework for Constraint Solver Collaboration
40. Altmetric Badge
    Chapter 39 Tripartite Line Tracks – Bipartite Line Tracks
41. Altmetric Badge
    Chapter 40 Consistent 3D Model Construction with Autonomous Mobile Robots
42. Altmetric Badge
    Chapter 41 Who Can Connect in RCC?
43. Altmetric Badge
    Chapter 42 An Arrangement Calculus, Its Complexity and Algorithmic Properties
44. Altmetric Badge
    Chapter 43 Multimodal User State Recognition in a Modern Dialogue System
45. Altmetric Badge
    Chapter 44 Tailoring the Presentation of Plans to Users’ Knowledge and Capabilites
46. Altmetric Badge
    Chapter 45 An Agents’ Definition Framework and a Methodology for Deriving Agents’ Taxonomies
47. Altmetric Badge
    Chapter 46 A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom
48. Altmetric Badge
    Chapter 47 Monitoring Agents Using Declarative Planning