"Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597)" - читать интересную книгу автора (Jack Minker)