Logic Programming
Publication year: 2007
ISBN: 978-3-540-74610-2
Internet Resource: Please Login to download book
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Subject: Computer Science, Fuzzy, algorithm, algorithms, answer sets, deduction, formal verification, inductive logic programming, knowledge base, logic programming, mathematical logic, program analysis, programming, semantic web, semantics, verification
