This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.
| ISBN: | 9783540201014 |
| Publication date: | 12th September 2003 |
| Author: | LPAR Conference, Moshe Y Vardi, Andrei Voronkov |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 436 pages |
| Series: | Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.
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, Moshe Y Vardi, Andrei Voronkov and published by Springer an imprint of Springer Berlin Heidelberg
Logic for Programming Artificial Intelligence and Reasoning has 436 pages
Yes it is part of Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence series