Title: Logic-Based Program Synthesis and Transformation
Subjects: Logic design, Software engineering, Algorithms, Computer science, Artificial intelligence, Logic programming, Logics and Meanings of Programs, Programming Techniques, Artificial Intelligence (incl. Robotics)