文档介绍：Lecture Notes in Artificial Intelligence 5437
Edited by R. Goebel, J. Siekmann, and W. Wahlster
Subseries of Lecture Notes puter Science
Dietmar Seipel Michael Hanus
Armin Wolf (Eds.)
Applications
of Declarative Programming
and Knowledge Management
17th International Conference, INAP 2007
and 21st Workshop on Logic Programming, WLP 2007
Würzburg, Germany, October 4-6, 2007
Revised Selected Papers
13
Series Editors
Randy Goebel, University of Alberta, Edmonton, Canada
Jörg Siekmann, University of Saarland, Saarbrücken, Germany
Wolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany
Volume Editors
Dietmar Seipel
Universität Würzburg
Institut für Informatik
Am Hubland, 97074 Würzburg, Germany
E-mail: ******@-
Michael Hanus
Christian-Albrechts-Universität zu Kiel
Institut für Informatik
Christian-Albrechts-Platz 4, 24118 Kiel, Germany
E-mail: ******@-
Armin Wolf
Fraunhofer FIRST
Kekuléstr. 7, 12489 Berlin, Germany
E-mail: @
Library of Congress Control Number: Applied for
CR Subject Classification (1998): , ,
LNCS Sublibrary: SL 7 – Artificial Intelligence
ISSN 0302-9743
ISBN-10 3-642-00674-4 Springer Berlin Heidelberg New York
ISBN-13 978-3-642-00674-6 Springer 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. Violations are liable
to prosecution under the German Copyright Law.
© Springer-Verlag Berlin Heidelberg 2009
Printed in Germany
Types