Dynamic Tractable Reasoning

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky''s seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, infe...