Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
| ISBN: | 9783540305538 |
| Publication date: | 24th November 2005 |
| Author: | LPAR Conference, Geoff Sutcliffe, Andrei Voronkov |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 744 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Logic for Programming, Artificial Intelligence, and Reasoning features in the following genres: Software Engineering, Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering
Paperback. Not Available.
Logic for Programming, Artificial Intelligence, and Reasoning was written by LPAR Conference, Geoff Sutcliffe, Andrei Voronkov and published by Springer an imprint of Springer Berlin Heidelberg
Logic for Programming, Artificial Intelligence, and Reasoning has 744 pages
Yes it is part of Lecture Notes in Computer Science series