
Steunebrink, B.R. & Dastani, M.M. (2012). A Formal Model of Emotion Triggers for BDI Agents with Achievement Goals. In Vol. 185. Synthese, special section of Knowledge, Rationality and Action (pp. 83-129). Testerink, B.J.G. & Dastani, M.M. (2012). A Norm Language for Distributed Organizations. In Proceedings of the 24th Belgium-Netherlands Conference Artificial Intelligence Conference (pp. 234-241). Dastani, M.M. & Lorini, E (2012). A logic of emotions: from appraisal to coping. In Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12) (pp. 1133-1140). Dastani, M.M., Torre, L. van der & Yorke-Smith, N. (2012). A programming approach to monitoring communication in an organisational environment. In Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12) (pp. 1373-1374). Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & Torre, L. van der (2012). Agent Programming Languages Requirements for Programming Cognitive Robots. In M. Dastani, B. Logan & J.F. Huebner (Eds.), pre-proceedings of the Tenth International Workshop on Programming Multi-Agent Systems, ProMAS’12 (pp. 39-54). Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & Torre, L. van der (2012). Agent Programming Languages Requirements for Programming Cognitive Robots (abstract). In J.W.H.M. Uiterwijk, N. Roos & M.H.M. Winands (Eds.), Proc. of BNAIC 2012 (The 24th Benelux Conference on Artificial Intelligence) (pp. 337-338). Fisher, M., Torre, L. van der, Dastani, M.M. & Governatori, G. (Eds.). (2012). Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings (Lecture Notes in Computer Science, 7486). Springer. Dastani, M.M., Torre, L. van der & Yorke-Smith, N. (2012). Monitoring Communication in an Organisational Environment. In Fourteenth International workshop on Coordination, Organization, Institutions and Norms (COIN'12). Dastani, M.M., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2012). Programming Norm Change. In (pp. 151-180). Alechina, N., Dastani, M.M. & Logan, B. (2012). Programming norm-aware agents. In Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12) (pp. 1057-1064). Knobbout, M. & Dastani, M.M. (2012). Reasoning under compliance assumptions in normative multiagent systems. In Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12) (pp. 331-340). Steunebrink, B., Dastani, M.M. & Meyer, J-J.Ch. (2011). A Formal Model of Emotion Triggers: An Approach for BDI Agents. Synthese. Dastani, M.M., Meyer, J-J.Ch. & Grossi, D. (2011). A logic for normative multi-agent programs. International Journal of Logic and Computation. Cáp, M., Dastani, M.M. & Harbers, M. (2011). Belief/goal sharing BDI modules. In Liz Sonenberg, Peter Stone, Kagan Tumer & Pinar Yolum (Eds.), Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 1201-1202). Cap, C., Dastani, M.M. & Harbers, M. (2011). Belief/goal sharing modules for BDI languages. In CSI International Symposium on Computer Science and Software Engineering (CSSE) (pp. 87-94). Dastani, M.M., El Fallah-Seghrouchni, A., Hübner, J. & Leite, J. (2011). Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers. In LADS Vol. 6822. Lecture Notes in Computer Science. Springer. Bulling, N. & Dastani, M.M. (2011). Normative programs and normative mechanism design. In Liz Sonenberg, Peter Stone, Kagan Tumer & Pinar Yolum (Eds.), Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 1187-1188). Bordini, R., Dastani, M.M., Dix, J. & El Fallah-Seghrouchni, A. (2011). Preface: Special issue on Multi-Agent Programming. International Journal of Autonomous Agents and Multi-Agent Systems, 23(2), 155-157. Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2011). Programming Mental State Abduction. In P. Yolum, P. Stone & L. Sonenberg (Eds.), Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS). IFAAMAS. Dastani, M.M. (2011). Programming Multi-Agent Systems. In Twelfth International Workshop on Agent-Oriented Software Engineering (AOSE). Alechina, N., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2011). Reasoning about Plan Revision in BDI Agent Programs. Theoretical Computer Science, 412(44). 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). Bulling, N. & Dastani, M.M. (2011). Verifying Normative Behaviour via Normative Mechanism Design. In Toby Walsh (Ed.), Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI) (pp. 103-108). Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2010). A Logical Account of Theory of Mind. In V. Goranko & W. Jamroga (Eds.), Proceedings of the Third Workshop on Logical Aspects of Multi-Agent Systems (LAMAS). Toronto, Canada. Dastani, M.M. & Winikoff, M. (2010). A unified interaction-aware goal framework. In Nineteenth European Conference on Artificial Intelligence (ECAI'10). Dastani, M.M. & Meyer, J-J.Ch. (2010). Agents with Emotions. International journal of intelligent systems, 25, 636-654. Behrens, T., Dix, J., Hindriks, K.V., Dastani, M.M., Bordini, R.H., Hubner, J., Pokahr, A. & Braubach, L. (2010). An Interface for Agent-Environment Interaction. In ProMAS10. Dastani, M.M., Hindriks, K.V. & Meyer, J-J.Ch. (Eds.). (2010). Chapter 16 in Epistemic Logic: 5 Questions (V.F. Hendricks & O. Roy, eds. New York / London, 2010: Automatic Press, VIP. Dastani, M.M. & Meyer, J-J.Ch. (2010). Correctness of Multi-Agent Programs: A Hybrid Approach. In M. Dr. Dastani, K.V. Hindriks & J.-J.Ch. Prof.dr. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 161-194). Springer, New York / Dordrecht / Heidelberg / London. Dastani, M.M., Brandsema, J., Dubel, A. & Meyer, J-J.Ch. (2010). Debugging BDI-Based Multi-Agent Programs. In L. Braubach, J.-P. Briot & J. Thangarajah (Eds.), Programming Multi-Agent Systems Vol. 5919. Lecture Notes in Artificial Intelligence (pp. 151-169). Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2010). Emotions to Control Agent Deliberation. In W. van der Hoek, G. Kaminka, Y. Lespérance, M. Luck & S. Sen (Eds.), Proc. of 9th Int. Conf. on Autonomous Agents and Multiagent Systems(AAMAS 2010) (pp. 973-980). Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2010). Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. In M. Baldoni, J. Bentahar, M.B. van Riemsdijk & J. Lloyd (Eds.), Declarative Agent Languages and Technologies VII, 7th International Workshop Vol. 5948. Lecture Notes in Computer Science (pp. 174-191). Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2010). Mental State Ascription Using Dynamic Logic. In H. Coelho, R. Studer & M. Wooldridge (Eds.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI) (pp. 561-566). Amsterdam: IOS Press. Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2010). Programming Norm Change. In W. van der Hoek, G. Kaminka, Y. Lespérance, M. Luck & S. Sen (Eds.), Proc. of 9th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010) (pp. 957-964). Alechina, N., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2010). Reasoning About Agent Deliberation. International Journal of Autonomous Agents and Multiagent Systems (JAAMAS), 22(2), 356-381. Dastani, M.M. & Jamroga, W. (2010). Reasoning about Strategies of Agent Programs. In Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10). Astefanoaei, L., Boer, F de & Dastani, M.M. (2010). Strategic Executions of Choreographed Timed Normative Multi-Agent Systems. In Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10). Alechina, N., Dastani, M.M., Kahn, F., Logan, B. & Meyer, J-J.Ch. (2010). Using Theorem Proving to Verify Properties of Agent Programs. In M. Dastani, K.V. Hindriks & J.-J.Ch. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 1-33). Steunebrink, B., Dastani, M.M. & Meyer, J.J. (2009). A Formal Model of Emotion-based Action Tendency for Intelligent Agents. In L. Seabra Lopes, N. Lau, P. Mariano & L. Mateus Rocha (Eds.), 14th Portuguese Conference on Artificial Intelligence (EPIA) (pp. 174-186). Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2009). BDI-Based Development of Virtual Characters with a Theory of Mind. In Zs. Ruttkay, M. Kipp, A. Nijholt & H.H. Vilhjalmsson (Eds.), Proceedings of IVA 2009 (pp. 34-41). Springer Verlag. Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2009). Explaining and Predicting the Behavior of BDI-Based Agents in Games. In M. Baldoni, J. Bentahar, B. Riemsdijk & Lloyd J. (Eds.), International Workshop on Declarative Agent Languages and Technologies (DALT) (pp. 174-191). Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2009). Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. In M. Baldoni, J. Bentahar, J. Lloyd & M. Birna van Riemsdijk (Eds.), Proceedings of DALT 2009 Lecture Notes in Artificial Intelligence. Springer Verlag. Riemsdijk, B. van, Dastani, M.M. & Meyer, J.J. (2009). Goals in conflict: semantic foundations of goals in agent programming. Autonomous agents and multi-agent systems, 18(3), 471-500. Bordini, R. & Dastani, M.M. (2009). Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS). Autonomous agents and multi-agent systems. Lorini, E, Dastani, M.M., Ditmarsch, H. van, Herzig, A. & Meyer, J-J.Ch. (2009). Intentions and Assignments. In X. He, J. Horty & E. Pacuit (Eds.), Logic, Rationality, and Interaction (LORI) (pp. 198-211). Dastani, M.M., Fallah-Seghrouchni, A. El, Leite, J. & Torroni, P. (2009). Introductory Essay of LADS'009. In M. Baldoni, C Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani, B. Dunin-Keplicz, G. Fortino, M. Gleizes, L. Leite, V. Mascardi, J. Padget, J. Pavon, A. Polleres, A. Fallah-Seghrouchni, T. Torroni & R. Verbrugge (Eds.), Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). Dastani, M.M. (2009). Normative Multi-Agent Organizations. In H. Aldewereld, V. Dignum & G. Picard (Eds.), Engineering Societies in the Agents' World (ESAW (pp. 247-249). Astefanoaei, L., Dastani, M.M., Meyer, J-J.Ch. & Boer, F de (2009). On the Semantics and Verification of Normative Multi-Agent Systems. International Journal of Universal Computer Science, 15(13), 2629-2652. Baldoni, M., Baroglio, C, Bentahar, J., Boella, G., Cossentino, M., Dastani, M.M., Dunin-Keplicz, B., Fortino, G., Gleizes, M., Leite, L., Mascardi, V., Padget, J., Pavon, J., Polleres, A., Fallah-Seghrouchni, A. El, Torroni, T. & Verbrugge, R. (Eds.). (2009). Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 (CEUR Workshop Proceedings, 494). CEUR-WS.org. Tinnemeier, N.A.M., Dastani, M.M., Meyer, J-J.Ch. & Van der Torre, L. (2009). Programming Normative Artifacts with Declarative Obligations and Prohibitions. In Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (pp. 145-152). Los Alamitos, CA, USA: IEEE Computer Society. Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2009). Roles and Norms for Programming Agent Organizations. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (pp. 121-128). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. Astefanoaei, L., Boer, F de & Dastani, M.M. (2009). The Refinement of Choreographed Multi-Agent Systems. In M. Baldoni, J. Bentahar, B. Riemsdijk & Lloyd J. (Eds.), Declarative Agent Languages and Technologies (DALT) (pp. 20-34). Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2008). A Characterization of Sapient Agents. In R.V. Mayorga & L. Perlovsky (Eds.), Toward Artificial Sapience, Principles and Methods for Wise Systems (pp. 129-141). Berlin: Springer. Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2008). A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. In G. Mali, C.D. Spyropoulos, N. Fakotakis & N. Avouris (Eds.), Proc. 18th European Conference on Artificial Intelligence (ECAI'08) (pp. 256-260). Greece/Amsterdam: Patras / IOS Press. Steunebrink, B.R., Vergunst, N.L., Mol, Chr. P., Dignum, F.P.M., Dastani, M.M. & Meyer, J-J.Ch. (2008). A Generic Architecture for a Companion Robot. In J. Filipe, J.A. Cetto & J.-L Ferrier (Eds.), Proc. 5th Int. Conf. on Informatics in Control, Automation and Robotics (ICINCO'08) (pp. 315-321). Madeira, Portugal: Funchal. Dastani, M.M., Tinnemeier, N.A.M. & Meyer, J-J.Ch. (2008). A Programming Language for Normative Multi-Agent Systems. In V. Dignum (Ed.), Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global. Astefanoaei, L., Dastani, M.M., Meyer, J-J.Ch. & Boer, F.S. de (2008). A Verification Framework for Normative Multi-Agent Systems. In T.D. Bui, T.V. Ho & Q.T. Ha (Eds.), Proc. PRIMA 2008 Vol. 5357. Lecture Notes in Artificial Intelligence (pp. 42-53). Berlin/Heidleberg, Duitsland: Springer. Dastani, M.M., Hindriks, K.V., Novak, P. & Tinnemeier, N.A.M. (2008). Combining Multiple Knowledge Representation Technologies into Agent Programming Languages. In Proceedings of the workshop on Declarative Agent Languages and Technologies (DALT'08). Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2008). Goal Selection Strategies for Rational Agents. In M.M. Dastani, A. El Fallah Seghrouchni, J. Leite & P. Torroni (Eds.), Languages, Methodologies and Development Tools for Multi-Agent Systems (Proc. LADS 2007) Lecture Notes in Artificial Intelligence (pp. 54-70). Berlin: Springer. Riemsdijk, B. van, Dastani, M.M. & Winikoff, M. (2008). Goals in Agent Systems: A Unifying Framework. In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08). Ricci, A., Piunti, M., Acay, D., Bordini, R., Hubner, J. & Dastani, M.M. (2008). Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms. In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08). Dastani, M.M., Fallah-Seghrouchni, A. El, Leite, J. & Torroni, P. (Eds.). (2008). Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS '07) (Lecture Notes in Artificial Intelligence, 5118). Berlin: Springer. Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). Mental State Abduction of BDI-Based Agents. In M. Baldoni, T. Cao Son, M. Birna van Riemsdijk & M. Winikoff (Eds.), Proceedings of DALT 2008 (pp. 110-125). Heidelberg: Springer. Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). Mental State Abduction of BDI-Based Agents. In A. Nijholt, M. Pantic, M. Poel & H. Hondorp (Eds.), Proceedings of BNAIC 2008 (pp. 363-364). Enschede. Dastani, M.M., Mol, Chr. P. & Steunebrink, B.R. (2008). Modularity in Agent Programming Languages: An Illustration in Extended 2APL. (UU-CS2008-022 ). onbekend: UU WINFI Informatica en Informatiekunde. Dastani, M.M., Mol, Chr. P. & Steunebrink, B.R. (2008). Modularity in Agent Programming Languages: An Illustration in Extended 2APL. In Proceedings of The 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008). Dastani, M.M., Grossi, D., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2008). Normative Multi-Agent Programs and Their Logics. In Proceedings of Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS'08). Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2008). Orwell's Nightmare for Agents? Programming Multi-Agent Organisations. In Proceedings of the workshop on Programming Multi-Agent Systems (ProMAS'08). Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2008). Orwell’s Nightmare for Agents? Programming Normative Multi-Agent Organisations. In K. Hindriks, A. Pokahr & S. Sardina (Eds.), Preproc. AAMAS’08 Workshop on Programming Multi-Agent Systems (ProMAS’08) (pp. 43-58). Estoril, Portugal. Dastani, M.M., Fallah-Seghrouchni, A. El, Ricci, A. & Winikoff, M. (Eds.). (2008). Programming Multi-Agent-Systems (ProMAS'07) (Lecture Notes in Artificial Intelligence, 4908). Berlin: Springer. Alechina, N., Dastani, M.M. & Meyer, J-J.Ch. (2008). Reasoning about Agent Deliberation. In G. Brewka & J. Lang (Eds.), Proc. 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008) (pp. 16-26). Sydney, Australia, Menlo Park, CA,: AAAI Press. Alechina, N., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2008). Reasoning about Agent Execution Strategies (Short Paper). In L. Padgham, D. Parkes, J. Müller & S. Parsons (Eds.), roc of Seventh Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 2008) (pp. 1455-1458). Estoril, Portugal: IFAAMAS. Alechina, A., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2008). Reasoning about agent execution strategies. In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08). Arbab, F., Astefanoaei, L., Boer, F.S. de, Dastani, M.M., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2008). Reo Connectors as Coordination Artifacts in 2APL Systems. In T.D. Bui, T.V. Ho & Q.T. Ha (Eds.), Proc. PRIMA 2008 Vol. 5357. Lecture Notes in Artificial Intelligence (pp. 42-53). Berlin/Heidleberg, Duitsland: Springer. Dastani, M.M. (2008). {2APL}: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 16(3), 214-248. Dastani, M.M., Mol, Chr., Tinnemeier, N.A.M. & Meyer, J-J.Ch. (2007). 2APL: A Practical Agent Programming Language. In M.M. Dastani & E.D. de Jong (Eds.), Proc. 19th Belgian-Dutch Conf. on Artificial Intelligence (BNAIC 2007) (pp. 427-428). Utrecht. Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Characterization of Sapient Agents. In Toward Artificial Sapience: Principles and Methods for Wise Systems. Springer. 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. Alechina, N., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2007). A Logic of Agent Programs. In R.C. Holte & A.E Howe (Eds.), Proc. AAAI-07 (pp. 795-800). Vancouver, Canada: AAAI Press. Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Logic of Agent Programs. In Proceedings of the Twenty-Second National Conference on Artificial Intelligence ({AAAI} 2007). AAAI Press. Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Logic of Emotions for Intelligent Agents. In R.C. Holte & A.E. Howe (Eds.), Proc. AAAI-07 (pp. 142-147). Vancouver, Canada: AAAI Press. Dastani, M.M. & Meyer, J-J.Ch. (2007). A Practical Agent Programming Language. In Proceedings of the fifth International Workshop on Programming Multi-agent Systems (ProMAS'07). Dastani, M.M. & Meyer, J-J.Ch. (2007). A Practical Agent Programming Language. In M.M. Dastani, A. El Fallah Seghrouchni, A. Ricci & M. Winikoff (Eds.), Pre-Proc. AAMAS07 Workshop on Programming Multi-Agent Systems (ProMAS2007) (pp. 72-87). Honolulu, Hawaii. Dastani, M.M., Governatori, G., Rotolo, A., Song, I. & Torre, L. van der (2007). Contextual Deliberation of Cognitive Agents in Defeasible Logic. In Proceedings of the Sixth International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS'07). ACM Press. Bordini, R.H., Dastani, M.M. & Winikoff, M. (2007). Current Issues in Multi-Agent Systems Development. In Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World (pp. 38-61). Springer. Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Emotions as Heurisics for Rational Agents. (UU-CS2007-006 ). onbekend: UU WINFI Informatica en Informatiekunde. Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2007). Goal Selection Strategies for Rational Agents. In M.M. Dastani & E.D. de Jong (Eds.), Proc. 19th Belgian-Dutch Conf. on Artificial Intelligence (BNAIC 2007) (pp. 401-402). Utrecht. Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2007). Goal Selection Strategies for Rational Agents. In M.M. Dastani, A. EL Fallah Seghrouchni, J. Leite & P. Torrini (Eds.), Proc. LADS@MALLOW2007 (Languages, Methodologies and Development Tools for Multi-Agent Systems (pp. 160-175). Durham, UK. Dastani, M.M., Hobo, D. & Meyer, J-J.Ch. (2007). Practical Extensions in Agent Programming Languages. 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. 918-920). Honolulu, Hawaii. Boella, G., Dastani, M.M., Omicini, A. & Torre, L.W.N. van der (2007). Preface. Electronic Notes Theoretical Computer Science, 181, 1-3. Bordini, Rafael H. & Dastani, M.M. (Eds.). (2007). Proceedings of the fith workshop on Multi-Agent Systems (EUMAS 2007).. Dastani, M.M. & Jong, E. de (Eds.). (2007). Proceedings of the nineteenth Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007).. Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2007). Structural aspects of the Evaluation of Agent Organizations. In P. Noriega, J. Vázquez-Salceda, G. Boella, O. Boissier, M.V. Dignum, N. Fornara & E. Matson (Eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems II (pp. 3-18). Springer. Dastani, M.M., Dix, J. & Novak, P. (2007). The Second Contest on Multi-Agent Systems based on Computational Logic. In K. Inoue, K. Satoh & F. Toni (Eds.), Proceedings of the seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII). Hakodate, Japan: Springer. Vergunst, N.L., Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Towards Programming Multimodal Dialogues. In Proceedings of the Workshop on Communication between Human and Artificial Agents (CHAA'07) (pp. 342-345). Fremont, California, USA: IEEE Computer Society Press. Vergunst, N.L., Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Towards Programming Multimodal Dialogues. In M.M. Dastani & E.D. de Jong (Eds.), Proc. 19th Belgian-Dutch Conf. on Artificial Intelligence (BNAIC 2007) (pp. 407-408). Utrecht. Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Towards a Quantitative Model of Emotions for Intelligent Agents. In D. Reichardt & P. Levi (Eds.), KI'07 Workshop on Emotion and Computing - Current Research and Future Impact. Osnabruck, Germany. Bordini, R.H., Braubach, L., Dastani, M.M., Seghrouchni, A.E.F., Gomez-Sanz, J.J., Leite, J., O'Hare, G., Pokahr, A. & Ricci, A. (2006). A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica, 30, 33-44. Winkelhagen, L., Dastani, M.M. & Broersen, J.M. (2006). Beliefs in Agent Implementation. In Proceedings of the third International Workshop on Declarative Agent Languages and Technologies (DALT 2005). Springer. Harrenstein, B.P. & Dastani, M.M. (2006). Effectivity and Noncooperative Solution Concepts. In Seventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT06). Liverpool. Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2006). Emotions as Heuristics in Multi-Agent Systems. In D. Reinhardt, P. Levi & J.-J.Ch. Meyer (Eds.), Proc. 1st Workshop on Emotion and Computing – Current Research and Future Impact (pp. 15-18). 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. Kwisthout, J.H.P. & Dastani, M.M. (2006). Modelling Uncertainty in Agent Programming. In M. Baldoni, U. Endriss, A. Omicini & P. Torroni (Eds.), Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 (pp. 17-32). Springer-Verlag. 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). Dastani, M.M. & Meyer, J-J.Ch. (2006). Programming Agent with Emotions. In G. Brewka, S. Coradeschi, A. Perini & P. Traverso (Eds.), Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06). Amsterdam: IOS Press. Dastani, M.M. & Meyer, J-J.Ch. (2006). Programming Emotional Agents. In G. Brewka, S. Coradeschi, A. Perini & P. Traverso (Eds.), Proceedings ECAI 2006 (pp. 215-219). Amsterdam: IOS Press. Bordini, R.H., Dastani, M.M., Dix, J. & Seghrouchni, A.E.F. (Eds.). (2006). Programming Multi-Agent Systems (Lecture Notes in Artificial Intelligence, 3862). Berlin: Springer. Dastani, M.M. & Gomez-Sanz, J. (2006). Programming multi-agent systems. The knowledge engineering review, 20, 151-164. 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. Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2006). Structural Aspects of the Evaluation of Agent Organizations. In Preproceedings of COIN@ECAI'06. Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2006). Structural Evaluation of Agent Organizations. In Proceedings of AAMAS'06 (pp. 1110-1112). ACM Press. Grossi, D., Dignum, F.P.M., Dignum, M.V., Dastani, M.M. & Royakkers, L. (2006). Structural Evaluation of Agent Organizations (Short Paper). In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06). ACM Press. Dastani, M.M., Dix, J. & Novak, P. (2006). The First Contest on Multi-Agent Systems based on Computational Logic. In F. Toni & P. Torroni (Eds.), Proceedings of the Sixth International Workshop CLIMA VI, Revised Selected and Invited Papers. City University London, UK. 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. Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2005). A Characterization of Sapient Agents. In R.V. Mayorga & L.I. Perlovsky (Eds.), Proceedings 2005 IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS'05). Dastani, M.M. & Torre, L. van der (2005). Artificial Intelligence and Computer Science. In Susan Shannon (Ed.), Nova Science. Broersen, J.M., Dastani, M.M. & Torre, L. van der (2005). Beliefs, Obligations, Intentions and Desires as Components in an Agent Architecture. International journal of intelligent systems, 20, 893-920. Dastani, M.M., Arbab, F. & Boer, F.S. de (2005). Coordination and Composition in Multi-Agnet Systems. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05). Utrecht. Dastani, M.M. (2005). De Opmars van Cognitieve Agenten (Dutch). 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. Grossi, D., Dignum, F.P.M., Dastani, M.M. & Royakkers, L. (2005). Foundations of Organizational Structures in Multiagent Systems. In Proceedings of AAMAS'05, Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 690-697). ACM Press. Kwisthout, J.H.P. & Dastani, M.M. (2005). Modelling Uncertainty in Agent Programming (extended abstract). In . Verbeeck (Ed.), Proceedings of the 17th BNAIC, October 17-19, 2005 (pp. 361-362). KVAB. Dastani, M.M., Jacobs, N., Jonker, C.M. & Treur, J. (2005). Modelling User Preferences and Mediating Agents in Electronic Commerce. Knowledge-Based Systems Journal, 18, 335-352. Bordini, R.H., Dastani, M.M., Dix, J. & Seghrouchni, A.E.F. (Eds.). (2005). Multi-Agent Programming: Languages, Platforms and Applications (International book series on Multiagent Systems, Artificial Societies, and Simulated Organizations, 15). Springer. Dastani, M.M., Governatori, G., Rotolo, A. & Torre, L. van der (2005). Preferences of Agents in Defeasible Logic. In S. Zhang & R. Jarvis (Eds.), Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence (AI'05) (pp. 695-704). Dastani, M.M., Governatori, G., Rotolo, A. & Torre, L. van der (2005). Programming Cognitive Agents in Defeasible Logic. In Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05) Vol. 3835. Lecture Notes in Artificial Intelligence (pp. 621-637). Dastani, M.M., Dix, J. & Seghrouchni, A.E.F. (Eds.). (2005). Programming Multi-Agent Systems (Lecture Notes in Artificial Intelligence, 3067). Berlin: Springer. Bordini, R.H., Dastani, M.M., Dix, J. & Seghrouchni, A.E.F. (Eds.). (2005). Programming Multi-Agent Systems (Lecture Notes in Artificial Intelligence, 3346). Berlin: 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. Dastani, M.M., Jonker, C.M. & Treur, J. (2004). A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems. International journal of intelligent systems, 19, 277-300. Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Autonomy and Agent Deliberation. In N. Nickels, M. Rovatsos & G. Weiss (Eds.), Agents and Computational Autonomy: Potential, Risks, and Solutions (LNCS, 2969) (pp. 114-127). Heidelberg: Springer-Verlag. Hulstijn, J., Dignum, F.P.M. & Dastani, M.M. (2004). Coherence in Multi-agent Interaction. In R..M. van Eijk, M.-P. Huget & F. Dignum (Eds.), Proceedings of the Agent Communication Languages (AC). New York: LNAI 3396, Springer Verlag. Hulstijn, J., Dignum, F.P.M. & Dastani, M.M. (2004). Coherence in Multi-agent Interaction. In R..M. van Eijk, M.-P. Huget & F. Dignum (Eds.), Proceedings of the Agent Communication Languages (AC). New York: LNAI 3396, Springer Verlag. 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. Dastani, M.M. & Torre, L. van der (2004). Games for Cognitive Agents. In J.J. Alferes & J. Leite (Eds.), Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04) (pp. 5-17). Berlin: Springer-Verlag. Dastani, M.M., Herzig, A., Hulstijn, J. & Torre, L. van der (2004). Inferring trust. In J. Leite & P. Torroni (Eds.), Proceedings of Fifth Workshop on Computational Logic in Multi-agent Systems (clima v) (pp. 34-49). Portugal. Dastani, M.M., Hulstijn, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Issues in Multiagent System Development (abstract). In R. Verbrugge, N. Taatgen & L. Schomaker (Eds.), Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004) (pp. 353-354). Groningen: University of Groningen. Dastani, M.M., Hulstijn, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Issues in Multiagent System Development (abstract). In N.R. Jennings, C. Sierra, L. Sonenberg & M. Tambe (Eds.), Proc. 3rd Int. Joint Conf. On Autonomous Agents & Multi Agent Systems (AAMAS 2004) (pp. 922-929). New York: ACM. Dastani, M.M. & Torre, L. van der (2004). Programming BOID Agents: a deliberation language for conflicts between mental attitudes and plans. In N.R. Jennings & L. Sonenbe (Eds.), Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04) (pp. 706-713). New York: ACM. Dastani, M.M., Dix, J. & Fallah-Segrouchni, A. El (2004). Programming Multi Agent Systems, Post Conference Proceedings of ProMAS 2003 (LNAI). Berlin: Springer-Verlag. Torre, L. van der, Hulstijn, J., Dastani, M.M. & Broersen, J.M. (2004). Specifying Multiagent Organizations. In A. Lomuscio & D. Nute (Eds.), Proceedings 7th International Workshop on Deontic Logic in Computer Science (DEON'04) (pp. 243-257). Springer. Dastani, M.M. & Torre, L. van der (2004). What is a normative goal? Towards Goal-based Normative Agent Architectures. In G. Lindemann & M. Paolucc (Eds.), Regulated Agent-Based Systems, Post-proceedings RASTA02 (pp. 210-227). Berlin: Springer-Verlag. Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (04-09-2003). 3APL: A Programming Language for Cognitive Agents. ERCIM News, European Research Consortium for Informatics and Mathematics, Special issue on Cognitive Systems, No. 53 Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2003). A Characterization of Sapient Agents. In H. Hexmoor (Ed.), Proceedings of the International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS'03): Modeling, Exploration, and Engineering (pp. 172-177). Boston, Massachusetts: IEEE Press, Boston, MA. 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. Dastani, M.M., Indurkhya, B. & Scha, R.J.H. (2003). Analogical Projection in Pattern Perception. Journal of Experimental and Theoretical Artificial Intelligence, 15(4). Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2003). Autonomy and Agent Deliberation. In Michael Rovatsos & Matthias Nickles (Eds.), Proceedings of The First International Workshop on Computational Autonomy - Potential, Risks, Solutions (Autonomous 2003). Broersen, J.M., Dastani, M.M. & Torre, L.W.N. van der (2003). BDIO-CTL: Obligations and the Specification of Agent Behavior. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI2003) (pp. 1389-1390). Broersen, J.M., Dastani, M.M. & Torre, L.W.N. van der (2003). BDIO-CTL: Obligations and the Specification of Agent Behavior. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI2003) Artificial intelligence and law (pp. 1389-1390). Broersen, J., Dastani, M.M. & Torre, L. van der (2003). BDIO_CT: Properties of Obligation in Agent Specification Languages. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03). Dastani, M.M., Ham, J. van der & Dignum, F.P.M. (2003). Communication for Goal Directed Agents. In Marc-Philippe Huget (Ed.), Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies (pp. 239-252). Dastani, M.M., Hulstijn, J. & Torre, L. van der (2003). How to decide what to do? European Journal of Operational Research. Dastani, M.M. & Scha, R.J.H. (2003). Languages for Gestalts of Line Patterns. Journal of Mathematical Psychology, 47, 429-449. Dastani, M.M., Boer, F.S. de, Dignum, F.P.M. & Meyer, J-J.Ch. (2003). Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS'03). Melbourne: ACM Press. Dastani, M.M., Dignum, M.V. & Dignum, F.P.M. (2003). Role-Assignment in Open Agent Societies. In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS'03). Melbourne: ACM Press. Dastani, M.M. & Torre, L. van der (2002). A Classification of Cognitive Agents. In Proceedings of the 24th Annual Meeting of the Cognitive Science Society (Cogsci'02) (pp. 256-261). Washington DC, USA. Dastani, M.M., Jonker, C.M. & Treur, J. (2002). A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems. In M. Wooldridge, G. Weiss & P. Ciancarini (Eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Lecture Notes in Computer Science, vol. 2222 (pp. 169-187). Springer Verlag. Dastani, M.M. & Torre, L. van der (2002). An Extension of BDICTL with Functions and Components. In Proceedings of the 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'02) (pp. 115-129). Springer-Verlag. Dastani, M.M., Ham, J. van der & Dignum, F.P.M. (2002). Communication for Goal Directed Agents. In Proceedings of the Agent Communication Languages and Conversation Policies AAMAS'02 Workshop. Bologna, Italy. Dastani, M.M. & Torre, L. van der (2002). Decisions and Games for BD Agents. In Proceedings of the Workshop on game Theoretic and Decision Theoretic Agents, GTDT'02, Held in Association with AAAI-2002. Edmonton, Canada. Broersen, J., Dastani, M.M., Hulstijn, J. & Torre, L. van der (2002). Goal Generatin in the BOID Architecture. Cognitive Science Quarterly Journal, 2(3-4), 428-447. Broersen, J., Dastani, M.M., Hulstijn, J. & Torre, L.W.N. van der (2002). Goal Generation in the BOID Architecture. Cognitive Science Quarterly Journal, 2(3-4), 428-447. Dastani, M.M., Boer, F.S. de, Dignum, F.P.M., Hoek, W. van der, Kroese, M. & Meyer, J-J.Ch. (2002). Implementing cognitive agents in 3APL. In H. Blockeel & M. Denecker (Eds.), Proceedings of the 14th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC'02) (pp. 515-516). Leuven, Belgium. Dastani, M.M., Dignum, M.V. & Dignum, F.P.M. (2002). Organizations and Normative Agents. In Proceedings of The First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) (pp. 982-989). Springer-Verlag. Dastani, M.M., Boer, F.S. de, Dignum, F.P.M., Hoek, W. van der, Kroese, M. & Meyer, J-J.Ch. (2002). Programming the Deliberation Cycle of Cognitive Robots. In C. Baral & S. McIlraith (Eds.), Proceedings of The Third International Cognitive Robotics Workshop (pp. 22-28). Edmonton, Canada: AAAI Press. Broersen, J., Dastani, M.M. & Torre, L. van der (2002). Realistic Desires. Journal of Applied Non-Classical Logic, 12(2), 287-308. Broersen, J., Dastani, M.M. & Torre, L. van der (2002). Relating functionality descriptions to proof rules of input/output logic. In Proceedings of BNAIC (pp. 27-34). Leuven, Belgium. Dastani, M.M. & Torre, L. van der (2002). Specifying the Merging of Desires into Goals in the Context of Beliefs. In Proceedings of the First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) (pp. 824-831). Springer-Verlag. Dastani, M.M. (2002). The Role of Visual Perception in Data Visualization. Journal of Visual Languages and Computing, 13(6), 601-622. Broersen, J., Dastani, M.M., Huang, Z. & Torre, L. van der (2002). Trust and Commitment in Dynamic Logic. In Proceedings of The First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) (pp. 677-684). Springer-Verlag. Dastani, M.M. & Torre, L. van der (2002). What is a Joint Goal ? Games with Beliefs and Defeasible Desires. In Proceedings of NMR02. Toulouse. Dastani, M.M. & Torre, L. van der (2002). What is a Normative Goal ? In Proceedings of International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02). Bologna, Italy. Dastani, M.M., Jonker, C.M. & Treur, J. (2001). A Requirement Specification Language for Configuration Dynamics of Multi-Agent System. In M. Wooldridge, M. Ciancarini & G. Weiss (Eds.), Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Berlin, Germany: Springer Verlag. Broersen, J., Dastani, M.M., Huang, Z., Hulstijn, J. & Torre, L. van der (2001). An Alternative Classification of Agent Types based on BOID Conflict Resolution. In Proceedings of the Belgium/Dutch AI Conference (BNAIC'2001). Amsterdam. The Netherlands. Dastani, M.M., Huang, Z., Hulstijn, J. & Torre, L. van der (2001). BDI and QDT. In Proceedings of GTDT2001. Stanford. Dastani, M.M., Hulstijn, J. & Torre, L. van der (2001). Dialague Games and Negotiation. In Proceedings of the Agents2001. Dastani, M.M., Marchiori, E. & Voorn, R. (2001). Finding Perceived Pattern Structures using Genetic Programming. In proceedings of Genetic and Evolutionary Computation Conference (GECCO-2001). Dastani, M.M. & Indurkhya, B. (2001). Modeling context effect in perceptual domains. In Proceedings of the CONTEXT'01: Third International Conference on Modeling and Using Context. Berlin, Germany: Springer-Verlag. Broersen, J., Dastani, M.M. & Torre, L. van der (2001). Resolving conflicts between beliefs, obligations, intentions and desires. In symbolic and Quantitative Approaches to Reasoning and Uncertainly. In Proceedings of the ECSQARU'01. Berlin, Germany: Springer Verlag. Broersen, J., Dastani, M.M., Huang, Z., Hulstijn, J. & Torre, L. van der (2001). The BOID Architecture. In Proceedings of the Fifth International Conference on Autonomous Agents (Agents2001). Broersen, J., Dastani, M.M. & Torre, L. van der (2001). Wishful thinking. In Proceedings of DGNMR0. Dastani, M.M., Torre, L. van der & Huang, Z. (2000). Dynamic desires. In S. Parsons & P. Gmytrasiewicz (Eds.), Proceedings of the ICMAS2000 workshop on game-theoretic and decision-theoretic approaches to agency (GTDT2000).