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

First Page		Document Content
Date: 2005-04-26 08:07:47 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 Source URL: www.cs.uu.nl Download Document from Source Website File Size: 314,51 KB Share Document on Facebook

	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer DocID: 18JAg - View Document
	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland DocID: 17xZI - View Document
	Planning with Time Limits in BDI Agent Programming Languages Lavindra de Silva RMIT University, Melbourne, Australia DocID: 15DTq - View Document
	Intro to the 3apl interpreter Daan Leijen , http://www.cs.uu.nl/~daan September 23, DocID: 11T4V - View Document
	Install Notes for 3APL Robot Demo Requirements operating system: windows[removed]or higher. java sdk[removed]http://java.sun.com/j2se/1.4/index.html) 3apl-ros-1.0.zip Installation DocID: 10Gqp - View Document