Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Publication Date: 2005
ISBN: 978-3-540-31650-3
Internet Resource: Please Login to download book
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.
Subject: Computer Science, Resolution, abstraction, ai logics, artificial intelligence, automata, automated deduction, automated reasoning, automated theorem proving, description logics, distributed systems, formal verification, logic programming, model checking, semantics, verification
