Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Publication year: 2005
: 978-3-540-31650-3
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.
: 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
