27. KI 2004: Ulm, Germany

Invited Talks

• François Fages:
  Automated Reasoning Tools for Molecular Biology. 1-2
  
• Jörg H. Siekmann, Christoph Benzmüller:
  Omega: Computer Supported Mathematics. 3-28
  
• Malik Ghallab:
  An Overview of Planning Technology in Robotics. 29-49
  
• Wolfgang Wahlster:
  SmartWeb: Mobile Applications of the Semantic Web. 50-51
  
• Martin Riedmiller:
  Machine Learning for Autonomous Robots. 52-55
  

Natural Language Processing

• Tunga Güngör:
  Generation of Sentence Parse Trees Using Parts of Speech. 56-66
  
• Martin Buchholz, Dirk Pflüger, Josiah Poon:
  Application of Machine Learning Techniques to the Re-ranking of Search Results. 67-81
  
• Bernd Ludwig:
  A Pragmatics-First Approach to the Analysis and Generation of Dialogues. 82-96
  
• Martin Klarner, Bernd Ludwig:
  Hybrid Natural Language Generation in a Spoken Language Dialog System. 97-111
  
• Andreas Eisele, Tim vor der Brück:
  Error-Tolerant Finite-State Lookup for Trademark Search. 112-126
  

Knowledge Representation and Ontologies

• Fabian Mörchen, Alfred Ultsch:
  Mining Hierarchical Temporal Patterns in Multivariate Time Series. 127-140
  
• Michael Arens, Artur Ottlik, Hans-Hellmut Nagel:
  Using Behavioral Knowledge for Situated Prediction of Movements. 141-155
  
• Qin Sun, Christoph Schommer, Alexander Lang:
  Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam. 156-167
  
• Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann:
  Model Based Deduction for Database Schema Reasoning. 168-182
  

Planning and Search

• Sebastian Trüg, Jörg Hoffmann, Bernhard Nebel:
  Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study. 183-197
  
• Stefan Edelkamp:
  Generalizing the Relaxed Planning Heuristic to Non-linear Tasks. 198-212
  
• Moritz Tacke, Thilo Weigel, Bernhard Nebel:
  Decision-Theoretic Planning for Playing Table Soccer. 213-225
  
• Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl:
  External A*. 226-240
  

Neural Networks and Machine Learning

• Brijnesh J. Jain, Peter Geibel, Fritz Wysotzki:
  Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition. 241-255
  
• Sven Meyer zu Eissen, Benno Stein:
  Genre Classification of Web Pages.. 256-269
  
• Sarunas Raudys:
  Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices. 270-280
  
• Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti:
  Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. 281-294
  
• Francisco de A. T. de Carvalho, Eufrasio de A. Lima Neto, Camilo P. Tenorio:
  A New Method to Fit a Linear Regression Model for Interval-Valued Data. 295-306
  

Reasoning

• Yves Martin:
  Specifying Abnormal Action Qualifications with Sensing in FLUX.. 307-321
  
• Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer:
  On-Line Decision-Theoretic Golog for Unpredictable Domains. 322-336
  
• Sebastian Brand:
  Relation Variables in Qualitative Spatial Reasoning. 337-350
  
• Pascal Hitzler:
  Default Reasoning over Domains and Concept Hierarchies. 351-365
  
• Rong Chen, Daniel Köb, Franz Wotawa:
  Improving Fault Localization of Programs by Using Labeled Dependencies. 366-380
  
• Christophe Mues, Jan Vanthienen:
  Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study. 381-395
  
• Alke Martens, Adelinde Uhrmacher:
  Modeling of Tutoring Processes in Intelligent Tutoring Systems. 396-409
  

Robotics and Machine Perception

• Kejun Zhang, Jianbo Su:
  A New Method for Asynchronous Multisensor Information Fusion. 410-423
  
• Thilo Weigel, Dapeng Zhang, Klaus Rechert, Bernhard Nebel:
  Adaptive Vision for Playing Table Soccer. 424-438
  
• Diedrich Wolter, Longin Jan Latecki, Rolf Lakämper, Xinyu Sun:
  Shape-Based Robot Mapping. 439-452
  
• Kang Ryoung Park:
  Vision-Based Facial and Eye Gaze Tracking System. 453-466