KI 2004: Advances in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Automated Reasoning Tools for Molecular Biology
3. Altmetric Badge
   Chapter 2 Ω mega : Computer Supported Mathematics
4. Altmetric Badge
   Chapter 3 An Overview of Planning Technology in Robotics
5. Altmetric Badge
   Chapter 4 SmartWeb: Mobile Applications of the Semantic Web
6. Altmetric Badge
   Chapter 5 Machine Learning for Autonomous Robots
7. Altmetric Badge
   Chapter 6 Generation of Sentence Parse Trees Using Parts of Speech
8. Altmetric Badge
   Chapter 7 Application of Machine Learning Techniques to the Re-ranking of Search Results
9. Altmetric Badge
   Chapter 8 A Pragmatics-First Approach to the Analysis and Generation of Dialogues
10. Altmetric Badge
    Chapter 9 Hybrid Natural Language Generation in a Spoken Language Dialog System
11. Altmetric Badge
    Chapter 10 Error-Tolerant Finite-State Lookup for Trademark Search
12. Altmetric Badge
    Chapter 11 Mining Hierarchical Temporal Patterns in Multivariate Time Series
13. Altmetric Badge
    Chapter 12 Using Behavioral Knowledge for Situated Prediction of Movements
14. Altmetric Badge
    Chapter 13 Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam
15. Altmetric Badge
    Chapter 14 Model Based Deduction for Database Schema Reasoning
16. Altmetric Badge
    Chapter 15 Applying Automatic Planning Systems to Airport Ground-Traffic Control – A Feasibility Study
17. Altmetric Badge
    Chapter 16 Generalizing the Relaxed Planning Heuristic to Non-linear Tasks
18. Altmetric Badge
    Chapter 17 Decision-Theoretic Planning for Playing Table Soccer
19. Altmetric Badge
    Chapter 18 External A*
20. Altmetric Badge
    Chapter 19 Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition
21. Altmetric Badge
    Chapter 20 Genre Classification of Web Pages
22. Altmetric Badge
    Chapter 21 Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices
23. Altmetric Badge
    Chapter 22 Semiring Artificial Neural Networks and Weighted Automata
24. Altmetric Badge
    Chapter 23 A New Method to Fit a Linear Regression Model for Interval-Valued Data
25. Altmetric Badge
    Chapter 24 Specifying Abnormal Action Qualifications with Sensing in FLUX
26. Altmetric Badge
    Chapter 25 On-Line Decision-Theoretic Golog for Unpredictable Domains
27. Altmetric Badge
    Chapter 26 Relation Variables in Qualitative Spatial Reasoning
28. Altmetric Badge
    Chapter 27 Default Reasoning over Domains and Concept Hierarchies
29. Altmetric Badge
    Chapter 28 Improving Fault Localization of Programs by Using Labeled Dependencies
30. Altmetric Badge
    Chapter 29 Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study
31. Altmetric Badge
    Chapter 30 Modeling of Tutoring Processes in Intelligent Tutoring Systems
32. Altmetric Badge
    Chapter 31 A New Method for Asynchronous Multisensor Information Fusion
33. Altmetric Badge
    Chapter 32 Adaptive Vision for Playing Table Soccer
34. Altmetric Badge
    Chapter 33 Shape-Based Robot Mapping
35. Altmetric Badge
    Chapter 34 Vision-Based Facial and Eye Gaze Tracking System