istic Logic Networks framework [GIGHO08] utilized in CogPrime and explained further in the book, and other works in the “Progic” area such as [WW06]. Leslie Pack Kaelbling has synthesized low-level robotics methods (particle filtering) with logical inference [ZPIX07|. Dozens of further examples could be given. The const