
Dastani, M.M., Riemsdijk, M.B. van & Winikoff, M. (2011). Rich goal types in agent programming. In Liz Sonenberg, Peter Stone, Kagan Tumer & Pinar Yolum (Eds.), Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 405-412). Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2007). A Grounded Specification Language for Agent Programs. In M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo (Eds.), Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS’07) (pp. 578-585). Honolulu, Hawaii. Riemsdijk, M.B. van & Meyer, J-J.Ch. (2006). A Compositional Semantics of Plan Revision in Intelligent Agents. In M. Johnson & V. Vene (Eds.), Algebraic Methodology And Software Technology: 11th International Conference Vol. 4019. Lecture Notes in Computer Science (pp. 353-367). Berlin/ Heidelberg: Springer. Riemsdijk, M.B. van. Cognitive Agent Programming: A Semantic Approach. UU Universiteit Utrecht (Enschede: Gildeprint drukkerijen B.V.). Prom./coprom.: prof. dr. J-J.Ch. Meyer, dr. F.S. de Boer & dr. M.M. Dastani. Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2006). Dynamic Logic for Plan Revision in Agent Programming. Journal of logic and computation, 16(3), 375-402. Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2006). Goal Types in Agent Programming. In G. Brewka, S. Coradeschi, A. Perini & P. Traverso (Eds.), Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (pp. 220-224). Amsterdam: IOS Press. Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2006). Goal Types in Agent Programming: Extended Abstract. In P. Stone & G. Weiss (Eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06) (pp. 1285-1287). ACM Press. Riemsdijk, M.B. van, Dastani, M.M., Meyer, J-J.Ch. & Boer, F.S. de (2006). Goal-Oriented Modularity in Agent Programming. In P. Stone & G. Weiss (Eds.), Proceedings of the fifth international joint conference on autonomous agents and multiagent systems (AAMAS'06) (pp. 1271-1278). Hakodate. Dastani, M.M. & Riemsdijk, M.B. van (2006). Plan Generation and Plan Execution in Agent Programming. In Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006). Riemsdijk, M.B. van, Boer, F.S. de, Dastani, M.M. & Meyer, J-J.Ch. (2006). Prototyping 3APL in the Maude Term Rewriting Language. In Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA'06). Riemsdijk, M.B. van, Boer, F.S. de & Dastani, M.M. (2006). Prototyping 3APL in the Maude Term Rewriting Language, Extended Abstract. In P. Stone & G. Weiss (Eds.), Proc. Fifth Int. Joint Conf. On Autonomous Agents and Multiagent Systems (AAMAS'06) (pp. 1279-1281). ACM Press. Riemsdijk, M.B. van, Boer, F.S. de, Dastani, M.M. & Meyer, J-J.Ch. (2006). Prototyping 3APL in the Maude Term Rewriting Language, Revised Selected and Invited Papers. In K. Inoue, K. Satoh & F. Toni (Eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop (LNAI, 4371) (pp. 95-114). Berlin: Springer. Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2006). Semantics of Plan Revision in Intelligent Agents. Theoretical Computer Science, 351, 240-257. Dastani, M.M., Riemsdijk, M.B. van, Hulstijn, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Enacting and Deacting Roles in Agent Programming. In J Odell, P Giordini & J.P Müller (Eds.), Revised Selected Papers Vol. 3382. Lecture Notes in Computer Science (pp. 189-204). Berlin/Heidelberg: Springer. Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2005). Dynamic logic for plan revision in intelligent agents. UU-CS 2005-013. onbekend: UU WINFI Informatica en Informatiekunde. Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2005). Dynamic logic for plan revision in intelligent agents. In Joao.A. Leite & Paolo Torroni (Eds.), Proceedings of the fifth international workshop on computational logic in multi-agent systems (CLIMA'04) (pp. 196-211). Berlin: Springer-Verlag. Riemsdijk, M.B. van, Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Dynamics of Declarative Goals in Agent Programming. In J. Leite, A. Omicini, P. Torroni & P. Yolum (Eds.), Declarative Agent Languages and Technologies II: Second International Workshop (LNAI, 3476) (pp. 1-18). Berlin/Heidelberg: Springer-Verlag. Dastani, M.M., Riemsdijk, M.B. van, Hulstijn, J. & Meyer, J-J.Ch. (2005). Enacting and Deacting Roles in Agent Programming. In J. Odell, P. Giorgini & J. P. Müller (Eds.), Agent-Oriented Software Engineering V (LNCS, 3382) (pp. 189-204). Berlin/Heidelberg: Springer. Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2005). Programming Multi-Agents Systems in 3APL. In R. H. Bordini, M. Dastani, J. Dix & A El Fallah Seghrouchni (Eds.), Multi-Agent Programming (Languages, Platforms and Applications) (pp. 39-67). New York: Springer Science. Riemsdijk, M.B. van, Dastani, M.M. & Meyer, J-J.Ch. (2005). Semantics of Declarative Goals in Agent Programming. In F. Dignum, V. DIgnum, S. Koenig, S. Kraus, M.P. Singh & M. Wooldridge (Eds.), Proceedings Autonomous Agents & Multi Agent Systems (AAMAS'05) (pp. 133-140). Riemsdijk, M.B. van, Dastani, M.M. & Meyer, J-J.Ch. (2005). Subgoal Semanics in Agent Programming. In Proceedings of the 12th Portuguese Conference on Artificial Intelligence (pp. 548-559). Berlin: Springer-Verlag. Dastani, M.M., Riemsdijk, M.B. van, Dignum, F.P.M. & Meyer, J-J.Ch. (2004). A Programming Language for Cognitive Agents: Goal-Directed 3APL. In M. Dastani, J. Dix & A. El Fallah-Seghrouchni (Eds.), Programming Multi-Agent Systems (Proc. ProMAS 2003) (LNAI, 3067) (pp. 111-130). Berlin: Springer-Verlag. Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2004). Dynamic Logic for Plan Revision in Intelligent Agents. In J. Leite & P. Torroni (Eds.), Pre-Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems). (pp. 196-211). Riemsdijk, M.B. van, Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Dynamics of Declarative Goals in Agent Programming. In J. Leite, A. Omicini, P. Torroni & P. Yolum (Eds.), Proceedings of the second international workshop on Declarative agent languages and technologies (DALT'04). (pp. 17-32). New York: AAMAS-2004. Riemsdijk, M.B. van, Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Dynamics of Declarative Goals in Agent Programming (abstract). In R. Verbrugge, N. Taatgen & L. Schomaker (Eds.), Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004). (pp. 341-342). Groningen: University of Groningen. Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2004). Semantics of Plan Revision in Intelligent Agents. In C. Rattray, S. Maharaj & C. Shankland (Eds.), Algebraic Methodology and Software Technology (Proc. AMAST 2004) (pp. 426-442). Berlin: Springer-Verlag. Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2004). Semantics of Plan Revision in Intelligent Agents. UU-CS 2004-002. Utrecht: Utrecht University: Information and Computing Sciences. Dastani, M.M., Riemsdijk, M.B. van, Dignum, F.P.M. & Meyer, J-J.Ch. (2003). A Programming Language for Cognitive Agents: Goal Directed 3APL. In Mehdi Dastani & Jurgen Dix (Eds.), Proceedings of the First Workshop on Programming Multiagent Systems: Languages, frameworks, techniques, and tools (ProMAS03). Melbourne: Amal El Fallah-Seghrouchni. Riemsdijk, M.B. van, Hoek, W. van der & Meyer, J-J.Ch. (2003). Agent programming in {Dribble}: from beliefs to goals with plans. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03) (pp. 393-400). Melbourne.