KI 2004: Advances in Artificial Intelligence

Inhalt

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