Logic Programming and Nonmonotonic Reasoning 10th International Conf

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNMR 2009 is Applications of Logic Programming and Nonmono

  • PDF / 10,775,975 Bytes
  • 670 Pages / 430 x 660 pts Page_size
  • 92 Downloads / 220 Views

DOWNLOAD

REPORT


Subseries of Lecture Notes in Computer Science

5753

Esra Erdem Fangzhen Lin Torsten Schaub (Eds.)

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009 Potsdam, Germany, September 14-18, 2009 Proceedings

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 Esra Erdem Sabanci University Faculty of Engineering and Natural Sciences Orhanli, Tuzla, 34956 Istanbul, Turkey E-mail: [email protected] Fangzhen Lin Hong Kong University of Science and Technology Department of Computer Science and Engineering Clear Water Bay, Kowloon, Hong Kong E-mail: [email protected] Torsten Schaub Universität Potsdam Institut für Informatik August-Bebel-Str. 89 14482 Potsdam, Germany E-mail: [email protected]

Library of Congress Control Number: 2009933627 CR Subject Classification (1998): I.2.3, I.2.4, F.1.1, F.4.1, D.1.6, G.2 LNCS Sublibrary: SL 7 – Artificial Intelligence ISSN ISBN-10 ISBN-13

1867-8211 3-642-04237-6 Springer Berlin Heidelberg New York 978-3-642-04237-9 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.com © Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12752607 06/3180 543210

Preface

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the conference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. The special theme of LPNMR 2009 was “Applications of Logic Programming and Nonmonotonic Reasoning” in general and “Answer Set Programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of A