Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 928)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning
Conference proceedings info: LPNMR 1995.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (29 papers)
-
Front Matter
About this book
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.
Bibliographic Information
Book Title: Logic Programming and Nonmonotonic Reasoning
Book Subtitle: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Editors: V. Wiktor Marek, Anil Nerode, M. Truszczyński
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-59487-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-59487-1Published: 07 June 1995
eBook ISBN: 978-3-540-49282-5Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 415
Topics: Mathematical Logic and Foundations, Logics and Meanings of Programs, Programming Techniques, Artificial Intelligence, Mathematical Logic and Formal Languages