Logic Programming and Nonmonotonic Reasoning 7th International C
- PDF / 7,253,276 Bytes
- 375 Pages / 430 x 660 pts Page_size
- 94 Downloads / 208 Views
Subseries of Lecture Notes in Computer Science
2923
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Vladimir Lifschitz Ilkka Niemel¨a (Eds.)
Logic Programming and Nonmonotonic Reasoning 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Vladimir Lifschitz University of Texas at Austin Department of Computer Sciences 1 University Station C0500 Austin, TX 78712, USA E-mail: [email protected] Ilkka Niemel¨a Helsinki University of Technology Dept. of Computer Science and Engineering Laboratory for Theoretical Computer Science P.O. Box 5400, 02015 HUT, Finland E-mail: Ilkka.Niemela@hut.fi
Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at . CR Subject Classification (1998): I.2.3, I.2, F.4.1, D.1.6 ISSN 0302-9743 ISBN 3-540-20721-X 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 is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Protago-TeX-Production GmbH Printed on acid-free paper SPIN: 10975749 06/3142 543210
Preface
The papers in this collection were presented at the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6–8, 2004. The previous meetings in this series were held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, USA (1995), Dagstuhl, Germany (1997), El Paso, USA (1999), and Vienna, Austria (2001). LPNMR conferences are a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. In the 1980s researchers working in the area of nonmonotonic reasoning discovered that their formalisms could be used to describe the behavior of negation as failure in Prolog, and the first LPNMR meeting was convened for the purpose of discussing this relationship. This work has led to the creation of logic programming systems of a new kind, ans
Data Loading...
