This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. This conference encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems.
ISBN: | 9783540721994 |
Publication date: | 27th April 2007 |
Author: | Chitta Baral |
Publisher: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K an imprint of Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
Format: | Paperback |
Pagination: | 327 pages |
Series: | Lecture Notes in Artificial Intelligence |
Genres: |
Software Engineering Artificial intelligence Mathematical theory of computation Computer programming / software engineering |