KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings PDF
Preview KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings
Lecture Notes in Artificial Intelligence 3238 EditedbyJ.G.CarbonellandJ.Siekmann Subseries of Lecture Notes in Computer Science Susanne Biundo Thom Frühwirth Günther Palm (Eds.) KI 2004: Advances in Artificial Intelligence 27thAnnual German Conference onAI, KI 2004 Ulm, Germany, September 20-24, 2004 Proceedings 1 3 SeriesEditors JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany VolumeEditors SusanneBiundo ThomFrühwirth GüntherPalm UniversitätUlm,FakultätfürInformatik 89069Ulm,Germany E-mail:{Susanne.Biundo,Thom.Fruehwirth}@informatik.uni-ulm.de [email protected] LibraryofCongressControlNumber:2004112071 CRSubjectClassification(1998):I.2 ISSN0302-9743 ISBN3-540-23166-8SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springeronline.com ©Springer-VerlagBerlinHeidelberg2004 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyOlgunComputergrafik Printedonacid-freepaper SPIN:11318675 06/3142 543210 Preface KI2004wasthe27theditionoftheannualGermanConferenceonArtificialIntel- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were finally selected for presentation at the conference. The papers cover quite a broad spectrum of “classical” subareas of AI, like natu- ral language processing, neural networks, knowledge representation, reasoning, planning, and search.When looking at this year’s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of plan- ning, where the technology is being exploited for taxiway traffic control and game playing; natural language processing and knowledge representation are enabling advancedWeb-basedinformationprocessing;andthe integrationofre- sults from automated reasoning, neural networks and machine perception into robotics leads to significantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jo¨rgSiekmann(DFKI andUniversityofSaarland,Saarbru¨cken),MalikGhallab(LAAS-CNRS,Toulouse), Franc¸ois Fages (INRIA Rocquencourt), Martin Riedmiller (University of Os- nabru¨ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbru¨cken). Their invited papers are also presented in this volume. This yearKI was held in co-locationwith INFORMATIK 2004,the German Conference on Computer Science, organized under the auspices of the German Informatics Society (GI). KI and INFORMATIK shared a joint day of invited presentations. The talks by Wolfgang Wahlster and Malik Ghallab were part of this joint programme. A conference like KI 2004 involves the dedication of many people. First of all, there are the authors, who submitted their papers to the conference; there are the members of the programcommittee and the many additional reviewers, who worked hard on providing high-quality reviews in time and participated in the paper discussion process; and there is the highly supportive KI 2004 local arrangements committee. We are most grateful to all of them. July 2004 Susanne Biundo Thom Fru¨hwirth Gu¨nther Palm Organization General Chairs Susanne Biundo University of Ulm, Germany Friedrich von Henke University of Ulm, Germany Program Chairs Susanne Biundo University of Ulm, Germany Thom Fru¨hwirth University of Ulm, Germany Gu¨nther Palm University of Ulm, Germany Workshop Chair Michael Beetz Technical University Munich, Germany Local Arrangements Chair Thorsten Liebig University of Ulm, Germany Program Committee Slim Abdennadher German University in Cairo, Egypt Elisabeth Andr´e University of Augsburg, Germany Roman Bartak Charles University, Prague,Czech Republic Michael Beetz Technical University Munich, Germany Hans-Georg Beyer University of Dortmund, Germany Susanne Biundo University of Ulm (co-chair), Germany Gerhard Brewka University of Leipzig, Germany Hans-Dieter Burkhard Humboldt University Berlin, Germany Thomas Christaller Fraunhofer AIS, Bonn, Germany Henning Christiansen Roskilde Universitym, Denmark Franc¸ois Fages INRIA, Rocquencourt, France Thom Fru¨hwirth University of Ulm (co-chair), Germany Ulrich Furbach University Koblenz-Landau, Germany Enrico Giunchiglia Genoa University, Italy Gu¨nther Goerz Friedrich-Alexander University, Erlangen, Germany Andreas Gu¨nter University of Hamburg, Germany Joachim Hertzberg Fraunhofer AIS, Bonn, Germany Otthein Herzog TZI, University of Bremen, Germany Organization VII Program Commitee (cont.) Steffen Ho¨lldobler University of Dresden, Germany Werner Horn University of Vienna, Austriy Stefan Kirn University of Hohenheim, Germany Jana Koehler IBM Zurich Research Laboratory,Austria Gerhard Kraetzschmar University of Ulm, Germany Rudolf Kruse Otto-von-Guericke-Universityof Magdeburg, Germany Franz Kurfess California Polytechnic State University, USA Gerhard Lakemeyer University of Aachen, Germany Thorsten Liebig University of Ulm, Germany B¨arbel Mertsching University of Hamburg, Germany Hans-Hellmut Nagel University of Karlsruhe, Germany Bernhard Nebel University of Freiburg, Germany Bernd Neumann University of Hamburg, Germany Heiko Neumann University of Ulm, Germany Gu¨nther Palm University of Ulm, Germany (co-chair) Frank Puppe University of Wu¨rzburg, Germany Martin Riedmiller Osnabru¨ck University, Germany Helge Ritter University of Bielefeld, Germany Ulrike Sattler University of Manchester, UK Friedhelm Schwenker University of Ulm, Germany Jo¨rg Siekmann DFKI, Saarbru¨cken,Germany Rudi Studer University of Karlsruhe, Germany Sylvie Thi´ebaux The Australian National University, Canberra, Australia Michael Thielscher University of Dresden, Germany Paolo Traverso IRST, Trento, Italy Wolfgang Wahlster DFKI, Saarbru¨cken,Germany Toby Walsh University College Cork, UK Gerhard Weiss Technical University Munich, Germany Stefan Wermter University of Sunderland, UK Herbert Wiklicky Imperial College London, UK Stefan Wrobel Fraunhofer AIS and University of Bonn, Germany Additional Reviewers Sebastian Bader Christian Borgelt Ju¨rgen Dix Volker Baier Olivier Bouissou Mark Elshaw Peter Baumgartner Paolo Bouquet Marc Ehrig Berhard Beckert Marco Bozzano Harry Erwin Marco Benedetti Henrik Bulskov Felix Fischer Massimo Benerecetti Philipp Cimiano Christian Fritz PiergiorgioBertoli Hendrik Decker Tom Gedeon VIII Organization Axel Grossmann Alexander Kleiner Frank Ru¨gheimer Volker Haarslev Thorsten Krebs Wolfgang Schmidle R´emy Haemmerl´e Kai Lingemann Olga Skvortsova Pascal Hitzler Yves Martin Sylvain Soliman Frank Hoeppner Davide Martinenghi Nenad Stojanovic Somboon Hongeng Marc Meister Bernd Thomas Tamas Horvath Matthias Nickles Sven Utcke Andreas Hotho Gerd Paass Raphael Volz Lothar Hotz Maurice Pagnucco Stefan Wo¨lfl Gero Iwan Yannick Pencole Jianwei Zhang Lars Karlsson Erich Rome Joerg Kindermann Michael Rovatsos Local Arrangements Committee Martin Clauß University of Ulm, Germany Roland Holzer University of Ulm, Germany Hartmut Jungholt University of Ulm, Germany Thorsten Liebig University of Ulm, Germany (chair) Marc Meister University of Ulm, Germany Sponsoring Institutions University of Ulm, Germany Microsoft Deutschland GmbH sd&m AG Systems, Messe Mu¨nchen GmbH Continental Temic Speech Dialog Systems ProjektentwicklungsgesellschaftUlm mbH Dresdner Bank DaimlerChrysler IBM Deutschland Siemens AG Table of Contents Invited Talks Automated Reasoning Tools for Molecular Biology .................... 1 Fran¸cois Fages Ωmega: Computer Supported Mathematics .......................... 3 J¨org Siekmann and Christoph Benzmu¨ller An Overview of Planning Technology in Robotics ..................... 29 Malik Ghallab SmartWeb: Mobile Applications of the Semantic Web.................. 50 Wolfgang Wahlster Machine Learning for Autonomous Robots ........................... 52 Martin Riedmiller Natural Language Processing Generation of Sentence Parse Trees Using Parts of Speech.............. 56 Tunga Gu¨ngo¨r Application of Machine Learning Techniques to the Re-ranking of Search Results ................................. 67 Martin Buchholz, Dirk Pflu¨ger, and Josiah Poon A Pragmatics-FirstApproach to the Analysis and Generation of Dialogues.......................... 82 Bernd Ludwig Hybrid Natural Language Generation in a Spoken Language Dialog System ................................ 97 Martin Klarner and Bernd Ludwig Error-TolerantFinite-State Lookup for Trademark Search.............. 112 Andreas Eisele and Tim vor der Bru¨ck Knowledge Representation and Ontologies Mining HierarchicalTemporal Patterns in Multivariate Time Series ..... 127 Fabian M¨orchen and Alfred Ultsch X Table of Contents Using BehavioralKnowledge for Situated Prediction of Movements ..... 141 Michael Arens, Artur Ottlik, and Hans-Hellmut Nagel Integration of Manual and Automatic Text Categorization. A CategorizationWorkbench for Text-Based Email and Spam .......... 156 Qin Sun, Christoph Schommer, and Alexander Lang Model Based Deduction for Database Schema Reasoning............... 168 Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann Planning and Search Applying Automatic Planning Systems to Airport Ground-Traffic Control – A Feasibility Study ............... 183 Sebastian Tru¨g, Jo¨rg Hoffmann, and Bernhard Nebel Generalizing the Relaxed Planning Heuristic to Non-linear Tasks........ 198 Stefan Edelkamp Decision-Theoretic Planning for Playing Table Soccer.................. 213 Moritz Tacke, Thilo Weigel, and Bernhard Nebel External A*...................................................... 226 Stefan Edelkamp, Shahid Jabbar, and Stefan Schro¨dl Neural Networks and Machine Learning Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition .................................. 241 Brijnesh J. Jain, Peter Geibel, and Fritz Wysotzki Genre Classification of Web Pages................................... 256 Sven Meyer zu Eissen and Benno Stein Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices ............................. 270 Sˇaru¯nas Raudys Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding ....................... 281 Sebastian Bader, Steffen H¨olldobler, and Alexandre Scalzitti A New Method to Fit a Linear Regression Model for Interval-Valued Data ........................................... 295 Francisco de A.T. de Carvalho, Eufrasio de A. Lima Neto, and Camilo P. Tenorio
Description:The list of books you might like
