Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
Publication year: 2005
ISBN: 978-3-540-32275-7
Internet Resource: Please Login to download book
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was - viewed by at least three expert reviewers. The ?nal decisions on the papers were taken during an electronic Program Committee meeting held on the Internet. The Internet-based submission, reviewing, and discussion software EasyChair, provided by the second PC co-chair, supported each stage of the reviewing p- cess.
Subject: Computer Science, Automat, artificial intelligence, automated reasoning, description logics, formal verification, fuzzy, intelligence, logic, programming, proof theory, proving, theorem proving, verification
