Book Details

Logic Programming and Nonmonotonic Reasoning

Publication year: 2007

ISBN: 978-3-540-72200-7

Internet Resource: Please Login to download book


This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007.


Subject: Computer Science, AI logics, answer set programming, cognitive robotics, complexity, computational logics, constraint programming, database logic, heuristics, inference engines, knowledge representation, logic, nonmonotonic reasoning, programming language, robot, semantics