[Edit][History] last modified april 29, 2008
description
[]


First sentence: After making precise what we mean and do not mean by "the frame problem" and discussing some recent approaches, we summarize the main features of the solution offered by rewriting logic.

Table of contents
[]

No table of contents available Disclosure Arrow Add it!