Publication year: 2007
: 978-3-540-72200-7
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.
: 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