"Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)" - читать интересную книгу автора (Dov M. Gabbay, Karl Schlechta)