Logical Tools for Handling Change in Agent-Based Systems - Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Logic; Artificial intelligence; Logic, Symbolic and mathematical; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Logic