INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING

Logic Programming and Reasoning about Actions and Time

Michael Gelfond