Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Model theory / Structure / Universal algebra / Operational semantics / 3APL / Ω-consistent theory / Algorithm characterizations / Theoretical computer science / Mathematical logic / Mathematics


Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer
Add to Reading List

Document Date: 2005-04-26 08:07:47

Open Document

File Size: 314,51 KB

Share Result on Facebook
UPDATE