27. KI 2004: Ulm, Germany

Susanne Biundo, Thom W. Frühwirth, Günther Palm (Eds.): KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3238 Springer 2004, ISBN 3-540-23166-8 BibTeX

Invited Talks

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

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

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

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

Brijnesh J. Jain, Peter Geibel, Fritz Wysotzki:
Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition. 241-255
Electronic Edition (link) BibTeX
Sven Meyer zu Eissen, Benno Stein:
Genre Classification of Web Pages.. 256-269
Electronic Edition (link) BibTeX
Sarunas Raudys:
Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices. 270-280
Electronic Edition (link) BibTeX
Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti:
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. 281-294
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

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

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