Logic Programming and Nonmonotonic Reasoning 11th International
This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. The 16 revised full papers (13 technical papers, 1 application descripti
- PDF / 6,573,194 Bytes
- 417 Pages / 429.725 x 659.895 pts Page_size
- 93 Downloads / 205 Views
Subseries of Lecture Notes in Computer Science
6645
James P. Delgrande Wolfgang Faber (Eds.)
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011 Vancouver, Canada, May 16-19, 2011 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 James P. Delgrande Simon Fraser University, School of Computing Science Burnaby, B.C., V5A 1S6, Canada E-mail: [email protected] Wolfgang Faber University of Calabria, Department of Mathematics 87036 Rende (CS), Italy E-mail: [email protected]
ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-642-20894-2 e-ISBN 978-3-642-20895-9 DOI 10.1007/978-3-642-20895-9 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2011926310 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
© Springer-Verlag Berlin Heidelberg 2011 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. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface
This volume contains the proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-11) held during May 16–19, 2011 in Vancouver, British Columbia, Canada. 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 conference program included invited talks by Chitta Baral, David Pearce, and David Poole, as well as 16 long papers (13 technical papers, 1 application description
Data Loading...
