Logic Programming and Nonmotonic Reasoning 6th International Con
- PDF / 5,859,341 Bytes
- 460 Pages / 451 x 677.048 pts Page_size
- 74 Downloads / 187 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
2173
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Thomas Eiter Wolfgang Faber Miros law Truszczy´nski (Eds.)
Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001 Vienna, Austria, September 17-19, 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 Thomas Eiter Wolfgang Faber Vienna University of Technology, Institut f¨ur Informationssysteme 1040 Wien, Austria E-mail:{eiter,faber}@kr.tuwien.ac.at Miros law Truszczy´nski University of Kentucky, Department of Computer Science Lexington, KY 40506-0046, USA E-mail: [email protected]
Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Logic programming and nonmonotonic reasoning : 6th international conference ; proceedings / LPNMR 2001, Vienna, Austria, September 17 - 19, 2001. Thomas Eiter ... (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2001 (Lecture notes in computer science ; Vol. 2173 : Lecture notes in artificial intelligence) ISBN 3-540-42593-4
CR Subject Classification (1998): I.2.3, I.2, F.4.1, D.1.6 ISBN 3-540-42593-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 DATeX Gerd Blumenstein Printed on acid-free paper SPIN 10840410 06/3142 543210
Preface
These are the proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001). The conference was held in Vienna from 17th to 19th of September, 2001. It was collocated with the Joint German/Austrian Conference on Artificial Intelligence (24th German/9th Austrian Conference on Artificial Intelligence), KI 2001. LPNMR conferences aim to promote research in logic-based programming languages, database systems, nonmonotonic reasoning, and knowledge representation. LPNMR 2001 was the sixth conference in the series. The previous meetings were held in Washington, DC, in 1991, in Lisbon, Portugal, in 1993, in Lexington, Kentucky, in 1995, in Dagstuhl, Germany, in 1997, and in El P
Data Loading...
