| Invited Talks |
| Automated Reasoning Tools for Molecular Biology / François Fages |
| ΩMega: Computer Supported Mathematics / Jörg Siekmann ; Christoph Benzmüller |
| An Overview of Planning Technology in Robotics / Malik Ghallab |
| SmartWeb: Mobile Applications of the Semantic Web / Wolfgang Wahlster |
| Machine Learning for Autonomous Robots / Martin Riedmiller |
| Natural Language Processing |
| Generation of Sentence Parse Trees Using Parts of Speech / Tunga Güngör |
| Application of Machine Learning Techniques to the Re-ranking of Search Results / Martin Buchholz ; Dirk Pflüger ; Josiah Poon |
| A Pragmatics-First Approach to the Analysis and Generation of Dialogues / Bernd Ludwig |
| Hybrid Natural Language Generation in a Spoken Language Dialog System / Martin Klarner |
| Error-Tolerant Finite-State Lookup for Trademark Search / Andreas Eisele ; Tim vor der Brück |
| Knowledge Representation and Ontologies |
| Mining Hierarchical Temporal Patterns in Multivariate Time Series / Fabian Mörchen ; Alfred Ultsch |
| Using Behavioral Knowledge for Situated Prediction of Movements / Michael Arens ; Artur Ottlik ; Hans-Hellmut Nagel |
| Integration of Manual and Automatic Text Categorization. |
| A Categorization Workbench for Text-Based Email and Spam / Qin Sun ; Christoph Schommer ; Alexander Lang |
| Model Based Deduction for Database Schema Reasoning / Peter Baumgartner ; Ulrich Furbach ; Margret Gross-Hardt ; Thomas Kleemann |
| Planning and Search |
| Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study / Sebastian Trüg ; Jörg Hoffmann ; Bernhard Nebel |
| Generalizing the Relaxed Planning Heuristic to Non-linear Tasks / Stefan Edelkamp |
| Decision-Theoretic Planning for Playing Table Soccer / Moritz Tacke ; Thilo Weigel |
| External A* / Shahid Jabbar ; Stefan Schrödl |
| Neural Networks and Machine Learning |
| Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition / Brijnesh J. Jain ; Peter Geibel ; Fritz Wysotzki |
| Genre Classification of Web Pages / Sven Meyer zu Eissen ; Benno Stein |
| Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices / è arunas Raudys |
| Semiring Artificial Neural Networks and Weighted Automata. |
| And an Application to Digital Image Encoding / Sebastian Bader ; Steffen Hölldobler ; Alexandre Scalzitti |
| A New Method to Fit a Linear Regression Model for Interval-Valued Data / Francisco de A.T. de Carvalho ; Eufrasio de A. Lima Neto ; Camilo P. Tenorio |
| Reasoning |
| Specifying Abnormal Action Qualifications with Sensing in FLUX / Yves Martin |
| On-Line Decision-Theoretic Golog for Unpredictable Domains / Alexander Ferrein ; Christian Fritz ; Gerhard Lakemeyer |
| Relation Variables in Qualitative Spatial Reasoning / Sebastian Brand |
| Default Reasoning over Domains and Concept Hierarchies / Pascal Hitzler |
| Improving Fault Localization of Programs by Using Labeled Dependencies / Rong Chen ; Daniel Köb ; Franz Wotawa |
| Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study / Christophe Mues ; Jan Vanthienen |
| Modeling of Tutoring Processes in Intelligent Tutoring Systems / Alke Martens ; Adelinde M. Uhrmacher |
| Robotics and Machine Perception |
| A New Method for Asynchronous Multisensor Information Fusion / Kejun Zhang ; Jianbo Su |
| Adaptive Vision for Playing Table Soccer / Dapeng Zhang ; Klaus Rechert |
| Shape-Based Robot Mapping / Diedrich Wolter ; Longin J. Latecki ; Rolf Lakämper ; Xinyui Sun |
| Vision-Based Facial and Eye Gaze Tracking System / Kang Ryoung Park |
| Author Index |
| Invited Talks |
| Automated Reasoning Tools for Molecular Biology / François Fages |
| ΩMega: Computer Supported Mathematics / Jörg Siekmann ; Christoph Benzmüller |
図書
ＥＢ
