Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer - Algorithm characterizations - Document - PDFSEARCH.IO

First Page	Meta Content
	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 City Amsterdam / / Country Netherlands / / Facility Leiden University / Utrecht University / / IndustryTerm defined using transition systems / rule applications / agent technology / / Organization Leiden University / National Aeronautics and Space Administration / utrecht university / / Position head / hb / type exec. / 3APL interpreter / guard / programmer / / ProgrammingLanguage R / / Technology agent technology / / URL www.cs.uu.nl / / SocialTag Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science

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