KI 2001: Advances in Artificial Intelligence Joint German/Austri

This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: –

  • PDF / 6,390,849 Bytes
  • 484 Pages / 429.976 x 649.981 pts Page_size
  • 9 Downloads / 219 Views

DOWNLOAD

REPORT


Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

2174

3

Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo

Franz Baader Gerhard Brewka Thomas Eiter (Eds.)

KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI Vienna, Austria, September 19-21, 2001 Proceedings

13

Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Franz Baader RWTH Aachen, Theoretical Computer Science Ahornstrasse 55, 52074 Aachen, Germany E-mail: [email protected] Gerhard Brewka University of Leipzig, Computer Science Institute, Intelligent Systems Department Augustusplatz 10-11, 04109 Leipzig, Germany E-mail: [email protected] Thomas Eiter Vienna University of Technology, Institute of Information Systems Knowledge-Based Systems Group, Favoritenstrasse 11, 1040 Wien, Austria [email protected]

Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Advances in artificial intelligence : proceedings / KI 2001, Joint German Austrian Conference on AI, Vienna, Austria, September 19 - 21, 2001. Franz Baader ... (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2001 (Lecture notes in computer science ; 2174 : Lecture notes in artificial intelligence) ISBN 3-540-42612-4

CR Subject Classification (1998): I.2 ISBN 3-540-42612-4 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2001 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN: 10840436 06/3142 543210

Preface

This volume contains the contributions to the Joint German/Austrian Conference on Artificial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Artificial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the conference; – 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; – 4 contributions by participants of the industrial day, during which companies working in the field presented their AI applicat