prof. dr. J.J.C. (John-Jules) Meyer
J.J.C.Meyer@uu.nl
Gegenereerd op 2017-06-22 13:54:20


Chair
Information and Computing Sciences, de facto: Intelligent Systems / Artificial Intelligence
Date of appointment 29.04.1993
Profile

Prof.dr. John-Jules Ch. Meyer studied Mathematics with Computer Science and Digital Signal Processing at Leyden University. He obtained his Ph.D. from the Vrije Universiteit in Amsterdam on a subject in theoretical computer science. From 1988 to 1993 he was a full professor both at the VU in Amsterdam and the University of Nijmegen. Since 1993 he has been a full professor of computer science at Utrecht University. At the moment he is heading the Intelligent Systems Group. Currently he is also the director of the AlanTuring Institute Almere, which specializes in multi-disciplinary research for the health sciences. He is a member of the editorial boards of several international journals including the Journal of Intelligent Agents & Multi-Agent Systems. His current research interests include artificial intelligence, and intelligent agents in particular, as to both theory and applications. In 2005 he has been appointed as a Fellow of the European Coordinating Committee for Artificial Intelligence (ECCAI).

Strategic themes / Focus areas
Gegenereerd op 2017-06-22 13:54:20
All publications
  2017 - Scholarly publications
Timmer, S.T., Meyer, J.J.C., Prakken, H., Renooij, S. & Verheij, B. (2017). A two-phase method for extracting explanatory arguments from Bayesian networks. International Journal of Approximate Reasoning, 80, (pp. 475-494).
  2016 - Scholarly publications
Knobbout, M., Dastani, M.M. & Meyer, J.J.C. (2016). A Dynamic Logic of Norm Change. In G.A. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum & F. van Harmelen (Eds.), Proc. ECAI2016 (22nd European Conference on Artificial Intelligence, The Hague, The Netherlands) (pp. 886-894). IOS Press.
Knobbout, M., Dastani, M.M. & Meyer, J.J.C. (2016). A Dynamic Logic of Norm Change (ext. abstract). In T. Bosse & B. Bredeweg (Eds.), Proc. 28th Benelux Conference on Aritificial Intelligence (pp. 142-143).
Luo, Jieting & Meyer, John-Jules (2016). A formal account of opportunism based on the situation calculus. AI and Society, (pp. 1-16) (16 p.).
van Moergestel, L., van der Bijl, B., Puik, E., Telgen, D.H. & Meyer, J.J.C. (2016). A Multiagent System for Monitoring Health. In A. Martin, G. Gonçalves & L. van Moergestel (Eds.), Proc. 5th Int. Conf. on Intelligent Systems and Applications (INTELLI 2016) (pp. 57-62). Red Hook, NY 12571: Curran Associates Inc..
Peeters, M.M.M., van den Bosch, K., Meyer, J.J.C. & Neerincx, M. (2016). Agent-Based Personalisation and User Modeling for Personalised Educational Games. In J. Vassileva, J. Blustein, L. Aroyo & S. D'Mello (Eds.), Proc. of the 2016 Conference on User Modeling Adaptation and Personalization (pp. 303-304).
Meyer, J.J.C., Wai Shiang, C. & Taveter, K. (2016). Agent-Oriented Methodology for Designing Cognitive Agents for Serious Games. In M. Baldini, J.P. Müller, I. Nunes & R. Zalila-Wenkstern (Eds.), Engineering Multi-Agent Systems, Fourth International Workshop (pp. 39-54).
Verheij, Bart, Bex, F.J., Timmer, S.T., Vlek, Charlotte s., Meyer, J.J.C., Renooij, S. & Prakken, H. (2016). Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning. Law, Probability and Risk, 15 (1), (pp. 35) (70 p.).
Gasparini, L., Norman, T. J., Kollingbaum, M.J., Chen, L. & Meyer, J.J.C. (2016). Còir: Verifying normative specifications of complex systems. In V. Dignum, P. Noriega, M. Sensoy & J.S. Sichman (Eds.), Coordination, Organizations, Institutions, and Normes in Agent Systems XI , LNAI (pp. 134-153). Switzerland: Springer International Publishing.
Knobbout, M., Dastani, M.M. & Meyer, J.J.C. (2016). Formal Frameworks for Verifying Normative Multi-agent Systems. In E. Ábrahám, M. Bonsangue & E.B. Johnsen (Eds.), Theory and Practice of Formal Methods (Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday); LNCS 9660 (pp. 294-308). Switzerland: Springer International Publishers.
Souza, M., Moreira, A., Vieira, R. & Meyer, J.J.C. (2016). Integrating Ontology Negotiation and Agent Communication. In V. Tamma, M. Dragoni, R. Gonçalves & A. Lawrynowicz (Eds.), Ontology Engineering, Post-Proc. 12th International Experiences and Directions Workshop on OWL (OWLED 2015, co-located with 14th International Semantic Web Conference (ISWC 2015) (pp. 56-68). Switzerland: Springer International Publishers.
van Moergestel, L.J.M., van den Berg, M., Knol, M., van der Paauw, R., van Voorst, K., Puik, E., Telgen, D.H. & Meyer, J.J.C. (2016). Internet of Smart Things: A Study on Embedding Agents and Information in a Device. Proc. 8th Int. Conf. on Agents and Artificial Intelligence (ICAART 2016) ;SCITEPRESS – Science and Technology Publications, Lda, 2016 (pp. 102-109).
Luo, J., Meyer, J.J.C. & Knobbout, M. (2016). Monitoring Opportunism in Multi-Agent Systems. In J. Padget, A.P. Rocha, J. Hulstijn, G. Pigozzi, H. Verhagen & S. Villata (Eds.), pre-proc. COIN++@ECAI2016
Souza, M., Moreira, A.F., Vieira, R. & Meyer, J.J.C. (2016). Priorities and Preferences: a Study Based on Contraction. In Ch. Baral, J. Delgrande & F. Wolter (Eds.), Proc. 15th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2016) (pp. 155-164). Palo Alto: AIII Press.
in het Veld, B., Kybartas, B., Bidarra, R. & Meyer, J.J.C. (2016). Procedural generation of populations for storytelling. Proc. PCG 2015 - Workshop on Procedural Content Generation for Games, co-located with the Tenth International Conference on the Foundations of Digital Games (IKBC15), 2015.
Luo, Jieting, Meyer, John-Jules Ch. & Knobbout, Max (2016). Towards a Framework for Detecting Opportunism in Multi-Agent Systems. In G.A. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum & F. van Harmelen (Eds.), ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (pp. 1636-1637) (2 p.). IOS Press.
  2015 - Scholarly publications
Luo, J., Dignum, F.P.M. & Meyer, J.J.C. (2015). A Formal Model of Opportunism Based on Situation Calculus, 4 May 2015, Istanbul. Second International Workshop on Multiagent Foundations of Social Computing
Schropp, G. Y R, Meyer, J. J Ch & Ramamoorthy, S. (2015). A formalization of the coach problem. In R.A.C. Bianchi, H.L. Akin, S. Ramamoorthy & K. Sugiura (Eds.), Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (pp. 345-357) (13 p.). Springer.
Timmer, S.T., Meyer, J.J.C., Prakken, H., Renooij, S. & Verheij, Bart (2015). A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation. In T. Sichelman & K. Atkinson (Eds.), Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law (ICAIL) (pp. 109-118). ACM Press.
Moergestel, Leo van, Puik, Erik, Telgen, D.H. & Meyer, J.J.Ch. (2015). A Study on Transport and Load in a Grid-based Manufacturing System. International Journal on Advances in Software, 8 (1 & 2), (pp. 27-37) (11 p.).
Telgen, D.H., van den Brink, L., van Moergestel, L., Puik, E. & Meyer, J.J.C. (2015). Adding Reconfiguration to an Agile Agent Based Production Grid. In C.F. Oduoza (Eds.), Proc. 25th Int. Conf. on Flexible Automation and Intelligent Manufacturing (FAIM 2015) - Designing for Advanced, High Value Manufacturing and Intelligent Systems for the 21st Century (pp. 496-503). The Choir Press.
Meyer, J.J.Ch., Broersen, J.M. & Herzig, A. (2015). BDI Logics. In H. van Ditmarsch, J.Y. Halpern, W. van der Hoek & B. Kooi (Eds.), Handbook of Logics of Knowledge and Belief (pp. 453-498) (46 p.). College Publications, Chapter 10 of the Handbook of Logics of Knowledge and Belief .
Timmer, S.T., Meyer, J.J.C., Prakken, H., Renooij, S. & Verheij, Bart (10.12.2015). Capturing Critical Questions in Bayesian Network Fragments. Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference (pp. 173-176) (4 p.).
Gasparini, L., Norman, T.J., Kollingbaum, Martin J., Chen, L. & Meyer, J.J.Ch. (2015). Còir: Verifying Normative Specifications of Complex Systems. In P. Noriega & M. Sensoy (Eds.), Pre-proc. COIN@AAMAS2015 (the 18h International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems (16 p.).
Giele, T.R.A., Mioch, T., Neerincx, M.A. & Meyer, J.J.Ch. (2015). Dynamic Task Allocation for Human-Robot Teams. In S. Loiseau, J. Filipe, B. Duval & H.J. van den Herik (Eds.), Proceedings of the International Conference on Agents and Artificial Intelligence, 2015, Lisbon, Portugal (pp. 117-124) (8 p.). Lisbon: SciTePress.
Timmer, S.T., Meyer, J.J.C., Prakken, H., Renooij, S. & Verheij, Bart (2015). Explaining Bayesian Networks using Argumentation. In Sebastien Destercke & Thierry Denoeux (Eds.), Proceedings of the Thirteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) (pp. 83 - 92). Springer.
Timmer, S.T., Meyer, J.J.C., Prakken, H., Renooij, S. & Verheij, Bart (10.12.2015). Explaining Legal Bayesian Networks Using Support Graphs. Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference (pp. 121-130) (10 p.).
Turrini, Paolo, Grossi, Davide, Broersen, Jan M. & Meyer, John-Jules Ch. (2015). Forbidding undesirable agreements. Journal of Logic and Computation, 25 (1), (pp. 159-178) (20 p.).
Gratie, C., Florea, A.M. & Meyer, J.J.C. (2015). General directionality and the local behavior of argumentation semantics. AI Communications, 29 (1), (pp. 3-16) (14 p.).
Moergestel, Leo van, Puik, Erik, Telgen, Daniël & Meyer, John-Jules Ch. (2015). Implementation of an Agent-Based Manufacturing Grid. In J. Tsai, M.-S. Hwang, Y. Chen, H. Nakazato & I. Radusch (Eds.), Twelfth IEEE International Symposium on Autonomous Decentralized Systems, ISADS 2015, Taichung, Taiwan, March 25-27, 2015 (pp. 101-108) (8 p.). IEEE.
Moergestel, Leo van, Puik, Erik, Telgen, Daniël & Meyer, John-Jules Ch. (2015). Implementing Manufacturing as a Service - A Pull-Driven Agent-Based Manufacturing Grid. In S. Batsakis, H.C. Mayr, V. Yakovyna, M. Nikitchenko, G. Zholtkevych, V. Kharchenko, H. Kravtsov, V. Kobets, V.S. Peschanenko, V. Ermolayev, Y. Bobalo & A. Spivakovsky (Eds.), Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015 (pp. 172-187) (16 p.). CEUR Workshop Proceedings.
Luo, J., Meyer, J.J.C. & Dignum, F.P.M. (15.11.2015). On Formalizing Opportunism Based on Situation Calculus. Advances in Social Computing and Multiagent Systems (pp. 147-166) (20 p.). Springer.
van Moergestel, L.J.M., Puik, E., Telgen, D.H. & Meyer, J.J.C. (2015). Optimizing Product Paths in a Production Grid. In I. Schwab, L. van Moergestel & G. Gonçalves (Eds.), Proc. The International Symposium on Intelligent Manufacturing Environments - InManEnt 2015 (part of INTELLI 2015: The Fourth International Conference on Intelligent Systems and Applications (pp. 150-156). IARIA.
Urzica, A.R.S., Meyer, J.J.Ch. & Testerink, B.J.G. (2015). Organizational Replication using Inheritance. Proc 20th Int. Conf. on Control Systems and Computer Science (CSCS), 2015 (pp. 300-306). IEEE Computer Society.
Luo, Jieting, Dignum, Frank & Meyer, John-Jules Ch. (2015). Towards A Formal Model of Opportunism Based on Situation Calculus. Multiagent System Technologies - 13th German Conference, MATES 2015, Cottbus, Germany, September 28-30, 2015, Revised Selected Papers (pp. 275-279) (5 p.).
Gasparini, Luca, Norman, Timothy J., Kollingbaum, Martin J., Chen, Liang & Meyer, John-Jules Ch. (2015). Verifying Normative System Specification containing Collective Imperatives and Deadlines. In R. Bordini, E. Elkind, G. Weiss & P. Yolum (Eds.), Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015 (pp. 1821-1822) (2 p.). Richland: International Foundation for Autonomous Agents and Multiagent Systems.
  2014 - Scholarly publications
van Moergestel, L., van Nieuwland, K., Vermond, L. & Meyer, John-Jules Charles (2014). A Demo Processor as an Educational Tool. In V. Ermolayev, H.C. Mayr, M. Nikitchenko, A. Spivakovsky & G. Zholtkevych (Eds.), Information and Communication Technologies in Education, Research, and Industrial Applications - 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers (pp. 161-177). Switserland: Springer International Publishing.
Schropp, G.Y.R., Meyer, John-Jules Charles & Ramamoorthy, S. (2014). A formalization of the coach problem. In J. Pessoa (Eds.), Pre-Proc. RoboCup International Symposium 2014
van Moergestel, L., Puik, E., Telgen, D.H., Kuijl, M., Alblas, B., Koelewijn, J. & Meyer, John-Jules Charles (2014). A Simulation Model for Transport in a Grid-based Manufacturing System. In J. Grzymala-Busse & I. Schwab (Eds.), Proc. of the Third International Conference on Intelligent Systems and Applications (INTELLI 2014) (pp. 1-7). IARIA.
Timmer, Sjoerd, Meyer, John-Jules Charles, Prakken, Hendrik, Renooij, Silja & Verheij, Bart (2014). A Tool for the Generation of Arguments from Bayesian Networks. In Simon Parsons, Nir Oren, Chris Reed & Frederico Cerutti (Eds.), Computational Models of Argument. Proceedings of COMMA 2014 (pp. 479-480). Amsterdam etc: IOS Press, (extended abstract of demo).
Broersen, J.M. & Meyer, J-J.Ch. (2014). Action, Failure and Free Will Choice in Stit Logic. In F. Lihoreau & M. Rebuschi (Eds.), Epistemology, Context and Formalism (pp. 141-168). Springer.
Tielman, Myrthe, Neerincx, Mark A., Meyer, John-Jules Ch. & Looije, Rosemarijn (2014). Adaptive emotional expression in robot-child interaction. HRI 2014 : proceedings of the 2014 ACM/IEEE international conference on human-robot interaction, Bielefeld, Germany, 03-06.03.2014 (pp. 407-414) (8 p.). New York: ACM.
Moergestel, Leo van, Telgen, D.H., Puik, Erik & Meyer, John-Jules Ch. (2014). Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths. ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire Valley, France, 6-8 March, 2014 (pp. 342-349) (8 p.).
Procee, Ruurdje, Kamphorst, Bart A., Wissen, Arlette van & Meyer, John-Jules Ch. (2014). An Agent-Based Model of Procrastination. In Torsten Schaub, Gerhard Friedrich & Barry O’Sullivan (Eds.), ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) - Proceedings (pp. 747-752) (6 p.). IOS Press.
Sabas, A., Shankar, S., Wiels, V., Meyer, John-Jules Charles & Boyer, M. (2014). An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems. Handbook of Research on Emerging Advancements and Technologies in Software Engineering (pp. 148) (174 p.). Hershey, Pennsylvania, USA: IGI Global (Information Science Publishing).
Peeters, Marieke, van den Bosch, K., Neerincx, M.A. & Meyer, John-Jules Charles (2014). An Ontology for Automated Scenario-Based Training. International Journal of Technology Enhanced Learning, 6 (3), (pp. 195-211).
Penning, Leo de, Garcez, Artur S. d'Avila, Lamb, Luís C., Stuiver, Arjan & Meyer, John-Jules Ch. (2014). Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. 2014 International Joint Conference on Neural Networks, IJCNN 2014, Beijing, China, July 6-11, 2014 (pp. 55-62) (8 p.).
Telgen, D.H., van Moergestel, L.J.M., Puik, E., van den Brink, L., Bakker, T., Hustinx, A. & Meyer, John-Jules (2014). Automatic Software Adaptation after Reconfiguring an Autonomous Manufacturing System. In R. Setchi, R.J. Howlett, M. Naim & H. Sienz (Eds.), Sustainable Design and Manufacturing 2014 Part 1 (pp. 456-467). UK: Future Technology Press.
Telgen, D.H., van Moergestel, L., Puik, E., van den Brink, L., Bakker, T., Hustinx, A. & Meyer, John-Jules Charles (2014). Automatic Software Adaptation after Reconfiguring an Autonomous Manufacturing System. In R. Setchi, R.J. Howlett, M. Naim & H. Sienz (Eds.), pre-Proc. Int. Conf. on Sustainable Design and Manufacturing (KES SDM 2014) (pp. 442-453). Future Technology Press.
Meyer, John-Jules Charles (2014). Dynamic Deontic Logic, Segerberg-Style. In R. Trypuz (Eds.), Krister Segerberg on Logic of Actions (pp. 119-132). Dordrecht: Springer Science + Business Media.
Zee, Marc van, Doherty, Patrick & Meyer, John-Jules Ch. (2014). Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014.
van Moergestel, L., Puik, E., Telgen, D.H., Folmer, H., Grünbauer, M., Proost, R., Veringa, H. & Meyer, John-Jules Charles (2014). Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention. In J. Filipe & A. Fred (Eds.), Agents and Artificial Intelligence - 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers (pp. 115-130 ) (16 p.). Berlin/ Heidelberg: Springer.
Timmer, Sjoerd, Prakken, Hendrik, Meyer, John-Jules Charles, Renooij, Silja & Verheij, Bart (2014). Extracting legal arguments from forensic Bayesian networks. In Rinke Hoekstra (Eds.), Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh Annual Conference (pp. 71-80). IOS Press.
Telgen, D.H., van Moergestel, L., Puik, E., Streng, A., Scheefhals, R., Bakker, T., Hustinx, A., van den Brink, L. & Meyer, John-Jules Charles (2014). Hierarchical Management of a Heterarchical Manufacturing Grid. In F.F. Chen (Eds.), Proc. 24th International Conference on Flexible Automation and Intelligent Manufacturing (pp. 825-832). DEStech Publication.
Meyer, John-Jules Charles (2014). Logics for Intelligent Agents and Multi-Agent Systems. In D.M. Gabbay & J. Woods (Eds.), Handbook of the History of Logic (pp. 629-658). Amsterdam: Elsevier.
Cace, I. & Meyer, John-Jules Charles (2014). Mechanistic Models for Healthcare: A Review of Current Practice and Possibilities. In P. Kommers, P. Isaias, C. Gauzente, M. Baptista Nunes, G. Chao Peng & M. Macedo (Eds.), Proc. E-Health 2014
Multi Conf. on Computer Science and Information Systems 2014 – MCCSIS 2014) (pp. 394-398). Lisbon: IADIS Press.
Penning, Leo de, Garcez, Artur S. d'Avila, Lamb, Luís C. & Meyer, John-Jules Ch. (2014). Neural-symbolic cognitive agents: architecture, theory and application. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 (pp. 1621-1622) (2 p.).
Testerink, Bas, Dastani, Mehdi & Meyer, John-Jules Charles (2014). Norm Monitoring Through Observation Sharing. In A. Herzig & E. Lorini (Eds.), Proceedings of the European Conference on Social Intelligence (pp. 291) (304 p.).
Urzica, Andreaa, Meyer, John-Jules Charles & Testerink, Bas (2014). Organizational Replication by Inheritance. In A.K. Chopra & H. Verhagen (Eds.), pre-Proc. First International Workshop on the Multiagent Foundations of Social Computing (MFCS@AAMAS-2014) (12 p.). IFAAMAS.
Dastani, Mehdi, Floor, Chr. & Meyer, John-Jules Charles (2014). Programming Agents with Emotions. In T. Bosse, J. Broekens, J. Dias & J. van der Zwaan (Eds.), Emotion Modeling, Towards Pragmatic Computational Models of Affective Processes (pp. 57-75) (19 p.). Cham, Switzerland: Springer International Publishing.
Knobbout, Max, Dastani, Mehdi & Meyer, John-Jules Charles (16.09.2014). Reasoning about Dynamic Normative Systems. In Eduardo Fermé & J. Leite (Eds.), Logics in Artificial Intelligence - 14th European Conference (JELIA) (pp. 628) (636 p.). Springer.
Ziafati, Pouyan, Elrakaiby, Y., van Zee, M., Dastani, Mehdi, Meyer, John-Jules Charles & van der Torre, L. (2014). Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. Knowledge Representation and Reasoning in Robotics (KKR2014)
Peeters, Marieke, Bosch, Karel van den, Meyer, John-Jules Ch. & Neerincx, Mark A. (2014). The Design and Effect of Automated Directions During Scenario-based Training. Computers and Education, 70, (pp. 173-183) (11 p.).
Meyer, John-Jules Charles (2014). The Logic of Emotion (Abstract of Invited Talk). In N. Bulling & W. van der Hoek (Eds.), pre-Proc. LAMAS@AAMAS-2014 (7th Workshop on Logical Aspects of Multi-Agent Systems) (1 p.). IFAAMAS.
  2013 - Scholarly publications
Procee, R., Kamphorst, B.A., van Wissen, A. & Meyer, J-J.Ch. (2013). A Formal Model of Procrastination. In K. Hindriks, M. de Weerdt, B. van Riemsdijk & M. Warnier (Eds.), The Proceedings of the 25th Benelux Conference on Artificial Intelligence (BNAIC 2013) (pp. 152-159) (8 p.). Delft, Benelux Conference on Artificial Intelligence (BNAIC).
Ziafati, P., Voos, H., van der Torre, L., Dastani, M. & Meyer, J.-J. Ch. (2013). A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software (Extended Abstract). In D. Brugali, N. Hochgeschwender & R. Philippsen (Eds.), Proc. ICRA2013 Workshop on Software Development and Integration in Robotics (SDIR-VIII) (pp. 63-64).
Dastani, M.M., Grossi, D. & Meyer, J-J.Ch. (2013). A Logic for Normative Multi-Agent Programs. International Journal of Logic and Computation, 23 (2), (pp. 335-354) (20 p.). JLC2011.
van Moergestel, L.J.M., Telgen, D.H., Puik, E. & Meyer, J-J.Ch. (2013). A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments. In S. Vassilyev & R. Yusupov (Eds.), Proc. 2013 IFAC Conference on Manufacturing Modelling, Management, and Control (MIM 2013) (pp. 210-215) (6 p.).
Astefanoaei, L., de Boer, F., Dastani, M.M. & Meyer, J-J.Ch. (2013). A Weakest Precondition Calculus for BUnity. Science of Computer Programming, 78 (9), (pp. 1278-1293) (16 p.).
Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & van der Torre, L. (2013). Agent Programming Languages Requirements for Programming Autonomous Robots. Programming Multi-Agent Systems (pp. 35-53) (19 p.). Springer, ziafati2013agent.
van Moergestel, L.J.M., Langerak, W., Meerstra, G., Nieuwenburg, N., Pape, F., Telgen, D.H., Puik, E. & Meyer, J-J.Ch. (2013). Agents in Domestic Environments. In I. Dumitrache, A.-M. Florea & F. Pop (Eds.), Proc. CSCS-19: The 19th International Conference on Control Systems and Computer Science (pp. 487-494) (8 p.). AgTAmI2013.
Telgen, D.H., van Moergestel, L.J.M., Puik, E., Zanten, A., Abdulamir, A. & Meyer, J-J.Ch. (2013). Agile Product Manufacturing by Dynamically Generating Control Instructions. In M.Y. Wang & J. Hong (Eds.), Proc. 2013 IEEE International Symposium on Assembly and Manufacturing (pp. 282-284) (3 p.). IASM 2013.
Ferdinandus, G.R., Peeters, M.M.M., van den Bosch, K. & Meyer, J-J.Ch. (2013). Automated Scenario Generation - Coupling Planning Techniques with Smart Objects. In O. Foley, M.T. Restivo, J. Uhomoibhi & M. Helfert (Eds.), Proceedings of the International Conference for Computer Supported Education 2013 (CSEDU 2013) (pp. 76-81). Melbourne: SciTePress, Ferdinandus2013 German Neuroscience Society.
Telgen, D.H., van Moergestel, L.J.M., Puik, E., Zanten, A., Abdulamir, A. & Meyer, J-J.Ch. (2013). Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System. In V. Raghavan, X. Hu, Ch.-J. Liau & J. Treur (Eds.), Proc. 2013 IEEE/WIC/ACM International Conferences on Web Intelligence (WI) and Intelligent Agent Technology (IAT) (pp. 155-162) (8 p.). IEEE Computer Society / Conference Publishing Services, Los Alamitos, CA, IAT 2013.
Broersen, J.M., Gabbay, D., Herzig, A., Lorini, E, Meyer, J-J.Ch., Parent, X. & van der Torre, L.W.N. (2013). Deontic Logic. In S. Ossowski (Eds.), Agreement Technologies (pp. 171-181) (11 p.). Springer.
Telgen, D.H., Puik, E., van Moergestel, L.J.M. & Meyer, J-J.Ch. (2013). Distributed and Heterachical Control for Grid Manufacturing. Proc. SICE 2013 (pp. 526-531) (6 p.). SICE 2013.
de Penning, H.L.H., d' Avila Garcez, A.S. & Meyer, J-J.Ch. (2013). Dreaming Machines: On Multimodal Fusion and Information Retrieval Using Neural-Symbolic Cognitive Agents. In A.V. Jones & N. Ng (Eds.), Proc. 2013 Imperial College Computing Student Workshop (ICCSW 2013) (pp. 89-94) (6 p.). OpenAccess Series in Informatics (OASIcs), Vol.35.
van Moergestel, L.J.M., Puik, E., Telgen, D.H. & Meyer, J-J.Ch. (2013). Embedded Autonomous Agents in Products Supporting Repair and Recycling. In G.H. López (Eds.), Proceedings of the eleventh International Symposium on Autonomous Decentralized Systems (pp. 67-74) (8 p.). ISADS 2013.
Cace, I., Meyer, J-J.Ch., Pieterman, C.R.C. & Valk, G.D. (2013). Encapsulated Models for Reasoning and Decision Support. In M. Horbach (Eds.), INFORMATIK 2013: Informatik angepasst an Mensch, Organisation und Umwelt (pp. 1821-1833) (13 p.). Bonner Köllen Verlag.
Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & van der Torre, L. (2013). Event-Processing in Autonomous Robot Programming. In M.L. Gini, O. Shehory, T. Ito & C.M. Jonker (Eds.), Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (pp. 95-102). IFAAMAS, Twelfth International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2013..
Timmer, S.T., Meyer, J-J.Ch., Prakken, H., Renooij, S. & Verheij, B. (2013). Inference and attack in Bayesian networks. In K. Hindriks, M. de Weerdt, B. van Riemsdijk & M Warnier (Eds.), Proceedings of the 25th Benelux Conference on Artificial Intelligence (BNAIC 2013) (pp. 199-206) (8 p.). Delft: TU Delft Library, bnaic13.
van der Spek, E.D., van Oostendorp, H. & Meyer, J-J.Ch. (2013). Introducing surprising events can stimulate deep learning in a serious game. British Journal of Educational Technology, 44 (1), (pp. 156-169) (14 p.).
van Moergestel, L.J.M., Puik, E., Telgen, D.H., Folmer, H., Grünbauer, M., Proost, R., Veringa, H. & Meyer, J-J.Ch. (2013). Monitoring Agents in Complex Products: Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Recovery. In J. Filipe & A.L.N. Fred (Eds.), Proceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART 2013) (pp. 5-13) (9 p.). SciTePress, ICAART 2013.
van Moergestel, L.J.M., Puik, E., Telgen, D.H., van Rijn, R., Segerius, B. & Meyer, J-J.Ch. (2013). Multiagent-based Agile Work Distribution System. In V. Raghavan, X. Hu, Ch.-J. Liau & J. Treur (Eds.), Proc. 2013 IEEE/WIC/ACM International Conferences on Web Intelligence (WI) and Intelligent Agent Technology (IAT) (pp. 224-230) (7 p.). Los Alamitos, CA: IEEE Computer Society / Conference Publishing Services, IAT 2013.
Testerink, B.J.G., Dastani, M.M. & Meyer, J-J.Ch. (2013). Norms in Distributed Organizations. In F. Dignum & A. Chopra (Eds.), Fifteenth International Workshop on Coordination, Organizations, Institutions, and Norms, COIN, 2013. (pp. 31-44).
Boissier, O., Colombetti, M., Luck, M., Meyer, J-J.Ch. & Polleres, A. (2013). Norms, Organizations, and Semantics. Knowledge Engineering Review, 28 (01), (pp. 107-116) (10 p.).
Telgen, D.H., van Moergestel, L.J.M., Puik, E., Muller, P. & Meyer, J-J.Ch. (2013). Requirements and Matching Software Technologies for Sustainable and Agile Manufacturing Systems. In M. Negnevitsky & P. Lorenz (Eds.), Proc. 2nd Int. Conf. on Intelligent Systems and Applications (INTELLI 2013) (pp. 30-35) (6 p.). Best Paper Award Workshop on Computational Models of Narrative - a satellite workshop of CogSci.
  2013 - Professional publications
Meyer, J-J.Ch. (2013). Herinneringen aan SDS. In J. Hage & A. Dijkstra (Eds.), Een Lawine van Ontwortelde Bomen (Liber Amicorum voor Doaitse Swierstra (pp. 163) (1 p.). Utrecht: Departement Informatica, Universiteit Utrecht.
  2012 - Scholarly publications
Steunebrink, B., Dastani, M.M. & Meyer, J-J.Ch. (2012). A Formal Model of Emotion Triggers: An Approach for BDI Agents with Achievement Goals. Synthese, 185, (pp. 83-129). synthese2011 Workshop on Argumentation in Multi-Agent Systems.
Kok, E.M., Meyer, J-J.Ch., van Oostendorp, H., Prakken, H. & Vreeswijk, G.A.W. (2012). A Methodology for the Generation of Multi-Agent Argumentation Dialogue Scenarios. In M Cossentino, M Kaisers, K Tuyls & G Weiss (Eds.), EUMAS'11 Selected and Revised Papers (pp. 160-174). Berlin / Heidelberg: Springer.
Sindlar, M.P. & Meyer, J-J.Ch. (2012). Affordance-Based Intention Recognition in Virtual Spatial Environments (Early Innovation). Lecture Notes in Artificial Intelligence, 7057, (pp. 304-319) (16 p.). Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010.
Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & van der Torre, L. (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) (16 p.).
Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & van der Torre, L. (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) (2 p.).
Telgen, D.H., van Moergestel, L.J.M., Puik, E. & Meyer, J-J.Ch. (2012). Agile Manufacturing Possibilities with Agent Technology. In H. Nylund, S. Kantti, V. Toivonen & S. Torvinen (Eds.), Proc. of 22nd Int. Conf. on Flexible Automation and Intelligent Manufacturing (pp. 341-346) (6 p.). Tampere: Tampere University of Technology, FAIM 2012.
Peeters, M.M.M., van den Bosch, K., Meyer, J-J.Ch. & Neerincx, M. (2012). An Ontology for Integrating Didactics into a Serious Training Game. In S. Bocconi, R. Klamma & Y. Bachvarova (Eds.), Proc. 1st Int. Workshop on Pedagogically‐Driven Serious Games (PDSG 2012) ;in conjunction with the Seventh European Conference on Technology Enhanced Learning (EC-TEL 2012) (pp. 1-10) (10 p.).
Harbers, M., Bradshaw, J.M., Johnson, M., Feltovich, P., van den Bosch, K. & Meyer, J-J.Ch. (2012). Explanation in Human-Agent Teamwork. In S. Cranefield, M.B. Riemsdijk, J. Vázquez-Salceda & P. Noriega (Eds.), Coordination, Organizations, Institutions, and Norms in Agent System VII, Revised Selected Papers (pp. 21-37) (17 p.). COIN@AAMAS 2011.
Gratie, C., Magda Florea, A. & Meyer, J-J.Ch. (2012). Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. Computational Logic in Multi-Agent Systems (pp. 181-194) (14 p.). Berlin/Heidelberg: Springer, 13th Int. Workshop (CLIMA XIII).
Gratie, C., Magda Florea, A. & Meyer, J-J.Ch. (2012). General Directionality and the Local Behavior of Argumentation Semantics. In S. Ossowski, F. Toni & G. Vouros (Eds.), Proc. of the First Int. Conf. on Agreement Technologies (pp. 113-127) (15 p.). Aachen, Agreement Technologies (AT).
van Moergestel, L. & Meyer, J-J.Ch. (2012). Generating Phonemes from Written Thai Using Lexical Analysis Based on Regular Expressions. In J. Filipe & A. Fred (Eds.), Proc. of the 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), Science and Technology Publications (pp. 306-311) (6 p.). SciTePress.
Hindriks, K.V., van der Hoek, W. & Meyer, J-J.Ch. (2012). GOAL Agents Instantiate Intention Logic. In A. Artikis, R. Craven, N.K. Cicekli, B. Sadighi & K. Stathis (Eds.), Logic Programs, Norms and Action (Sergot Festschrift) (pp. 196-219) (24 p.). Heidelberg: Springer.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2012). Modeling Agents with a Theory of Mind: Theory-theory versus Simulation Theory. Web Intelligence and Agent Systems: An International Journal, 10 (3), (pp. 331-343) (13 p.).
Doherty, P. & Meyer, J-J.Ch. (2012). On the Logic of Delegation: Relating Theory and Practice. In F. Paglieri, L. Tummolini, R. Falcone & M. Miceli (Eds.), The goals of cognition. Essays in honour of Cristiano Castelfranchi. College Publications (pp. 457-495).
van Moergestel, L., Puik, E., Telgen, D.H. & Meyer, J-J.Ch. (2012). Production scheduling in an agile agent-based production grid. In N. Zhong, Z. Gong, Y. Cheung, E. Santos, H. Tianfield & H.C. Lau (Eds.), Proc. 2012 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (pp. 293-298) (6 p.). IEEE Computer Society Publications.
Dastani, M., Meyer, J.-J. Ch. & Tinnemeier, N. (2012). Programming Norm Change. Journal of Applied Non-Classical Logic, 22 ((1-2)), (pp. 151-180).
Turrini, P., Broersen, J.M., Mastop, R.J. & Meyer, J-J.Ch. (2012). Regulating competing coalitions: a logic for socially optimal group choices. Journal of Applied Non-Classical Logic, 22 (1-2), (pp. 181-202) (22 p.).
Peeters, M.M.M., van den Bosch, K., Meyer, J-J.Ch. & Neerincx, M.A. (2012). Situated cognitive engineering: the requirements and design of automatically directed scenario-based training. In L. L. Leslie Miller & S. Silvana Roncagliolo (Eds.), ACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions (pp. 266-272) (7 p.). XPS: Xpert Publishing Services.
Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2012). Testing the Benefits of Structured Argumentation in Multi-Agent Deliberation Dialogues. In P McBurney, S Parsons & I Rahwan (Eds.), Proceedings of the 9th International Workshop on Argumentation in Multi-Agent Systems (pp. 87-106) (20 p.). Valencia, Spain.
Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2012). Testing the benefits of structured argumentation in multi-agent deliberation dialogues. In P. McBurney, S. Parsons & I. Rahwan (Eds.), Proceedings of the 9th International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-12) (pp. 87-106) (20 p.). argmas12.
Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2012). Testing the benefits of structured argumentation in multi-agent deliberation dialogues (extended abstract). In V. Conitzer & M. Winikoff (Eds.), Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 1411-1412) (2 p.). International Foundation for Autonomous Agents and Multi-Agent Systems, aamas12.
Broekens, J., Harbers, M., Brinkman, W.P., van den Bosch, K., Jonker, C.M. & Meyer, J-J.Ch. (2012). Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill. In Y. Nakano, M. Neff, A. Paiva & M. Walker (Eds.), Proc. 12th Int. Conf. on Intelligent Virtual Agents (IVA 2012) (pp. 218-230) (13 p.). Berlin/ Heidelberg: Springer.
  2012 - Professional publications
Meyer, J-J.Ch. (2012). De erfenis van Alan Turing (1912-1954). Filosofie, 22 (3), (pp. 45-46) (2 p.).
  2011 - Scholarly publications
Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2011). A Formal Argumentation Framework for Deliberation Dialogues. In P McBurney, S Parsons & I Rahwan (Eds.), Argumentation in Multi-Agent Systems: Proceedings of ArgMAS 2010 (pp. 31-48) (18 p.). Berlin, Germany: Springer, Workshop on Argumentation in Multi-Agent Systems.
Kok, E.M., Meyer, J-J.Ch., van Oostendorp, H., Prakken, H. & Vreeswijk, G.A.W. (2011). A Methodology for the Generation of Multi-Agent Argumentation Dialogue Scenarios. Proceedings of the 9th European Workshop on Multi-Agent Systems Maastricht, The Netherlands.
de Penning, H.L.H., d'Avila Garcez, A., Lamb, L.C. & Meyer, J-J.Ch. (2011). A Neuro-Symbolic Cognitive Agent for Online Learning and Reasoning. In T. Walsh (Eds.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11) (pp. 1653-1658). Menlo Park CA USA: AAAI Press, IJCAI'11. Barcelona.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2011). A Theoretical Framework for Explaining Agent Behavior. In J. Kacprzyk, N. Pina & J. Filipe (Eds.), Proc. 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2011) (pp. 228-231) (4 p.). SciTePress, SIMULTECH 2011.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2011). Agents with a Theory of Mind in Virtual Training. In M. Beer, M. Fasli & D. Richards (Eds.), Multi-Agent Systems for Education and Interactive Entertainment: Design, Use and Experience (pp. 172-187) (16 p.). IGI Global (Information Science Publishing).
van der Weide, T.L., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2011). Arguing About Preferences And Decisions. In P. McBurney, I. Rahwan & S. Parsons (Eds.), Argumentation in Multi-Agent Systems. 7th International Workshop. Revised Selected and Invited Papers (pp. 68-85) (18 p.). Berlin/Heidelberg: Springer, ArgMAS 2010.
Höhle, D., Pieterman, C.R.C., Valk, G.D., Hermus, A.R., Koppeschaar, H.P.F., Meyer, J-J.Ch. & de Lange, R.P.J. (2011). Classifying the Decision To Perform Surgery in MEN1 Cancer Patients Using Decision Trees. In T. Solomonides (Eds.), the 24th Int. Symp. on Computer-Based Medical Systems) & HEALTHGRID 2011 CBMS 2011.
van Moergestel, L., Puik, E., Telgen, D. & Meyer, J-J.Ch. (2011). Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. In M. Aida, Y. Chen, I. Schieferdecker & Y. Tan (Eds.), Proc. 10th Int. Symp. on Autonomous Decentralized Systems (ISADS 2011) (pp. 281-288) (8 p.). ISADS 2011.
Harbers, M., Bradshaw, J., Johnson, M., Feltovich, P.J., van den Bosch, K. & Meyer, J-J.Ch. (2011). Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed. In van M.B. Riemsdijk & J.V. Salceda (Eds.), Pre-Proc. of the COIN 13th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (pp. 17-20) (4 p.).
van der Weide, T.L., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2011). Multi-criteria argument selection in persuasion dialogues. In K. Tumer & P. Yolum (Eds.), Proceedings of the 10th International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 921-928) (8 p.). International Foundation for Autonomous Agents and Multi-Agent Systems, aamas11.
de Penning, L., d'Avila Garcez, A., Lamb, L.C. & Meyer, J-J.Ch. (2011). Neural-Symbolic Cognitive Agents : Architecture and Theory. In A.V. Jones (Eds.), Proc. of the 1st Imperial College Student Workshop (ICCSW ʻ11) (pp. 10-16) (7 p.). ICCSW 2011Proc. of the 1st Imperial College Student Workshop (ICCSW ʻ11).
Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2011). Programming Mental State Abduction. In K. Turner, P. Yolum, L. Sonenberg & P. Stone (Eds.), Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 301-308). IFAAMAS, AAMAS 2011.
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), (pp. 6115-6134).
Peeters, M.M.M., Van den Bosch, K., Meyer, J-J.Ch. & Neerincx, M.A. (28.06.2011). Scenario-based Training: Director's Cut. In G. Biswas, S. Bull, J. Kay & A. Mitrovic (Eds.), Artificial Intelligence in Education (pp. 264-272) (9 p.). Auckland, New Zealand: Springer, Artificial Intelligence in Education.
Peeters, M.M.M., van den Bosch, K., Meyer, J-J.Ch. & Neerincx, M.A. (2011). Situated Cognitive Engineering: The Requirements and Design of Directed Scenario-Based Training. paper presented during the Workshop on Authoring Simulation and Game-based Intelligent Tutoring AIED 2011.
Broekens, J., Harbers, M., Brinkman, W.P., Jonker, C., van den Bosch, K. & Meyer, J-J.Ch. (2011). Validity of a Virtual Negotiation Training. In H.H. Vilhjálmsson, S. Kopp, S. Marsella & K.R. Thórisson (Eds.), Proc. 11th Int. Conf. on Intelligenet Virtual Agents (IVA 2011) (pp. 435-436) (2 p.). Berlin: Springer, IVA '11.
  2010 - Scholarly publications
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) (pp. 65-80). Toronto, Canada: IFAAMAS, LAMAS 2010.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2010). A Methodology for Developing Self-Explaining Agents for Virtual Training. Lecture Notes in Computer Science, 6039, (pp. 168-182) (15 p.).
Peeters, M.M.M., van den Bosch, K., Meyer, J-J.Ch. & Neerincx, M.A. (2010). Adding Directions to Simulation-Based Training. In C. Jonker, V. Evers & M.B. van Riemsdijk (Eds.), Proceedings of the D-CIS Human Factors Event 2010 (pp. 66-68) (3 p.).
Broekens, J., Jonker, C. & Meyer, J-J.Ch. (2010). Affective Negotiation Support Systems. Journal of Ambient Intelligence and Smart Environments, 2 (2), (pp. 121-144) (24 p.).
Sindlar, M.P. & Meyer, J-J.Ch. (2010). Affordance-Based Intention Recognition in Virtual Spatial Environments. In N. Desai, A. Liu & M. Winikoff (Eds.), Proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) (pp. 118-125) (8 p.). Kolkata, India, PRIMA 2010.
Dastani, M.M. & Meyer, J-J.Ch. (2010). Agents with Emotions. International Journal of Intelligent Systems, 25, (pp. 636-654) (19 p.).
de Penning, L., d'Avila Garcez, A., Lamb, L. & Meyer, J-J.Ch. (2010). An Integrated Neural Symbolic Cognitive Agent Architecture for Training and Assessment in Simulators. In A. d'Avila Garcez, P Hitzler & L. Lamb (Eds.), NeSy'10 (Sixth International Workshop on Neural-Symbolic Learning and Reasoning Workshop at AAAI-10
van der Weide, T.L., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2010). Arguing about preferences and decisions. In P. McBurney, S. Parsons & I. Rahwan (Eds.), Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-10) (pp. 229-246) (18 p.). argmas10tomw BNAIC 2010.
van der Weide, T.L., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2010). Arguing About Preferences And Decisions (abstract). In P. Bouvry, L. van der Torre, E. Dubois & Th. Latour (Eds.), Proc. 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010) BNAIC 2010.
Meyer, J-J.Ch. (2010). Chapter 16 : John-Jules Ch. Meyer. In V.F. Hendricks & O. Roy (Eds.), Epistemic Logic: 5 Questions (pp. 157-164) (7 p.). New York, London: Automatic Press, VIP.
Turrini, P., Meyer, J-J.Ch. & Castelfranchi, C. (2010). Coping with Shame and Sense of Guilt: a Dynamic Logic Account. Autonomous Agents and Multi-Agent Systems, 20 (3), (pp. 401-420) (20 p.). DBLP:journals/aamas/TurriniMC10.
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) (34 p.). 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 (pp. 151-169) (19 p.). 7th International Workshop, ProMAS 2009.
Harbers, M., Van den Bosch, K. & Meyer, J-J.Ch. (2010). Design and Evaluation of Explainable BDI Agents. In O. Hoeber, Y. Li & X.J. Huang (Eds.), Proceedings of International Conference on Intelligent Agent Technology (pp. 125-132). WI-IAT.
Broekens, J., Harbers, M., Hindriks, K.V., Van den Bosch, K., Jonker, C.M. & Meyer, J-J.Ch. (2010). Do you get it? User-evaluated explainable BDI agents. Proceedings of 8th Int. Conf. on Multiagent System Technologies (MATES 2010) (pp. 28-39). Springer Berlin Heidelberg.
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) (8 p.). IFAAMAS.
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 (pp. 174-191) (18 p.). DALT2009.
Harbers, M., Van den Bosch, K. & Meyer, J-J.Ch. (2010). Explaining Simulations Through Self Explaining Agents. Journal of Artificial Societies and Social Simulation, 13 ((1)4).
Turrini, P., Grossi, D., Broersen, J.M. & Meyer, J-J.Ch. (2010). Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. Deontic Logic in Computer Science, 10th International Conference (DEON 2010) (pp. 306-322) (17 p.). Springer.
Kok, E.W., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2010). formal argumentation framework for deliberation dialogues. In P. McBurney, S. Parsons & I. Rahwan (Eds.), Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-10) (pp. 73-90) (18 p.). argmas10tomw IBERGRID'2010 - 4th Iberian Grid Infrastructure Conference (May 2010, Braga, Portugal).
Harbers, M., Broekens, J., van den Bosch, K. & Meyer, J-J.Ch. (2010). Guidelines for Developing Explainable Cognitive Models. In D.D. Salvucci & G. Gunzelmann (Eds.), Proceedings of the 10th International Conference on Cognitive Modeling (ICCM 2010) (pp. 85-90) (6 p.). ICCM 2010.
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) (6 p.). Amsterdam: IOS Press, ECAI 2010.
Bentahar, J., Meyer, J-J.Ch. & Wan, W. (2010). Model Checking Agent Communication. In M. Dastani, K.V. Hindriks & J.J.-Ch. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 67-102) (35 p.). Springer, New York/Dordrecht/Heidelberg/London: Springer.
Dennis, L., Tinnemeier, N.A.M. & Meyer, J-J.Ch. (2010). Model Checking Normative Agent Organisations. In J. DIx, M. Fischer & P. Novák (Eds.), Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, 2009 (pp. 64-82) (19 p.).
van der Weide, T.L., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2010). Practical Reasoning Using Values (Giving Meaning to Values). In P. McBurney, I. Rahwan, S. Parsons & N. Maudet (Eds.), Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009, Budapest, Hungary, 2009 (pp. 79-93). Springer Berlin Heidelberg.
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) (8 p.). IFAAMAS 2010.
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), (pp. 356-381) (26 p.). ADLMReasoningJAAMAS.
van Moergestel, L., Puik, E., Telgen, D., Aalbers, M., Marshal, S., van Rooden, F., Siudak, R., Wakelkamp, W. & Meyer, J-J.Ch. (2010). Simulation of Multiagent-Based Agile Manifacturing. In Q. Luo (Eds.), Proc. 2010 International Conference on Computer-aided Manufacturing and Design (CMD2010) (pp. 13-16) (4 p.). CMD2010.
Dastani, M., Hindriks, K.V. & Meyer, J.-J. Ch. (2010). Specification and Verification of Multi-Agent Systems. (406 p.). New York, Dordrecht: Springer.
van Moergestel, L., Puik, E., Telgen, D. & Meyer, J-J.Ch. (2010). The Role of Software Agents in the Life Cycle of a Product. In Q. Luo (Eds.), Proc. 2010 Int. Conf. on Computer-aided Manufacturing and Design (CMD2010) (pp. 17-20) (4 p.). CMD2010.
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) (33 p.).
  2009 - Scholarly publications
de Vries, W., Meyer, J-J.Ch., de Boer, F.S. & van der Hoek, W. (2009). A Coordination Language For Agents Interacting In Distributed Plan--Execute Cycles. Int. J. Reasoning-Based Intelligent Systems (pp. 4-17) (14 p.).
Steunebrink, B.R., Dastani, M. & Meyer, J.-J. Ch. (2009). A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. In L. Seabra Lopes, N. Lau, P. Mariano & L.M. Rocha (Eds.), Progress in Artificial Intelligence (14th Portuguese Conf. on Artificial Intelligence, EPIA 2009 (pp. 174-186) (13 p.). Springer Berlin Heidelberg, StDM-EPIA09.
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). A Logic for Closed-World Interaction (abstract). In T. Calders, K. Tuyls & M. Pechenizkiy (Eds.), Proc. 21st Benelux Conf. on Artif. Intell. (BNAIC 2009) (pp. 299-300) (2 p.). 2009.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2009). A Methodology for Developing Self-Explaining Agents for Virtual Training. In Decker, Sichman, Sierra & Castelfranchi (Eds.), Proc. of 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009) (pp. 1129-1130) (2 p.). Budapest, Hungary, Harbers09a.
Harbers, M., Van den Bosch, K. & Meyer, J-J.Ch. (2009). A Methodology for Developing Self-Explaining Agents for Virtual Training. In M.M. Dastani, A. Fallah Seghrouchni, J. Leite & P. Torroni (Eds.), Proc. Languages, Methodologies, and Development Tools for Multi-Agent Systems (LADS’09)
Broersen, J., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). A Modal Logic for Closed Interaction. Synthese - KRA, 169 (2), (pp. 351-369) (19 p.). TurriniClosed Logic and Intelligent Interaction 2009 Special Issue, Thomas Agotnes, Eric Pacuit and Johan van Benthem editors.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2009). A Study into Preferred Explanations of Virtual Agent Behavior. In Z. Ruttkay, M. Kipp, A. Nijholt & H.H. Vilhj�sson (Eds.), Intelligent Virtual Agents - 9th International Conference, IVA 2009 Amsterdam, The Netherlands, September 14-16, 2009 Proceedings (pp. 132-145) (14 p.). Springer.
Meyer, J-J.Ch. (2009). Agens Sapiens. In H.L. Bodlaender, W. Duivesteijn & C.J. Nijenhuis (Eds.), Fascination for Computation – 25 jaar opleiding Informatica Utrecht: Universiteit Utrecht.
Meyer, J-J.Ch. (2009). Agent Technology. In M. Khosrow-Pour (Eds.), Encyclopedia of Information Science and Technology (pp. 83-87). IGI Global.
Meyer, J-J.Ch. (2009). Agent Technology. Wiley Encyclopedia of Computer Science and Engineering (B.W. Wah, ed.) (pp. 42-49) (8 p.).
Turrini, P., Broersen, J.M., Mastop, R. & Meyer, J-J.Ch. (2009). An Update Operator for Strategic Ability. In X. He, J.F. Horty & E. Pacuit (Eds.), Proceedings of The Second International Workshop on Logic, Rationality and Interaction (LORI-II) (pp. 292-301) (10 p.).
van der Vecht, B., Dignum, F.P.M., Meyer, J-J.Ch. & Dignum, M.V. (2009). Autonomous Agents Adopting Organizational Rules. In M.V. Dignum (Eds.), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (pp. 314-333) (20 p.). IGI Global.
van der Vecht, B., Dignum, F.P.M. & Meyer, J-J.Ch. (2009). Autonomy and Coordination: Controlling External Influences on Decision Making. In R. Baeza-Yates, J. Lang, S. Mitra, S. Parsons & G. Pasi (Eds.), Proc. 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009) (pp. 92-95) (4 p.).
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) (8 p.). Springer, IVA 2009: 9th International Conference on Intelligent Virtual Agents.
van der Vecht, B., Dignum, F.P.M., Meyer, J-J.Ch. & Neef, M. (2009). Coordination, Organizations, Institutions, and Norms in Agent Systems III. Proceedings COIN (pp. 83-96) (14 p.).
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). Determining the Environment: A Modal Logic for Closed Interaction. Synthese, special section of Knowledge, Rationality and Action, 169 (2), (pp. 351-369) (19 p.). BroersenMastopMeyerTurriniSynthese2009.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2009). Enhancing Training by Using Agents with a Theory of Mind. In M. Beer, M. Fasli & D. Richards (Eds.), Proc. Int. Workshop on the Educational Uses of Multi-Agent Systems (EduMAS 2009) (in conjunction with Int. Workshop on Agent Based Systems for Human Learning and Entertainment (ABSHLE 2009) (pp. 23-30) (8 p.). AAMAS 2009.
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) (18 p.). SiDDM-DALT09.
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 (pp. 98-113). Springer, DALT 2009.
Brinkman, W.P., Broekens, J., Jonker, C.M. & Meyer, J-J.Ch. (2009). Getting a Grip on Emotions in Negotiations: the Possibilities of ICT. In P. Boldi, G. Vizzari, G. Pasi & R. Baeza-Yates (Eds.), roc. Workshops 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (pp. 345-348) (4 p.). Third International Workshop on Human Aspects in Ambient Intelligence: Agent Technology, Human-Oriented Knowledge, and Applications (HAI 2009).
van Riemsdijk, M.B., Dastani, Mehdi & Meyer, J.-J. Ch. (2009). Goals in Conflict: Semantic Foundations of Goals in Agent Programming. Autonomous Agents and Multi-Agent Systems, 18 (3), (pp. 471-500) (30 p.). RDM-JAAMAS09.
Lorini, E, Dastani, M.M., van Ditmarsch, H., 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) (14 p.). LDHM-LORI09.
Meyer, J-J.Ch. & Broersen, J.M. (2009). Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008). Lecture Notes in Artificial Intelligence, 5605 (161 p.).
Bentahar, J. & Meyer, J-J.Ch. (2009). Model Checking Communicative Agent-based Systems. Knowledge-Based Systems, 22 (3), (pp. 142-159) (18 p.).
Tinnemeier, N.A.M., Dennis, L. & Meyer, J-J.Ch. (2009). Model Checking Normative Agent Organisations. In J. Dix, M. Fisher & P. Novak (Eds.), Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-10) (pp. 38-54). Clausthal, Germany: Clausthal Univ. of Technology, 10th International Workshop on Computational Logic in Multi-Agent Systems.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2009). Modeling Agents with a Theory of Mind. Proc. of International Conference on Intelligent Agent Technology (pp. 217-224) (8 p.). Milano, Italy: WI-IAT, Harbers09d.
Dastani, M.M., Grossi, D., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2009). Normative Multi-Agent Programs and Their Logics. In J.J. Meyer & J. Broersen (Eds.), Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS'08) (pp. 16-31). Springer Berlin Heidelberg, DasGrossi08.
Astefanoaei, L., Dastani, M.M., Meyer, J-J.Ch. & de Boer, F. (2009). On the Semantics and Verification of Normative Multi-Agent Systems. International Journal of Universal Computer Science, 15 (13), (pp. 2629-2652) (24 p.). ADMB-JUCS09.
van der Vecht, B., Dignum, F.P.M., Meyer, J-J.Ch. & Dignum, M.V. (2009). Organizations and Autonomous Agents: Bottom-up Dynamics of Coordination Mechanisms. In E. Hübner, E. Matson, O. Boissier & M.V. Dignun (Eds.), Coordination, Organizations, Institutions and Norms in Agent Systems IV (COIN 2008 InternationalWorkshops: COIN@AAMAS 2008 (pp. 17-32) (16 p.). Heidelberg: Springer.
van der Weide, T.L., Dignum, F.P.M., Prakken, H., Vreeswijk, G.A.W. & Meyer, J-J.Ch. (10.05.2009). Practical Reasoning Using Values. In P McBurney, I Rahwan, S Parsons & P Moraitis (Eds.), Proceedings of the Sixth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2009), Budapest, Hungary (pp. 225-240) (16 p.). The Eight International Conference On Autonomous Agents And MultiAgent Systems.
van der Weide, T., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2009). Practical reasoning using values. Giving meaning to values. In P. McBurney, S. Parsons, I. Rahwan & N. Maudet (Eds.), Proceedings of the Sixth International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-08) (pp. 225-240). Barcelona: Huygens Editorial, argmas09 The Eight International Conference On Autonomous Agents And MultiAgent Systems.
Tinnemeier, N.A.M., Dastani, M.M., Meyer, J-J.Ch. & Van der Torre, L. (2009). Programming Normative Artifacts with Declarative Obligations and Prohibitions. Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (pp. 145-152) (8 p.). 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. AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (pp. 121-128) (8 p.). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, AAMAS.
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). Strategic Ability Update: A Modal Logic Account. WI-IAT '09: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (pp. 470-473) (4 p.). Washington, DC, USA: IEEE Computer Society, BroersenMastopMeyerTurriniIEEE2009.
Kracht, M., Meyer, J-J.Ch. & Segerberg, K. (2009). The Logic of Action. In N. Edward & Zalta (Eds.), The Stanford Encyclopedia of Philosophy (2009 Edition)
Hindriks, K.V. & Meyer, J-J.Ch. (2009). Toward a Programming Theory for Rational Agents. Journal of Autonomous Agents & Multi-Agent Systems, 19, (pp. 4-29) (26 p.). FAMAS 2006.
  2008 - Scholarly publications
van Otterlo, M., 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) (13 p.). Berlin: Springer.
Harbers, M., van den Bosch, K., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). A Cognitive Model for the Generation and Explanation of Behavior in Virtual Training [Systems]. In T.R. Roth-Berghofer, S. Schulz, D. Bahls & D.B. Leake (Eds.), Proc. ECAI 2008 Workshop on Explanation-aware Computing (ExaCt 2008) (pp. 99-110) (12 p.). Patras, Greece: University of Patras.
Harbers, M., van den Bosch, K., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). A Cognitive Model for the Generation and Explanation of Behavior in Virtual Training [Systems] (abstract). In A. Nijholt, M. Pantic, M. Poel & H. Hondorp (Eds.), Proc. BNAIC’08 (20th Belgian-Dutch Artif. Intell. Conf.) (pp. 305-306) (2 p.). Enschede/Bad Boekelo.
Broersen, J.M., Mastop, R.J., Meyer, J-J.Ch. & Turrini, P. (2008). A Deontic Logic for Socially Optimal Norms. In R. van der Meyden & L. van der Torre (Eds.), Deontic Logic in Computer Science (Proc. DEON 2008) (pp. 218-232) (15 p.). Berlin/Heidelberg: 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) (5 p.). Greece/Amsterdam: Patras / IOS Press.
Mbarki, M., Bentahar, J. & Meyer, J-J.Ch. (2008). A Framework for Agent Communication Based on Goals and Argumentation, in. In M. Baldoni, S. Tran Cao, M.B. van Riemsdijk & M. Winikoff (Eds.), Pre- Proc. DALT 2008 (pp. 190-205) (16 p.). Estoril, Portugal.
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) (7 p.). Madeira, Portugal: Funchal.
Broersen, J.M., Mastop, R.J., Meyer, J-J.Ch. & Turrini, P. (2008). A Logic for Closed-World Interaction. In S. Hölldobler, C. Lutz & H. Wansing (Eds.), Proc. 11th Eur. Conf. on Logic in Artif. Intell. (JELIA 2008) (pp. 89-99) (11 p.). Berlin: Springer.
Dastani, M.M., Tinnemeier, N.A.M. & Meyer, J-J.Ch. (2008). A Programming Language for Normative Multi-Agent Systems - Chapter XVI. In V. Dignum (Eds.), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (pp. 397 – 417). IGI Global, norm08.
Astefanoaei, L., Dastani, M.M., Meyer, J-J.Ch. & de Boer, F.S. (2008). A Verification Framework for Normative Multi-Agent Systems. In T.D. Bui, T.V. Ho & Q.T. Ha (Eds.), Proc. PRIMA 2008 (pp. 42-53) (12 p.). Berlin/Heidleberg, Duitsland: Springer.
Jonker, G.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). Achieving Efficient and Equitable Collaboration among Selfish Agents Using Spender-Signed. In L. Padgham, D. Parkes, J. Müller & S. Parsons (Eds.), Proc of Seventh Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 2008) (pp. 1581-1584) (4 p.). Estoril, Portugal: IFAAMAS.
Meyer, J-J.Ch. (2008). Agent Technology. In B.W. Wah (Eds.), Encyclopedia of Computer Science and Engineering Wiley.
Harbers, M., Dignum, F.P.M., Meyer, J-J.Ch. & van den Bosch, K. (2008). Explaining Simulations through Self Explaining Agents. In N. David, J.C. Caldas & H. Coelho (Eds.), Proc. Workshop Epistemological Perspectives on Simulation (EPOS) (pp. 85-100) (16 p.). Lissabon, Portugal.
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) (pp. 54-70) (17 p.). Berlin: Springer.
van der Vecht, B., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). Magic Agents: Using Information Relevance to Control Autonomy, (abstract). In M. Ghallab, C.D. Spyropoulos, N. Fakotakis & N. Avouris (Eds.), Proc. of the 18th European Conference on Artificial Intelligence (ECAI’08) (pp. 889-890) (2 p.). Amsterdam: IOS Press.
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) (16 p.). Heidelberg: Springer.
Aldewereld, H.M., Buzing, P., Jonker, G., de Jonge, F., Dignum, F.P.M., Meyer, J-J.Ch., Roos, N. & Witteveen, C. (2008). Multi-agent plan diagnosis and negotiated repair (Demo Paper). In L. Padgham, D. Parkes, J. Mueller & S. Parsons (Eds.), Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'08) (pp. 1659-1660) (2 p.). ACM Press, Aldewereld08aamas.
van der Vecht, B., Dignum, F.P.M., Meyer, J-J.Ch. & Dignum, M.V. (2008). Organizations and Autonomous Agents: Bottom-up Dynamics of Coordination Mechanisms. In J.F. Hübner & O. Boissier (Eds.), Preproc. AAMAS’08 Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN @ AAMAS 2008) (pp. 87-101) (15 p.). Estoril, Portugal.
Broersen, J.M., Mastop, R.J., Meyer, J-J.Ch. & Turrini, P. (2008). Organizing Coherent Coalitions. In M. Ghallab, C.D. Spyropoulos & N. Fakotakis (Eds.), Proc. 18th Eur. Conf. on Artificial Intelligence (ECAI2008) (pp. 879-880) (2 p.). Amsterdam, Patras, Greece: IOS Press, 18th Eur. Conf. on Artificial Intelligence (ECAI2008).
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) (16 p.). Estoril, Portugal.
Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2008). Orwell's Nightmare for Agents? Programming Multi-Agent Organisations. Proceedings of the workshop on Programming Multi-Agent Systems (ProMAS'08) TinDas08 18th Eur. Conf. on Artificial Intelligence (ECAI2008).
van der Weide, T., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2008). Personality-based practical reasoning. In I. Rahwan & P. Moraitis (Eds.), Proceedings of the Fifth International Workshop on Argumentation in Multi-Agent Systems ({ARGMAS}-08) (pp. 76-93) (18 p.). argmas08.
van der Weide, T.L., Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (12.05.2008). Personality-Based Practical Reasoning. In I. Rahwan & P. Moraitis (Eds.), Argumentation in Multi-Agent Systems: Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 2008 Revised Selected and Invited Papers (pp. 3-18) (16 p.). Berlin / Heidelberg: Springer, The Seventh International Conference On Autonomous Agents and MultiAgent Systems.
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) (11 p.). Sydney, Australia, Menlo Park, CA,: AAAI Press.
Alechina, A., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2008). Reasoning about agent execution strategies. Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08) AlcDas08.
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) (4 p.). Estoril, Portugal: IFAAMAS.
Arbab, F., Astefanoaei, L., de Boer, F.S., 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 (pp. 42-53) (12 p.). Berlin/Heidleberg, Duitsland: Springer.
Harbers, M., van den Bosch, K. & Meyer, J-J.Ch. (2008). Self-Explaining Agents in Virtual Training. CEUR Workshop Proc. of 3rd EC-TEL 2008 PROLEARN Doctoral Consortium in Technology Enhanced Learning (pp. 0-6) (7 p.). Maastricht, Nederland.
Dignum, F.P.M., Steunebrink, B.R., Vergunst, N.L., Mol, Chr. P. & Meyer, J-J.Ch. (2008). Theory and Practice of Social Reasoning, Experiences with the iCat. In B. Löwe (Eds.), AISB2008-LSIR Aberdeen.
  2008 - Professional publications
Meyer, J-J.Ch. (2008). Agenttechnologie: Computers die denken. Lelystad: IVIO Uitgeverj.
Goble, L. & Meyer, J-J.Ch. (2008). Editorial: Special issue dedicated to DEON 2006. Journal of Applied Logic, 6 (2), (pp. 133-134) (2 p.).
  2007 - Scholarly publications
van Otterlo, M., Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Characterization of Sapient Agents. Toward Artificial Sapience: Principles and Methods for Wise Systems Springer, sapientagent07.
van der Vecht, B., Dignum, F.P.M., Meyer, J-J.Ch. & Neef, M. (2007). A Dynamic Coordination Mechanism Using Adjustable Autonomy. In P. Noriega & J. Padget (Eds.), Proc. COIN2007 (Workshop on Coordination, Organisation, Institutions and Norms@MALLOW2007) (pp. 169-180) (12 p.).
Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). A Formal Road from Institutional Norms to Organizational Structures. In E. Durfee, M. Yokoo, M. Huhns & O. Shehory (Eds.), Proceedings of AAMAS'07 (pp. 616-623) (8 p.). c.
Dastani, M.M., van Riemsdijk, M.B. & 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) (8 p.). Honolulu, Hawaii.
Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Logic of Agent Programs. Proceedings of the Twenty-Second National Conference on Artificial Intelligence ({AAAI} 2007) AAAI Press.
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) (6 p.). Vancouver, Canada: 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) (6 p.). Vancouver, Canada: AAAI Press.
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Lespérance, Y. (2007). A New Logical Semantics for Agent Communication. In K. Inoue, K. Satoh & F. Toni (Eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop (CLIMA VII, Hakodate, Japan, May 2006), Revised Selected and Invited Papers (pp. 151-170) (20 p.). Berlin: Springer.
Bentahar, J. & Meyer, J-J.Ch. (2007). A New Quantitative Trust Model for Negotiating Agents. In C. Rolland, O. Pastor & J.-L. Cavarero (Eds.), Proc. of the First Int. Conf. on Research Challenges in Information Science (RCIS 2007) (pp. 39-50) (12 p.).
Bentahar, J. & Meyer, J-J.Ch. (2007). A New Quantitative Trust Model for Negotiating Agents Using Argumentation. International Journal of Computer Science and Applications, 4 (2), (pp. 1-21) (21 p.). Special Issue on Communications, Interactions and Interoperability in Information Systems.
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) (16 p.). Honolulu, Hawaii.
Bentahar, J., Toni, F., Meyer, J-J.Ch. & Labban, J. (2007). A Security Framework for Agent-based Systems. International Journal of Web Information Systems, 3 (4), (pp. 341-362) (22 p.). Special Issue on Agent and Non-Agent Software Engineering Methodologies on the Web ECCE 2007: European Conference on Cognitive Ergonomics.
Jonker, G.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). Achieving Cooperation among Selfish Agents in the Air Traffic Management Domain using Signed Money. Proceedings of the sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07) (pp. 1258-1260) (3 p.). Hawai'i, U.S., jonker07a.
Hindriks, K.V. & Meyer, J-J.Ch. (2007). Agent Logics as Program Logics: Grounding KARO. In C. Freksa, M. Kohlhase & K. Schill (Eds.), 29th Annual German Conference on AI, KI 2006 (pp. 404-418) (15 p.). Berlin: Springer.
de Boer, F.S., Hindriks, K.V., van der Hoek, W. & Meyer, J-J.Ch. (2007). Agent Programming with Declarative Goals. Journal of Applied Logic, 5, (pp. 277-302) (26 p.).
Turrini, P., Meyer, J-J.Ch. & Castelfranchi, C. (2007). Controlling Emotions by Changing Friend. In M.M. Dastani & R. Bordini (Eds.), Proc. 5th Eur. Workshop on Multi-Agent Systems (EUMAS-2007) (pp. 482-496) (15 p.). Hammat, Tunesia.
Aldewereld, H.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). Designing Protocols for Agent Institutions. In E. Durfee, M. Yokoo, M. Huhns & O. Shehory (Eds.), Proceedings of AAMAS'07 (pp. 138-140) (3 p.). d Paper presentatie op Proceedings of the Workshop group on Mathematical Modelling and Applications at the 5th Conference on European Research in Mathematics Education (CERME5).
Aldewereld, H.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. In M.M. Dastani, A. El Fallah Seghrouchni, A. Ricci & M. Winikoff (Eds.), Pre-Proc. AAMAS07 Workshop on Programming Multi-Agent Systems (ProMAS2007) (pp. 22-37) (16 p.). Honolulu, Hawaii.
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) (16 p.). Durham, UK.
van der Vecht, B., Meyer, A., Neef, M., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). Influence-Based Autonomy Levels in Agent Decision Making. 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. 322-337) (16 p.). Springer, i.
Meyer, J-J.Ch. & Veltman, F. (2007). Intelligent Agents and Common Sense Reasoning. In P. Blackburn, J.F.A.K. van Benthem & F. Wolter (Eds.), Handbook of Modal Logic (pp. 991-1029) (39 p.). Elsevier.
Bentahar, J. & Meyer, J-J.Ch. (2007). Model-Checking Communicative Agent- Based Systems. In H. Fujita & D. Pisanelli (Eds.), New Trends in Software Methodologies, Tools and Techniques (pp. 239-265) (27 p.). IOS Press, SoMeT-07.
Bentahar, J. & Meyer, J-J.Ch. (2007). Model-Checking Communicative Agent-Based Systems. In H. Fujita & D.M. Pisanelli (Eds.), New Trends in Software Methodologies, Tools and Techniques - Proc. of the 6th SoMeT-07 (pp. 239-265) (27 p.). IOS Press.
Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2007). On the Logic of Constitutive Rules. In G. Boella, L. van der Torre & H. Verhagen (Eds.), Dagstuhl Seminar Proc. 07122 "Normative Multi-Agent Systems" (pp. 1-33) (33 p.). Dagstuhl.
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2007). Ontology Negotiation in Heterogeneous Multi-agent Systems: the ANEMONE System. Applied Ontology, 2 (3-4), (pp. 267-303) (36 p.).
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2007). Ontology Negotiation: Goals, Requirements and Implementation. International Journal of Agent-Oriented Software Engineering, 1 (1), (pp. 63-90) (28 p.).
Meyer, J-J.Ch. (2007). Our Quest fot the Holy Grail of Agent Verification. In N. Olivetti (Eds.), Proc.TABLEAUX 2007 (pp. 2-9) (8 p.). Berlin Heidelberg: Springer.
Jonker, G.M., Hesselink, H., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). Preventing Selfish Behaviour in Distributed Tactical Airport Planning. Proceedings of the seventh USA/Europe ATM R&D Seminar Barcelona, Spain, jonker07b.
Turrini, P., Meyer, J-J.Ch. & Castelfranchi, C. (2007). Rational Agents That Blush. In A. Paiva, R. Prada & R.W. Picard (Eds.), Affective Computing and Intelligent Interaction (Proc. ACII 2007) (pp. 314-325) (12 p.). Berlin Heidelberg: Springer.
Bentahar, J., Meyer, J-J.Ch. & Moulin, B. (2007). Securing Agent-Oriented Systems: An Argumentation and Reputation-Based Approach. Fourth International Conference on Information Technology: New Generations (ITNG 2007) (pp. 507-515) (9 p.). Las Vegas: IEEE Computer Society.
Doherty, P. & Meyer, J-J.Ch. (2007). Towards a Delegation Framework for Aerial Robotic Mission Scenarios. In M. Klusch, K.V. Hindriks, M.P. Papazoglou & L. Sterling (Eds.), Cooperative Information Agents XI (Proc. CIA 2007) (pp. 5-26) (22 p.). Berlin Heidelberg: Springer.
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, 6 pagina's.
Vergunst, N.L., Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Towards Programming Multimodal Dialogues. Proceedings of the Workshop on Communication between Human and Artificial Agents (CHAA'07) (pp. 342-345) (4 p.). Fremont, California, USA: IEEE Computer Society Press.
  2007 - Professional publications
Meyer, J-J.Ch. (2007). A Memorable Day (Impression of the "Intelligent Systems" symposium held in Maastricht, Oct. 12th, 2007 on the occasion of the 60th birthday of Prof. Jaap van den Herik). BNVKI newsletter, 24 (5), (pp. 109-110) (2 p.).
  2006 - Scholarly publications
van Riemsdijk, M.B. & 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 (pp. 353-367) (15 p.). Berlin/ Heidelberg: Springer, riemsdijk06amast.
Beun, R.J., van Eijk, R.M., Meyer, J-J.Ch. & Vergunst, N.L. (2006). A Computational Approach to the Interpretation of Indirect Speech Acts. In V.P. Guerrero-Bote (Eds.), International Conference on Multidisciplinary Information Sciences and Technologies (pp. 311-315) (5 p.). Mérida: Open Institute of Knowledge.
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Lespérance, Y. (2006). A New Logical Semantics for Agent Communication. In K. Inoue, K. Satoh & F. Toni (Eds.), preproc. 7th Int. Workshop on Computational Logic in Multi-Agent Systems (CLIMAVII) (pp. 127-143) (17 p.). AAMAS-06.
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Lesperance, Y. (2006). A New Logical Semantics for Agent Communication, revised version. In K. Inoue, K. Satoh & F. Toni (Eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop (CLIMA VII, Hakodate, Japan, May 2006), (pp. 151-170) (20 p.). Berlin: Springer, (CLIMA VII, Hakodate, Japan, May 2006).
Bentahar, J., Moulin, B. & Meyer, J-J.Ch. (2006). A New Model Checking Approach for Verifying Agent Communication Protocols. Proc. of the IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006), (pp. 96-100) (5 p.). CCECE 2006, Ottawa, Canada.
Bentahar, J., Moulin, B. & Meyer, J-J.Ch. (2006). A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. In M. Baldoni, U. Endriss, A. Omicini & P. Torroni (Eds.), Declarative Agent Languages and Technologies III (DALT 2005),LNCS 3904 (pp. 223-244) (22 p.).
Hindriks, K.V. & Meyer, J-J.Ch. (2006). Agent Logics as Program Logics: Grounding KARO. In M. Kohlhase & C. Freksa (Eds.), Preproceedings of KI 2006 on CD.
Hindriks, K.V. & Meyer, J-J.Ch. (2006). An Agent Program Logic with Declarative Goals. In B. Dunin- Keplicz & R. Verbrugge (Eds.), Proc. FAMAS06 ECAI2006 Workshop on Formal Aspects of Multi-Agent Systems (pp. 1-15) (15 p.). ECCAI.
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2006). ANEMONE: An Effective Minimal Ontology Negotiation Environment. In P. Stone & G. Weiss (Eds.), Proceedings of the Fifth International Conference on Autonomous Agents and Multi-agent Systems (AAMAS06) (pp. 899-906) (8 p.). diggelen06a.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2006). Can I Please Drop It? Dialogues about Belief Contraction. In F. Dignum, R.M. van Eijk & R. Flores (Eds.), Agent Communication II (pp. 227-242) (16 p.). Berlin/Heidelberg: Springer.
Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2006). Classificatory Aspects of Counts-as: An Analysis in Modal Logic. Journal of Logic and Computation, 16 (5), (pp. 613-643) (31 p.).
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2006). Combining Normal Communication with Ontology Allignment,. In F. Dignum, R.M. van Eijk & R. Flores (Eds.), Agent Communication II (pp. 181-195) (15 p.). Berlin/Heidelberg: Springer.
Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2006). Contextual Terminologies. In F. Toni & P. Torroni (Eds.), Post-proceedings of CLIMA VI, 6th International Workshop on Computational Logic in Multi-Agent Systems (pp. 284-302) (19 p.). Springer.
Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2006). Counts as: Classification or Constitution? An Answer Using Modal Logic. In L. Goble & J.-J.Ch. Meyer (Eds.), Proceedings of DEON 2006 (pp. 115-130) (16 p.).
Goble, J. & Meyer, J-J.Ch. (2006). Deontic Logic and Artificial Normative Systems. (Proc. DEON 2006) Berlin/ Heidelberg: Springer, L. Goble & J.-J. Ch. Meyer (eds.).
van Riemsdijk, M.B., de Boer, F.S. & Meyer, J-J.Ch. (2006). Dynamic Logic for Plan Revision in Agent Programming. Journal of Logic and Computation, 16 (3), (pp. 375-402) (28 p.).
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) (4 p.). K12006, Bremen, June 19th 2006.
Dastani, M.M., van Riemsdijk, M.B. & 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) (5 p.). Amsterdam: IOS Press, ECAI 2006.
Dastani, M.M., van Riemsdijk, M.B. & 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) (3 p.). ACM Press.
van Riemsdijk, M.B., Dastani, M.M., Meyer, J-J.Ch. & de Boer, F.S. (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) (8 p.). Hakodate, riemsdijk06aamas.
Meyer, J-J.Ch. (2006). Going beyond BDI: Programming 'BDI+' Agents. In A. Omicini, B. Dunin-Keplicz & J. Padget (Eds.), Proc. EUMAS'06 (4th Eur. Workshop on Multi-Agent Systems) Lisbon: University de Lisbao/ Minho, EUMAS'06.
van der Vecht, B., Meyer, A.P., Neef, R.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2006). Influence-Based Autonomy Levels in Agent Decision-Making. In J. Vazquez- Salceda, E. Matson, G. Boella & E. Boissier (Eds.), proceedings of COIN@ECAI'06 (pp. 76-82) (7 p.). Trento, Italy, author = "Vecht.
Reinhardt, D., Levi, P. & Meyer, J-J.Ch. (19.06.2006). Proc. 1st Workshop on Emotion and Computing - Current Research and Future Impact, held at KI2006. In D. Reinhardt, P. Levi & J-J.Ch. Meyer (Eds.), Proceedings of the 1st Workshop D. Reinhardt, P. Levi & J.-J. Ch. Meyer (eds.), 66 p..
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.
Koch, F., Meyer, J-J.Ch., Dignum, F.P.M. & Rahwan, I. (2006). Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. In R.H. Bordini, M. Dr. Dastani, J. Dix & A. El Fallah-Seghrouchni (Eds.), Programming Multi-Agent Systems: Third International Workshop (ProMAS 2005) (pp. 222-235) (14 p.). Berlin/ Heidelberg: Springer.
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) (5 p.). Amsterdam: IOS Press, ECAI, Riva del Garda, Italy.
van Riemsdijk, M.B., de Boer, F.S., Dastani, M.M. & Meyer, J-J.Ch. (2006). Prototyping 3APL in the Maude Term Rewriting Language. Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA'06) riemsdijk06clima To appear in LNAI. Nascholing docenten - verschillende cursusonderdelen.
van Riemsdijk, M.B., de Boer, F.S., 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 (pp. 95-114) (20 p.). Berlin: Springer, CLIMA VII, Hakodate, Japan, May 2006.
Meyer, J-J.Ch. (2006). Reasoning about Emotional Agents. International Journal of Intelligent Systems, 21 (6), (pp. 601-619) (19 p.).
van Riemsdijk, M.B., Meyer, J-J.Ch. & de Boer, F.S. (2006). Semantics of Plan Revision in Intelligent Agents. Theoretical Computer Science, 351, (pp. 240-257) (18 p.). riemsdijk06tcs Special issue of Algebraic Methodology and Software Technology (AMAST'04).
Hustadt, U., Dixon, C., Schmidt, R.A., Fischer, M., Meyer, J-J.Ch. & van der Hoek, W. (2006). Verification within the KARO Agent Theory. In C. Rouff, M. Hinchey, J. Rash, W. Truszkowski & D. Gordon-Spears (Eds.), Agent Technology from a Formal Perspective (pp. 193-225) (33 p.). Berlin: Springer.
Aldewereld, H.M., Vázquez-Salceda, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2006). Verifying Norm Compliance of Protocols. In O. Bossier, J. Padget, V. Dignum, G. Lindeman, E. Matson, S. Ossowski, J. Sichman & J. Vázquez-Salceda (Eds.), Coordination, Organisation, Institutions and Norms in Agent System I (pp. 222-236) (15 p.). Berlin: Springer.
Aldewereld, H.M., Vazquez Salceda, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2006). Verifying Norm Compliancy of Protocols. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Sichman & J. Vzaquez Salceda (Eds.), Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems (pp. 231-245) (15 p.). Berlin/ Heidelberg: Springer.
  2006 - Professional publications
Starmans, R.J.C.M. & Meyer, J-J.Ch. (2006). Funding research in Computer Science. BNVKI newsletter, 23 (5), (pp. 97-102) (7 p.).
  2005 - Scholarly publications
van Otterlo, M., 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) Workshop on Sapient Agents.
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Chaib-Draa, B. (2005). A Computational Model for Conversation Policies for Agent Communication. In J. Leite & P. Torroni (Eds.), Computational Logic in Multi-Agent Systems: 5th International Workshop (pp. 178-195) (18 p.). Berlin/Heidelberg: Springer, CLIMA V.
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2005). A decentralized approach for establishing a shared communication vocabulary. In A. Becker, J. Diggelen, V. Dignum & L. van Elst (Eds.), Proceedings of the International Workshop on Agent Mediated Knowledge Management (AMKM'05) (pp. 1-13) (13 p.). AMKM'05.
Lebbink, H.J., Witteman, C. & Meyer, J-J.Ch. (2005). A Dialogue Game for Belief Revision in Multi-Agent Systems. Fourth International Workshop on Agent Communication (AC'05) Netherlands, Utrecht: Information & Computing Sciences, Utrecht University, lebbink05:ac Held with the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'05) CLIMA V.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2005). A Dialogue Game to Offer an Agreement to Disagree. In R.H. Bordini, M. Dastani, J. Dix & A. El Fallah-Seghrouchni (Eds.), Programming Multi-Agent Systems (pp. 199-223) (25 p.). Berlin/Heidelberg: Springer, ProMAS 2004.
Jonker, G.M., Meyer, J-J.Ch. & Dignum, F.P.M. (2005). A Market Mechanism for Airport Traffic Planning. In C. Bento, A. Cardoso & G. Dias (Eds.), Proceedings of the 12th Portuguese Conference on Artificial Intelligence (pp. 500-511) (12 p.). Berlin: Springer, EPIA 2005/MASTA.
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Chaib-Draa, B. (2005). A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. In I Rahwan, P Moraitis & C Reed (Eds.), Argumentation in Multi-Agent Systems (pp. 44-63) (20 p.). Berlin/Heidelberg: Springer, ArgMAS 2004.
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Chaib-Draa, B. (2005). A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. In I. Rahwan, P. Moraitis & C. Reed (Eds.), Argumentation in Multi-Agent Systems (Proc. ArgMAS 2004) (pp. 44-63) (20 p.). Berlin/Heidelberg: Springer, ArgMAS 2004.
Meyer, J-J.Ch. (2005). Agent Technology: From Practical Reasoning to Agent Programming. In T. Yildirim, B. Diri, S. Albayrak, B. Bolat & Ü. Bakirci (Eds.), Proceedings International Symposium on Innovations in Intelligent Systems and Applications (pp. VI-X). Istanbul: Yildiz Technical University, INISTA 2005.
Dignum, M.V., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations. Knowledge Engineering Review, 19 (2), (pp. 147-174) (28 p.). published online 2005 Conference on Dutch directions in HCI.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2005). Can I please drop this? Dialogues about Belief Contraction. In R. van Eijk, R. Flores & M.-P. Huget (Eds.), Workshop on Agent Communication (pp. 67-81) (15 p.). Utrecht, AAMAS'05 Workshop on Agent Communication.
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2005). Combining Normal Communication with Ontology Allignment. In R.M. van Eijk, R. Flores & M.-P. van den Huget (Eds.), Proceedings of the International Workshop on Agent Communication (AC'05) (pp. 17-32) (16 p.). Utrecht, AC 2005.
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2005). Communcation under Construction: Three Protocols for Lazy Ontology Alignment. In J. van Diggelen, V. Dignum, L. van Elst & A. Abecker (Eds.), Workshop on Agent-Mediated Knowledge Management Utrecht, AMKM-2005 Workshop.
Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Context in Categorization. In L. Serafini & P. Bouquet (Eds.), Proceedings of CRR'05, Workshop on Context Representation and Reasoning Paris, grossi05context.
Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Contextual Taxonomies. In J. Leite & P. Toroni (Eds.), Proceedings of CLIMA V Workshop, Lisbon, September (pp. 33-51) (19 p.). Springer, grossi04contextual.
Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Contextual Terminologies. In F. Toni & P. Toroni (Eds.), Pre-proceedings of CLIMA VI (pp. 151-167) (17 p.). London.
van Riemsdijk, M.B., de Boer, F.S. & 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) (16 p.). Berlin: Springer, riemsdijk04clima.
van Riemsdijk, M.B., 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 (pp. 1-18) (18 p.). Berlin/Heidelberg: Springer, DALT 2004.
Jonker, G.M., Meyer, J-J.Ch. & Dignum, F.P.M. (2005). Efficiency and Fairness in Air Traffic Control. In R. Verbeeck, K. Tuyls, A. Nové, B. Manderick & B. Kuijpers (Eds.), Proceedings 7th Belgium-Netherlands Conference on Artificial Intelligence (pp. 151-157) (7 p.). Brussel: KVAB, BNAIC 2005.
Dastani, M.M., van Riemsdijk, M.B., 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 (pp. 189-204) (16 p.). Berlin/Heidelberg: Springer, AOSE 2004.
Dastani, M.M., van Riemsdijk, M.B., 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 (pp. 189-204) (16 p.). Berlin/Heidelberg: Springer, AOSE 2004.
Meyer, J-J.Ch. (2005). Logic in AI. Artificial Intelligence : Definition, Trends, Techniques and Cases Oxford, UK: EOLSS Publishers.
Dignum, F.P.M., Broersen, J.M. & Meyer, J-J.Ch. (2005). Meeting the Deadline: Why, When and How. In M. G. Hinchey, J. L. Rash & W. F. Truszkowski (Eds.), Formal Approaches to Agent-Based Systems (FAABS 2004) (pp. 30-40) (11 p.). Berlin: Springer.
Dignum, F.P.M., Broersen, J.M., Dignum, M.V. & Meyer, J-J.Ch. (2005). Meeting the Deadline: Why, When and How. In M. Hinchey, J. Rash, W. Truszkowski & C. Rouff (Eds.), Formal Aspects to Agent-Based Systems (pp. 30-40) (11 p.). Berlin: Springer, FAABS 2004.
Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2005). Modal Logic Investigations in the Semantics of Counts-as. Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL'05) (pp. 1-9) (9 p.). ACM, grossi05modal.
Aldewereld, H.M., Vázquez-Salceda, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Norm Compliance of Protocols in Electronic Institutions. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh & M. Wooldridge (Eds.), Proceedings Autonomous Agensts & Multi Agent Systems (AAMAS'05) (pp. 1291-12292) (11002 p.). ACM, AAMAS'05.
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2005). Optimal Communication Vocabularies and Heterogeneous Ontologies. In R. van Eijk, M.-P. Huget & F. Dignum (Eds.), Agent Communication. International Workshop on Agent Communication, AC 2004. Revised Selected and Invited papers (pp. 76-90) (15 p.). Berlin: Springer.
de Boer, F.S., de Vries, W., Meyer, J-J.Ch., van Eijk, R.M. & van der Hoek, W. (2005). Process Algebra and Constraint Programming for Modelling Interactions in MAS. Applicable Algebra in Engineering, Communications and Computing, 16, (pp. 113-150) (38 p.). Springer.
Meyer, J-J.Ch. (2005). Programming Cognitive Agents. In T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch & M. H. Huhns (Eds.), Multiagent System Technologies (Proceedings MATES 2005) (pp. 27-34) (8 p.). Berlin/Heidelberg: Springer, MATES 2005.
Koch, F., Meyer, J-J.Ch., Dignum, F.P.M. & Rahwan, I. (2005). Programming Deliberative Agents for Mobile Services: The 3OPL-M Platform. In R. H. Bordini, M. Dastini, J. Dix & A. El Fallah-Seghrouchni (Eds.), Workshop on Programming Multi Agent Systems (pp. 179-192) (14 p.). Utrecht, AAMAS'05 Workshop on Programming Multi Agent Systems (ProMAS 2005).
Dastani, M.M., van Riemsdijk, M.B. & 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) (29 p.). New York: Springer Science.
Aldewereld, H.M., van der Hoek, W. & Meyer, J-J.Ch. (2005). Rational Teams: Logical Aspects of Multi-Agent Systems. Fundamenta Informaticae, 63 (2,3), (pp. 159-183) (25 p.).
van Riemsdijk, M.B., 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) (8 p.). AAMAS'05.
van Riemsdijk, M.B., Dastani, M.M. & Meyer, J-J.Ch. (2005). Subgoal Semanics in Agent Programming. Proceedings of the 12th Portuguese Conference on Artificial Intelligence (pp. 548-559) (12 p.). Berlin: Springer, EPIA 2005/MASTA.
Hommersom, A., Meyer, J-J.Ch. & de Vink, E.P. (2005). Toward Reasoning about Security Protocols: A Semantic Approach. In W. van der Hoek, A. Lomuscio, E. de Vink & M. Wooldridge (Eds.), Proc. of the 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems (pp. 53-75) (23 p.). Elsevier, 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems.
Aldewereld, H.M., Vázquez-Salceda, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Verifying Norm Compliancy of Protocols. In G. Lindemann, S. Ossowski, J. Padget & J. Vázquez-Salceda (Eds.), AAMAS'05 International Workshop on Agents, Norms and Institutions for Regulated Multi Agent Systems (ANI@REM 2005) (pp. 47-60) (14 p.). Utrecht.
  2005 - Professional publications
Meyer, J-J.Ch. (2005). Research on Agent-Based Systems at the IS Group of. BNVKI newsletter, 22 (4), (pp. 72-73) (2 p.).
  2004 - Scholarly publications
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Chaib-Draa, B. (2004). A Computational Model for Conversation Policies for Agent Communication. In J. Leite & P. Torroni (Eds.), Pre-Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems) (pp. 66-81) (16 p.).
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2004). A Dialogue Game Approach to Multi-Agent System Programming. In R. Verbrugge, N. Taatgen & L. Schomaker (Eds.), Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004) (pp. 251-258) (8 p.). Groningen: University of Groningen.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2004). A Dialogue Game to Offer an Agreement to Disagree. In R.H. Bordini, M. Dastani, J. Dix & A. El Fallah-Seghrouchni (Eds.), Proc. ProMAS 2004 (pp. 103-114) (12 p.). New York: ACM.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2004). A Dialogue Game to Offer an Agreement to Disagree (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. 1238-1239) (2 p.). New York: ACM.
Bentahar, J., Moulin, B., Meyer, J-J.Ch. & Chaib-Draa, B. (2004). A Logical Model for Commitment and Argument Network for Agent Communication. 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. 792-799) (8 p.). New York: ACM.
Dastani, M.M., van Riemsdijk, M.B., 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). (pp. 111-130) (20 p.). Berlin: Springer.
Hommersom, A., Meyer, J-J.Ch. & de Vink, E.P. (2004). A Semantic Approach for Reasoning about Security Protocols (extended abstract). In A. Lomuscio, W. van der Hoek, M. Wooldridge & E. de Vink (Eds.), Proc. ESSLLI'04-Workshop on Logic and communication in multi-agent systems (LCMAS'04) (pp. 79-97) (19 p.). Nancy: Université Henri Poincare.
Meyer, J-J.Ch. (2004). Agent-Oriented Programming: Where Do We Stand? (invited talk). In Ch. Rattray, S. Maharaja & C. Shankland (Eds.), Algebraic Methodology and Software Technology (Proc. AMAST 2004) (pp. 23-26) (4 p.). Berlin: Springer.
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 (pp. 114-127) (14 p.). Heidelberg: Springer.
Grossi, D., Dignum, F.P.M., Royakkers, L. & Meyer, J-J.Ch. (2004). Collective Obligations and Agents: Who Gets the Blame?. In A. Lomuscio & D. Nute (Eds.), Proc. Deontic Logic in Computer Science (DEON 2004) (pp. 129-145) (17 p.). Berlin: Springer.
Grossi, D., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Contextual Taxonomies. In J. Leite & P. Toroni (Eds.), Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems) (pp. 2-17) (16 p.). grossi04contextual.
de Boer, F.S., Pierik, C., Meyer, J-J.Ch. & van Eijk, R.M. (2004). Coordinating Agents in OO. In M. Ryan, J.-J.Ch. Meyer & H.-D. Ehrich (Eds.), Objects, Agents and Features (pp. 8-25) (18 p.). Berlin: Springer, deBoerPEM:2004.
Broersen, J.M., Dignum, F.P.M., Dignum, M.V. & Meyer, J-J.Ch. (2004). Designing a Deontic Logic of Deadlines. In A. Lomuscio & D. Nute (Eds.), Proc. Deontic Logic in Computer Science (DEON 2004) (pp. 43-56) (14 p.). Berlin: Springer.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2004). Dialogue Games for Inconsistent and Biased Information. Electronic Notes in Theoretical Computer Science, 85 (2).
van Riemsdijk, M.B., 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) (16 p.). New York: AAMAS-2004.
van Riemsdijk, M.B., 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) (2 p.). Groningen: University of Groningen.
Meyer, J-J.Ch. (2004). Intelligent Agents: Issues and Logics. In J. Chomicki, R. van der Meyden & G. Saake (Eds.), Logics for Emerging Applications of Databases (pp. 131-165) (35 p.). Berlin: Springer.
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) (8 p.). New York: ACM.
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) (2 p.). Groningen: University of Groningen.
Dignum, F.P.M., Broersen, J.M., Dignum, M.V. & Meyer, J-J.Ch. (2004). Meeting the deadline: Why, When and How. In M.G. Hinchey, J.L. Rash & W.F. Truszkowski (Eds.), Proceedings 3th International Workshop on Formal Aspects of Agent-Based Systems (FAABS'04) (pp. 30-40) (11 p.). Berlin/Heidelberg: Springer, Broersen:FAABS2004 DOI: 10.1007/b105317.
Meyer, J-J.Ch., Ryan, M. & Ehrich, H.-D. (2004). Objects, Agents, and Features: An Introduction. In M. Ryan, J.-J. Ch. Meyer & H.-D. Ehrich (Eds.), Objects, Agents, and Features. (pp. 1-7) (7 p.). Berlin: Springer.
van Diggelen, J., Beun, R.J., Dignum, F.P.M., van Eijk, R.M. & Meyer, J-J.Ch. (2004). Optimal communication vocabularies and heterogeneous ontologies. In F. Dignum, R.M. van Eijk & M.-Ph. Huget (Eds.), Pre-proceedings AAMAS'04 Workshop on Agent Communication (ACL'04). (pp. 75-89) (15 p.). Berlin: Springer.
Meyer, J-J.Ch. (2004). Reasoning about Emotional Agents. In R. López de Mántaras & L. Saitta (Eds.), Proc.16th European Conf. on Artif. Intell. (ECAI 2004). (pp. 129-133) (5 p.). IOS Press.
Meyer, J-J.Ch. (2004). Reasoning about Emotional Agents (abstract). In R. Verbrugge, N. Taagten & L. Schomaker (Eds.), Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004). (pp. 375-376) (2 p.). Groningen: Universiteit van Groningen.
van Riemsdijk, M.B., Meyer, J-J.Ch. & de Boer, F.S. (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) (17 p.). Berlin: Springer.
Hommersom, A., Meyer, J-J.Ch. & de Vink, E.P. (2004). Update Semantics of Security Protocols. Synthese, 142, (pp. 229-267) (39 p.).
  2004 - Popularising publications
Meyer, J-J.Ch. (04.06.2004). Eén grote onderzoekschool informatica geen oplossing. De automatisering gids, (pp. 15) (1 p.).
Meyer, J-J.Ch. (01.12.2004). Intelligent Agents: een moderne vorm van AI. De Connectie (promonummer), (pp. 14-16) (3 p.).
  2003 - Scholarly publications
van Otterlo, M., Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2003). A Characterization of Sapient Agents. In H. Hexmoor (Eds.), Proceedings of the International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS'03): Modeling, Exploration, and Engineering (pp. 172-177) (6 p.). Boston, Massachusetts: IEEE Press, Boston, MA.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2003). A Dialogue Game to Agree to Disagree. First European Workshop on Multi-Agent Systems (EUMAS'03) Oxford, UK, lebbink03d.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2003). A Dialogue Game to Agree to Disagree about Inconsistent Information. In Ivana Kruijff-Korbayov'a & Claudia Kosny (Eds.), 7th Workshop on the Semantics and Pragmatics of Dialogue (Diabruck'03) (pp. 83-90) (8 p.). Wallerfangen, Germany, lebbink03b.
de Boer, F.S., van Eijk, R.M., van der Hoek, W. & Meyer, J-J.Ch. (2003). A Fully Abstract Model for the Exchange of Information in Multi-Agent Systems. Theoretical Computer Science, 290 (3), (pp. 1753-1773) (21 p.).
Harrenstein, B.P., van der Hoek, W., Meyer, J-J.Ch. & Witteveen, C. (2003). A modal characterization of Nash Equilibrium. Fundamenta Informaticae, 57 (2-4), (pp. 281-321) (41 p.).
Dastani, M.M., van Riemsdijk, M.B., 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, David Kinny.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2003). A Verification Framework for Agent Communication. Autonomous Agents and Multi-Agent Systems, 6 (2), (pp. 185-219) (35 p.).
van Riemsdijk, M.B., van der Hoek, W. & Meyer, J-J.Ch. (2003). Agent programming in {Dribble}: from beliefs to goals with plans. Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03) (pp. 393-400) (8 p.). Melbourne.
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)
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2003). Dialogue Games for Inconsistent and Biased Information. Electronic Notes in Theoretical Computer Science, 52. lebbink03a.
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2003). Dialogue Games for Inconsistent and Biased Information. In Tom Heskes, Peter Lucas, Louis Vuurpijl & Wim Wiegerinck (Eds.), 15th Belgium-Netherlands Conference on Artificial Intelligence (pp. 427-428) (2 p.). lebbink03c.
van der Hoek, W., Meyer, J-J.Ch. & Treur, J. (2003). Formal Semantics of Meta-Level Architectures: Temporal Epistemic. International Journal of Intelligent Systems, 18, (pp. 1293-1318) (26 p.).
Dignum, M.V., Meyer, J-J.Ch., Dignum, F.P.M. & Weigand, H. (2003). Formal Specification of Interaction in Agent Societies. In M. Hinchey, J. Rash, W. Truszkowski, C. Rouff & D. Gordon-Spears (Eds.), Formal Approaches to Agent-Based Systems (FAABS) Berlin, Duitsland: Springer, Lecture Notes in Computer Science.
Roorda, J.-W., van der Hoek, W. & Meyer, J-J.Ch. (2003). Iterated Belief Change in Multi-Agent Systems. Logic Journal of the IGPL, 11 (2), (pp. 223-246) (24 p.).
Koch, F.L. & Meyer, J-J.Ch. (2003). Knowledge Based Autonomous Agents for Pervasive Computing using AgentLight. ACM/IFIP/USENIX International Middleware Conference Heidelberg: Springer, Lecture Notes in Computer Science ISSN: 0302-9743; Volume 2672 / 2003.
Meyer, J-J.Ch. (2003). Modal Epistemic and Doxastic Logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (2nd edition) (38 p.). Dordrecht/Boston: Kluwer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2003). Process Algebra for Agent Communication: A General Semantic Approach. In M.P. Huget (Eds.), Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies Berlijn: Springer, pagina 113 - 128.
Dastani, M.M., de Boer, F.S., Dignum, F.P.M. & Meyer, J-J.Ch. (2003). Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS'03) Melbourne: ACM Press.
Aldewereld, H.M., van der Hoek, W. & Meyer, J-J.Ch. (2003). Rational Teams: Logical Aspects of Multi-Agent Systems. In B. Dunin-Keplicz & R. Verbrugge (Eds.), FAMAS'03 - Formal Approaches to Multi-Agent Systems Warsaw, Poland: Warsaw University, pagina 37-52.
Weigand, H., Dignum, M.V., Meyer, J-J.Ch. & Dignum, F.P.M. (2003). Specification by refinement and agreement: designing agent interaction using landmarks and contracts. In P. Petta & R. Tolksdorf (Eds.), Engineering Societies in the Agents World III Berlin, Duitsland: Springer, Lecture Notes in Computer Science.
Meyer, J-J.Ch. (2003). Tools and Education Towards Formal Methods Practice. In M.G. Hinchey, J.L. Rash, W.F. Truszkowski, C. Rouff & D. Gordon-Spears (Eds.), Formal Approaches to Agent-Based Systems (Proc. FAABS 2002) Berlijn: Springer.
  2003 - Popularising publications
Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (09.04.2003). 3APL: A Programming Language for Cognitive Agents. ERCIM News, European Research Consortium for Informatics and Mathematics, Special issue on Cognitive Systems, No. 53
  2002 - Scholarly publications
de Vries, W., de Boer, F.S., Hindriks, K.V., van der Hoek, W. & Meyer, J-J.Ch. (2002). A Programming Language for Coordinating Group Actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), From Theory to Practice in Multi-Agent (pp. 313-321) (9 p.). Berlin, Germany: Springer.
Koch, F.L. & Meyer, J-J.Ch. (2002). AgentLight: developing logic-based autonomous agents for small devices. Proceedings of I Workshop of Dissertation Thesis on Artificial Intelligence (WTDIA'2002) (pp. 12-18) (7 p.). Recife, Brazil.
Dignum, M.V., Meyer, J-J.Ch., Weigand, H. & Dignum, F.P.M. (2002). An Organisational-oriented Model for Agent Systems. In G. Lindemann, D. Moldt, M. Paolucci & B. Yu (Eds.), Proceedings International Workshop on Regulated Agent-Based Social Systems: Theory and Applications (RASTA'02) (pp. 31-50) (20 p.). Hamburg, Germany: University of Hamburg.
Meyer, J-J.Ch. & Treur, J. (2002). Basic Concepts. In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 9-16) (8 p.). Dordrecht/Boston/London: Kluwer.
van Linder, B., van der Hoek, W. & Meyer, J-J.Ch. (2002). Formalising Abilities and Opportunities of Agents. In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 253-307) (55 p.). Dordrecht/Boston/London: Kluwer.
Dastani, M.M., de Boer, F.S., Dignum, F.P.M., van der Hoek, W., 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) (2 p.). Leuven, Belgium.
Meyer, J-J.Ch. (2002). Intelligent agents (abstract). Proceedings of the 11th Coll. On Numerical Analysis and Computer Science With Applications (Plovdiv 2002) (pp. 40-40) (1 p.). Plovdic, Bulgaria: Tech. University Plovdiv.
Meyer, J-J.Ch. & Treur, J. (2002). Introduction to "Agent-Based Defeasible Control in Dynamic Environments. In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 3-8) (6 p.). Dordrecht/Boston/London: Kluwer.
Meyer, J-J.Ch. & Tambe, M. (2002). Introduction to Intelligent Agents VIII. In J-J.Ch. Meyer & M. Tambe (Eds.), Intelligent Agents VIII: Agent Theories, Architectures and Languages (ATAL 2001 revised papers) (pp. 1-5) (5 p.). Berlin/Heidelberg, Germany: Springer.
Roorda, J.-W., van der Hoek, W. & Meyer, J-J.Ch. (2002). Iterated Belief Change in multiple Agent Systems. In C. Castelfranchi & W.L. Johnson (Eds.), Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS2002) (pp. 889-896) (8 p.). ACM Press.
Meyer, J-J.Ch., van der Hoek, W. & van Linder, B. (2002). Motivational Attitudes in the KARO Framework. In J-J.CH. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 341-356) (16 p.). Dordrecht/Boston/London: Kluwer.
Harrenstein, B.P., van der Hoek, W., Meyer, J-J.Ch. & Witteveen, C. (21.07.2002). On Modal Logic Interpretations of Games. In F. van Harmelen (Eds.), Proceedings of ECAI 2002, 15th European Conference on Artificial Intelligence (pp. 28-32) (5 p.). Amsterdam, Berlin, Oxford, Tokyo, Washington D.C.: IOS Press/OHM Ohmsha, ISBN: 1-58603-257-7 (IOS Press) ISBN: 4-274-90525-X-C3055 (Ohmsha).
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2002). Ontology-Based Knowledge Acquisition for Knowledge Systems. In H. Blockdeel & M. Denecker (Eds.), Proceedings of the 14th Dutch-Belgian Artificial Intelligence Conference (BNAIC'02) (pp. 195-202) (8 p.). Leuven, Belgium.
Meyer, J-J.Ch. & Doherty, P. (2002). Preferntial Action Semantics (Preliminary Report). In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 411-426) (16 p.). Dordrecht/Boston/London: Kluwer.
Dastani, M.M., de Boer, F.S., Dignum, F.P.M., van der Hoek, W., 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) (7 p.). Edmonton, Canada: AAAI Press.
van Linder, B., van der Hoek, W. & Meyer, J-J.Ch. (2002). Seeing is Believing (And So Are Hearing and Jumping). In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 309-339) (31 p.). Dordrecht/Boston/London: Kluwer.
Weigand, H., Dignum, M.V., Meyer, J-J.Ch. & Dignum, F.P.M. (2002). Specification by Refinements and Agreement: Designing Agent Interaction Using Landmarks and Contracts. In P. Petta, R. Tolksdorf & F. Zambonelli (Eds.), Workshop Notes of the 3rd International Workshop Engineering Societies in the Agents World (ESAW'02) (pp. 251-264) (14 p.). Madrid, Spain.
Broersen, J., Meyer, J-J.Ch. & Wieringa, R.J. (2002). The Mutual Exclusion Problem in Reasoning about Action and Change. In S. Benferhat & E. Giunchiglia (Eds.), Proceedings of the 9th International Workshop on BNon-Monotonic Reasoning (NMR-2002) (pp. 365-371) (7 p.). Toulouse, France: University of Toulouse.
Dignum, M.V., Meyer, J-J.Ch. & Weigand, H. (2002). Towards an Organisational Model for Agent Societies Using Contracts (abstract). In C. Castelfranchi & W.L. Johnson (Eds.), Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS2002) (pp. 694-695) (2 p.). New York, USA: ACM Press.
  2002 - Professional publications
Meyer, J-J.Ch. (2002). Agent technology. Vakidioot, 1, (pp. 12-15) (4 p.).
Meyer, J-J.Ch. (2002). Intelligent Agents: From Foundations to Implementation. In E.H.L. Aarts (Eds.), Proceedings Nederlandse ICT-Kenniscongres (pp. 95-95) (1 p.).
Meyer, J-J.Ch. (2002). Knowledge, Abilities, Results and Opportunities. In F.S. de Boer, M. van der Heijden, P. Klint & J. Rutten (Eds.), Liber Amicorum Jaco de Bakker (pp. 143-149) (7 p.).
  2001 - Scholarly publications
Broersen, J., Wieringa, R. & Meyer, J-J.Ch. (2001). A Fixed- Point Characterization of a Deontic Logic of Regular Action. Fundamenta Informaticae, 45, (pp. 1-21) (21 p.).
de Vries, W., Hindriks, K.V., van der Hoek, W., Meyer, J-J.Ch. & de Boer, F.S. (2001). A programming language for coordinating group actions. In B. Krose, M. de Rijke, G. Schreiber & M. van Someren (Eds.), Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (pp. 267-274) (8 p.).
de Vries, W., de Boer, F.S., Hindriks, K.V., van der Hoek, W. & Meyer, J-J.Ch. (2001). A programming language for coordinating group actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 297-304) (8 p.). Krakow, Poland.
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2001). A Programming Logic for part of the Agent Language 3APL. In J.L. Rash & e.a. (Eds.), Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems (pp. 78-89) (12 p.). Berlin, Germany: Springer.
de Vries, W., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2001). A Truly Concurrent Model for Interacting Agents. In S.T. Yuan & M. Yokoo (Eds.), Intelligent Agents: Specification, Modeling and Applications, proceedings of the 4th Pacific Rim International Workshop on Multi-Agents (PRIMA'2001) (pp. 16-30) (15 p.). Berlin, Germany: Springer.
de Vries, W., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2001). A Truly Concurrent Model for Interacting Agents. In S.T. Yuan & M. Yokoo (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 297-304) (8 p.).
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2001). Agent programming with declarative goals. In C. Castel Franchi & Y. Lesperance (Eds.), Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL) (pp. 228-243) (16 p.). Berlin, Germany: Springer.
de Vries, W., van der Hoek, W., Meyer, J-J.Ch. & de Boer, F.S. (2001). An Operational Real-Time Model for Interacting Agents. In Y. Demazeau & F. Garijo (Eds.), Preproceedings of the tenth European Workshop on Modelling Autonomouos Agents in a multi-Agent World (MAAMAW'01) is op CD gebrand.
Harrenstein, B.P., van der Hoek, W., Meyer, J-J.Ch. & Witteveen, C. (2001). Boolean Games. In J. van Benthem (Eds.), Theoretical Aspects of Rationality and Knowledge: Proceedings of the Eighth Conference (TARK 2001) (pp. 287-298) (13 p.). San Fransisco, U.S.A.: Morgan Kaufmann, Proceedings of the Eighth Conference (TARK 2001).
Meyer, J-J.Ch. (2001). Epistemic Logic. In L. Goble (Eds.), The Blackwell Guide to Philosophical Logic (pp. 183-202) (20 p.). Oxford, England: Blackwell Publishers.
van der Hoek, W., Meyer, J-J.Ch. & Treur, J. (2001). Formal Semantics of Temporal Reflection. In D.M. Gabbay & Ph. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty (pp. 41-63) (23 p.). Dordrecht, The Netherlands: Kluwer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2001). Generalised Object-Oriented Concepts for Inter-Agent Communication. In C. Castelfranchi & Y. Lespérance (Eds.), Intelligent Agents VII (pp. 260-274) (15 p.). Berlin: Springer.
Meyer, J-J.Ch. & Treur, J. (2001). Introduction and Basic Concepts. In J-J.Ch. Meyer & J. Treur (Eds.), Dynamics and Management of Reasoning Processes (pp. 1-13) (13 p.). Dordrecht/Boston/London: Kluwer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2001). Modal Logic with Bounded Quantification over Worlds. Journal of Logic and Computation, 11 (5), (pp. 701-715) (15 p.).
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2001). On Dynamically Generated Ontology Translators in Agent Communication. International Journal of Intelligent Systems, 16 (5), (pp. 587-607) (21 p.).
Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer, J-J.Ch. & van der Hoek, W. (2001). Reasoning about Agents in the KARO Framework. In C. Bettini & A. Montanari (Eds.), Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01) (pp. 206-213) (8 p.). Los Alamitos, U.S.A.: IEEE Press.
Spruit, P.A., Wieringa, R. & Meyer, J-J.Ch. (2001). Regular Database Update Logics. Theoretical Computer Science, 254, (pp. 591-661) (71 p.).
van der Hoek, W., Meyer, J-J.Ch. & Treur, J. (2001). Temporalized Epistemic Default Logic. In D.M. Gabbay & Ph. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 177-194) (18 p.). Dordrecht, The Netherlands: Kluwer.
van Linder, B., van der Hoek, W. & Meyer, J-J.Ch. (2001). The Dynamics of Default Reasoning. In D.M. Gabbay & Ph. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 125-157) (18 p.). Dordrecht, The Netherlands: Kluwer.
Hustadt, U., Dixon, C., Schmidt, R.A., Fischer, M., Meyer, J-J.Ch. & van der Hoek, W. (2001). Verification within the KARO Agent Theory. In J.L. Rash, C.A. Rouff, W. Truszkowski, D. Gordon & M.G. Hinchey (Eds.), Proceedings First Goddard Workshop on: Formal Approaches to Agent-Based Systems (FAABS 2000) (pp. 33-47) (15 p.). Berlin/Heidelberg, Germany: Springer.
  2001 - Professional publications
Meyer, J-J.Ch. (2001). Schoonheid en Informatica: Schoonheid in de Ogen van een (Logico-) Informaticus. A-Eskwadraat Lustrumalmanak 2000-2001 (pp. 101-104) (4 p.). Universiteit Utrecht.
  2000 - Scholarly publications
Harrenstein, B.P., van der Hoek, W., Meyer, J-J.Ch. & Witteveen, C. (2000). A modal Interpretation of Nash-Equilibria and Some Related Concepts. In G. Bonanno, E. Colombatto & W. van der Hoek (Eds.), Proceedings of the Fourth Conference on Logic and the Foundations of Game and Decision Theory (LOFT4) (pp. 1-21) (21 p.). Torino.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2000). A Modal Logic for Network Topologies. In M. Ojeda-Aciego, I.P. de Guzman, G. Brewka & L.M. Pereira (Eds.), Proceedings of the Seventh European Workshop on Logics in Artificial Inteligence (JELIA 2000) (pp. 269-283) (15 p.). Berlin: Springer.
Broersen, J.M., Wieringa, R. & Meyer, J-J.Ch. (2000). A Semantics for Persistency in Propositional Dynamic Logic. In J. Dahl Lloyd, U. Kerber Furbach, K.-K. Palamidessi Lau, L.M. Sagiv Pereira & P.J. Stuckey (Eds.), Proceedings First International Conference on Computational Logic (CL2000) (pp. 912-925) (14 p.). Berlin: Springer.
Meyer, J-J.Ch. (2000). Dynamic Logic for Reasoning about Actions and Agents Chapter 13. In J. Minker (Eds.), Logic-Based Artificial Intelligence (pp. 281-311) (31 p.). Boston/Dordrecht: Kluwer.
de Boer, F.S., van Eijk, R.M., van der Hoek, W. & Meyer, J-J.Ch. (2000). Failure Semantics for the Exchange of Information in Multi-Agent Systems. In C. Palamidessi (Eds.), Proceedings of the Eleventh International Conference on Concurrency Theory (CONCUR 2000) (pp. 214-228) (15 p.). Heidelberg, Germany: Springer.
van der Hoek, W., Meyer, J-J.Ch. & van Schagen, J.W. (2000). Formalizing Potential of Agents: The KARO Framework Revisited. In M. Kaufmann Faller & M. Pauly (Eds.), Formalising the Dynamics of Information (pp. 51-67) (17 p.). Stanford: CSLI Publications.
Meyer, J-J.Ch. (2000). Keynote address: Formal and Informal Aspects of Intelligent Agent-Based Systems. In E.D. Falkenberg, K. Lyytinen & A.A. Verrijn-Stuart (Eds.), Proceedings of IFIP TC8/WG8.1 International Conference on Information System concepts: An Integrated Discipline Emerging (ISCO-4) (pp. 299-310) (12 p.). Boston/ Dordrecht: Kluwer Academis Publishers.
Broersen, J., Wieringa, R. & Meyer, J-J.Ch. (2000). Mu-calculus-based Deontic Logic for Regular Actions. In R. Demolombe & R. Hilpinene (Eds.), Proceedings of the 5th Int. workshop on Deontic Logic in Computer Science (DEON'00) (pp. 43-61) (18 p.). Toulouse.
van der Hoek, W., Meyer, J-J.Ch. & van Linder, B. (2000). On Agents that Have the Ability to Choose. Studia Logica, 66 (1), (pp. 79-119) (41 p.).
Meyer, J-J.Ch., de Boer, F.S., van Eijk, R.M., Hindriks, K.V. & van der Hoek, W. (2000). On Programming KARO Agents. In J. Cunningham & D. Gabbay (Eds.), Proc. Int. Conf. on Formal and Applied Practical Reasoning (FAPR2000) London: Imperial College.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2000). Open Multi-Agent Systems: Agent Communication and Integration. In N.R. Jennings & Y. Lespérance (Eds.), Intelligent Agents VI, Proceedings of 6th International Workshop on Agent Theories, Architectures and Languages (ATAL '99) (pp. 218-232) (15 p.). Heidelberg: Springer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2000). Operational Semantics for Agent Communication Languages. In F. Dignum & M. Greaves (Eds.), Issues in Agent Communication (pp. 80-95) (16 p.). Berlin, Germany: Springer.
Krabbendam, J. & Meyer, J-J.Ch. (2000). Release Logics for Temporalizing Dynamic Logic, Orthogonalising Modal Logics. In M. Barringer, M. Fisher & Gabbay & D. Gough (Eds.), Advances in Temporal Logic (pp. 21-45) (25 p.). Boston/Dordrecht: Kluwer.
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (2000). Semantics of Communicating Agents Based on Deduction and Abduction. In F. Dignum & M. Greaves (Eds.), Issues in Agent Communication (pp. 63-79) (15 p.). Berlin: Springer.
Dixon, C., Fisher, M., Hustadt, U., Meyer, J-J.Ch., Schmidt, R. & van der Hoek, W. (2000). Verification within the KARO Agent Theory. In W. v.d. Hoek & J.-J. Ch. Meyer (Eds.), Proc. FAPR2000/AgentLink Workshop "Practical Reasoning Agents" London: Imperial College.
  1999 - Scholarly publications
Meyer, J-J.Ch., van der Hoek, W. & van Linder, B. (1999). A logical Approach to the Dynamics of Commitments,. AI Journal, 113, (pp. 1-40) (41 p.).
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). A Modal Interpretation of Quantification. Proceedings of Workshop on Methods of Modalities Amsterdam: ILLC.
van der Hoek, W. & Meyer, J-J.Ch. (1999). A Postscript to Completeness Proof for Johan. In J. Gerbrandy, M. Marx, M. de Rijke & Y. Venema (Eds.), JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday Amsterdam: Amsterdam University Press.
Meyer, J-J.Ch. (1999). Agent languages and their relationship to other programming paradigms. In M.P. Singh & A.S. Rao (Eds.), Intelligent Agents V (Agent Theories, Architectures and Languages) (pp. 309-316) (8 p.). Berlin, Germany: Springer.
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Agent Programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4) (pp. 357-401) (44 p.).
van der Hoek, W., van Linder, B. & Meyer, J-J.Ch. (1999). An Integrated Modal Approach to Rational Agents. In G. Weiss & W. van der Hoek (Eds.), Proceedings of the First European Agent Systems Summer School (EASSS'99) Utrecht: Utrecht University/ AgentLink.
Krabbendam, J. & Meyer, J-J.Ch. (1999). Contextual Deontic Logics. In P. McNamara & H. Prakken (Eds.), Norms, Logics and Information Systems (pp. 347-362) (16 p.). Amsterdam: IOS Press.
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Control Structures of Rule-Based Agent Languages. In J.P. Müller, M.P. Singh & A.S. Rao (Eds.), Intelligent Agents V (Agent Theories, Architectures and Languages) (pp. 381-396) (16 p.). Berlin: Springer.
Meyer, J-J.Ch. (1999). Dynamic Logic for Reasoning about Action and Agents. In J. Minker (Eds.), Pre-prints Workshop on Logic Based Artificial Intelligence (LBAI'99) Washington D.C..
Meyer, J-J.Ch. & Schobbens, P.-Y. (1999). Formal Models of Agents (LNAI 1760). (253 p.). Berlin, Germany: Springer.
Meyer, J-J.Ch. & Schobbens, P.-Y. (1999). Formal models of agents: an introduction. In J-J.Ch. Meyer & P.-Y. Schobbens (Eds.), Formal Models of Agents (pp. 1-7) (7 p.). Berlin, Germany: Springer.
van der Hoek, W., Meyer, J-J.Ch. & Witteveen, C. (1999). Foundations and Applications of Collective Agent-Based Systems (CABS). Utrecht: Utrecht University.
van der Hoek, W., van Linder, B. & Meyer, J-J.Ch. (1999). Group Knowledge Isn't Always Distributed (Neither Is It Always Implicit). Mathematical Social Sciences, 38, (pp. 215-240) (27 p.).
de Weerdt, M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Imprecise observations of mobile robots specified by a mobile robot. In M. Boasson, J.A. Kaandorp, J.F.M. Tonino & M.G. Vosselman (Eds.), Proceedings of the fifth annual conference of the Advanced School for Computing and Imagaing (ASCI'99) (pp. 184-190) (6 p.).
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Information-Passing and Belief Revision in Multi-Agent Systems. In J.P.M. Muller, M.P. Singh & A.S. Rao (Eds.), Intelligent Agents V - Proceedings of the 5th International Workshop on Agent Theories (pp. 29-45) (16 p.). Berlin: Springer, in: Lecture Notes in Artificial Intelligence.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Open Multi-Agent Systems: Agent Communication and Integration. In E. Postma & M. Gyssens (Eds.), Proceedings of the 11th Belgium-Netherlands Artificial Intelligence Conference (pp. 239-240) (1 p.). Maastricht.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In F. Dignum & B. Chaib-Draq (Eds.), Proceedings of Workshop on Agent Communication Languages (pp. 105-118) (14 p.).
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. Proceedings of Second Workshop of UK Special Interest group on Multi-Agent Systems (UKMAS'99) Bristol: Hewlett-Packard Laboratories.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In W. van der Hoek, J-J.C. Meyer & C. Witteveen (Eds.), Proceedings of ESSLLI'99 Workshop on Foundations and Applications of Collective Agent Based Systems (CABS)
Meyer, J-J.Ch. & Doherty, P. (1999). Preferential Action Semantics (Preliminary Report). In J-J.Ch. Meyer & P.Y. Schobbens (Eds.), Formal Models of Agents (LNAI 1760) (pp. 187-201) (15 p.). Berlin: Springer.
Harrenstein, B.P., van der Hoek, W., Meyer, J-J.Ch. & Witteveen, C. (1999). Subgame Perfect Nash-Equilibria in Dynamic Logic. In M. Pauly & A. Baltag (Eds.), Proceedings of the ILLC Workshop on Logic and Games, Held in Amsterdam November 19-20, 1999 (pp. 29-30) (1 p.). Amsterdan: ILLC.
  1999 - Professional publications
Meyer, J-J.Ch. (1999). Onderwijs, onderzoek en toepassing. In T. Bemelmans, P. de Bra, G. van Oortmerssen & M. Looijen (Eds.), ICT-zakboekje (pp. 10-17) (8 p.). Arnhem: PBNA.
  1998 - Scholarly publications
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). A formal embedding of agenspeak(l) in 3apl. In G. Antoniou & J. Slaney (Eds.), Advanced Topics in Artificial Intelligence (pp. 155-166) (12 p.). Berlin, Germany: Springer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). A language for modular information-passing agents. CWI Quarterly, 11 (2, 3), (pp. 273-297) (25 p.). Special issue on Artificial Intelligence (ECAI98).
van der Hoek, W., van Linder, B. & Meyer, J-J.Ch. (1998). An Integrated Modal Approach to Rational Agents. In M. Wooldridge & A. Rao (Eds.), Foundations of Rational Agency (pp. 133-168) (36 p.). Dordrecht: Kluwer.
Kuiper, M., Meyer, J-J.Ch. & Dignum, F.P.M. (1998). An investigation into deontics of durative actions. In P. McNamara & H. Prakken (Eds.), Proceedings of Deontic Logic in Computer Science (DEON '98) (pp. 179-195) (17 p.). Bologna, Italy: University of Bologna.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). Constructing translations between individual vocabularies in multi-agent systems. In H. La Poutre & J. van den Herik (Eds.), Proceedings of the 10th Netherlands/Belgium Conference on Artificial Intelligence (pp. 307) (1 p.). Amsterdam, the Netherlands: CWI.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). Construction translations between individual vocabularies in multi-agent systems. In F. Giunchiglia (Eds.), Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA'98) (pp. 240-253) (14 p.). Heidelberg, Germany: Springer.
Krabbendam, J. & Meyer, J-J.Ch. (1998). Contextual deontic logics. In P. McNamara & H. Prakken (Eds.), Proceedings of Deontic Logic in Computer Science (pp. 271-290) (20 p.). Bologna, Italy: University of Bologna.
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). Failure, monitoring and recovery in the agent language 3APL. In G. De Giacomo (Eds.), AAAI 1998 Fall Symposium on Cognitive Robotics (pp. 68-75) (8 p.).
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). Formal semantics for an abstract agent programming language. In M.P. Singh, A. Rao & M.J. Wooldridge (Eds.), Intelligent Agents IV (pp. 216-229) (14 p.). Berlin, Germany: Springer.
van Linder, B., van der Hoek, W. & Meyer, J-J.Ch. (1998). Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34 (1,2), (pp. 53-101) (49 p.).
van der Gaag, L.C. & Meyer, J-J.Ch. (1998). Informational independence: models and normal forms. International Journal of Intelligent Systems, 13, (pp. 83-109) (27 p.).
Meyer, J-J.Ch. & van der Hoek, W. (1998). Modal logics for representing incoherent knowledge. In Ph. Besnard & A. Hunter (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems 2: Reasoning with Actual and Potential Contradiction (pp. 37-75) (39 p.). Dordrecht, the Netherlands: Kluwer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). Systems of communicating agents. In H. Prade (Eds.), Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98) (pp. 293-297) (5 p.). Wiley.
van der Hoek, W., Meyer, J-J.Ch. & Treur, J. (1998). Temporalizing epistemic default logic. Journal of Logic, Language and Information, 7 (3), (pp. 341-367) (27 p.).
Meyer, J-J.Ch., Wieringa, R. & Dignum, F.P.M. (1998). The role of deontic logic in the specification of information systems. In J. Chomicki & G. Saake (Eds.), Logics for Databases and Information Systems (pp. 71-115) (45 p.). Boston/Dordrecht: Kluwer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). Translation of vocabularies in systems of communicating agents. Workshop of UK Special Interest Group on Multi-Agent Systems (UKMAS'98) Working Notes Manchester, England: Manchester Conference Centre.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1998). Translations of vocabularies in systems of communicating agents. Second workshop on current constraint programming for time critical applications and multi-agents systems (COTIC'98) Electronic Notes in Theoretical Computer Science, www.elsecier.nl/locate/entcs/volume16.html.
  1997 - Scholarly publications
van der Hoek, W. & Meyer, J-J.Ch. (1997). A complete Epistemic Logic for Multiple Agents Combining Distributed and Common Knowledge. In M.O.L. Bacharach, L.A. Gerard-Varet, P. Mongin & H.S. Shin (Eds.), Epistemic Logic and the Theory of Games and Decisions (pp. 35-68) (34 p.). Dordrecht, the Netherlands: Kluwer.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. In W. van der Hoek, Y. Lesperance & R. Scherl (Eds.), Proceedings of the ESSLLI '97 Symposium on Logical Approaches to Agent Modelling and Design (pp. 46-56) (11 p.). Aix-en-provence, France.
van Eijk, R.M., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. In M. Luck, M. Fisher, M. d'Inverno, N. Jennings & M. Wooldridge (Eds.), The Second UK Workshop on Foundations of Multi-Agent Systems (FoMAS'97) Working Notes (pp. 33-43) (11 p.). Warwick: University of Warwick.
Hindriks, K.V., de Boer, F.S., van der Hoek, W. & Meyer, J-J.Ch. (1997). Formal Semantics for an Abstract Agent Programming Language. Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL)
Meyer, J-J.Ch. (1997). Intelligent Agents. Vakidioot, 3, (pp. 2-8) (7 p.).
Meyer, J-J.Ch. (1997). Logic for Multi-Agent Systems (abstract). Bulletin of Symbolic Logic, 3 (2), (pp. 248-249) (2 p.).
Meyer, J-J.Ch. & Doherty, P. (1997). Preferential Action Semantics (Preliminary Report). In A. Cesta & P.-Y. Schobbens (Eds.), Proceedings of the 4th ModelAge Workshop on Formal Models of Agents (pp. 187-200) (14 p.). Certosa de Pontignano: NRC Italy.
Krabbendam, J. & Meyer, J-J.Ch. (1997). Release Logics for Temporalizing Dynamic Logic. In H. Barringer, M. Fischer, D. Gabbay & G. Gough (Eds.), Proceedings 2nd International Conference on Temporal Logic (ICTL '97) (pp. 19-42) (24 p.). Manchester, England: University of Manchester.
van Linder, B., van der Hoek, W. & Meyer, J-J.Ch. (1997). Seeing is Believing (And So Are Hearing and Jumping). Journal of Logic, Language and Information, 6 (2), (pp. 33-61) (29 p.).
van Linder, B., van der Hoek, W. & Meyer, J-J.Ch. (1997). The dynamics of Default Reason. Data and Knowledge Engineering, 21 (3), (pp. 317-346) (30 p.).
  1996 - Scholarly publications
Dignum, F.P.M., Meyer, J-J.Ch., Wieringa, R. & Kuiper, R. (1996). A modal approach to intentions, commitments and obligations: Intention plus commitment yoeld obligation. In M. Brown & J. Carmo (Eds.), Deontic Logic, Agency and Normative Systems (pp. 80-97) (18 p.). Berlin, Germany: Springer.
Meyer, J-J.Ch. & van der Hoek, W. (1996). A modal contrastive logic: The logic of 'but'. Annals of Mathematics and Artificial Intelligence, 17 (3,4), (pp. 291-313) (23 p.).
Huibers, T.W.C., van Linder, B. & Meyer, J-J.Ch. (1996). An agent-oriented approach to information retrieval. In J-J.Ch. Meyer & L.C. van der Gaag (Eds.), Proceedings of the 8th Dutch Conference on Artificial Intelligence (pp. 213-222) (10 p.). Utrecht, the Netherlands: Utrecht University.
d'Altan, P., Meyer, J-J.Ch. & Wieringa, R. (1996). An integrated framework for ought-to-be and ought-to-do constraints. Artificial Intelligence and Law, 4, (pp. 77-111) (35 p.).
van der Gaag, L.C. & Meyer, J-J.Ch. (1996). Characterising normal forms for informational independence. Proceedings of the Sixth International Conference On Information Pocessing and management of Uncertainty in Knowledge-Based Systems (pp. 973-978) (6 p.).
van Linder, B., van der Hoek, W. & Meyer, J-J.Ch. (1996). Formalising motivational attitudes of agents: On preferences, goals and commitments. In M. Wooldridge, J. Mueller & M. Tambe (Eds.), Intelligent Agents Volume II - Agent Theories, Architectures, and languages (ATAL '96) (pp. 17-32) (16 p.). Berlin, Germany: Springer.
Dignum, F.P.M., Meyer, J-J.Ch. & Wieringa, R. (1996). Free choice permitted actions. Studia Logica, 57 (1), (pp. 193-220) (28 p.).
van der Hoek, W., van Linder, B. & Meyer, J-J.Ch. (1996). Group knowledge isn't always distributed. In J-J.Ch. Meyer & L.C. van der Gaag (Eds.), Proceedings of the eight Dutch Conference on Artificial Intelligence (NAIC 96) (pp. 205-212) (8 p.). Utrecht: Utrecht University.
Meyer, J-J.Ch. (1996). Logic for multi-agent systems (abstract invited tutorial). In J. Larrazabal (Eds.), Proceedings Logic Colloquium '96 (European Summer Meeting of the Association for Symbolic Logic) (pp. 79-83) (5 p.). San Sebastian, Spain: Donostia.
van der Hoek, W. & Meyer, J-J.Ch. (1996). Modalities for Reasoning about Knowledge and Uncertainties. In P. Doherty (Eds.), Partiality, Modality and Nonmonotonicity (pp. 77-110) (34 p.). Californie, U.S.A.: CSLI, Stanford.
Meyer, J-J.Ch. & van Leeuwen, J.C. (1996). Possible world semantics for analogous reasoning. In D. Gabbay & H. Ohlbach (Eds.), Practical reasoning (Proceedings International Conference on Formal and Applied Practical Reasoning (FAPR'96)) (pp. 414-429) (16 p.). Berlin, Germany: Springer.
Meyer, J-J.Ch. & van der Gaag, L.C. (1996). Proceedings of the 8th Dutch Conference on Artificial Intelligence. Utrecht, the Netherlands: Utrecht University.
van der Gaag, L.C. & Meyer, J-J.Ch. (1996). The dynamics of probabilistic structural relevance. In J-J.Ch. Meyer & L.C. van der Gaag (Eds.), Proceedings of the Eighth Dutch Conference on Artificial Intelligence (pp. 145-156) (12 p.). Utrecht, the Netherlands: Utrecht University.
^ top
Gegenereerd op 2017-06-22 13:54:21

Completed projects

Project:
Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios 01.06.2012 to 31.08.2016
General project description

Lucia de Berk found out first-hand: evidence based on statistics can easily lead to errors. This project aims to help prevent this sort of error from occurring. The project's new approach is to link the successful statistical modelling technique of Bayesian networks to models that effectively dovetail legal argumentation and scenario construction in the legal world.

 
Role Researcher Funding
NWO grant: NWO Forensic Science programme
Project members UU
External project members:
  • C.S. Vlek MSc
  • dr. B Verheij
  • prof. dr. L.C. Verbrugge (Department of Artificial Intelligence
  • University of Groningen)
Gegenereerd op 2017-06-22 13:54:21
Currently prof. dr. J.J.C. (John-Jules) Meyer teaches the following course(s):
CodeDescriptionF/PLevelECTS
WBMV05003 Philosophy of A.I. V M 7.5
Gegenereerd op 2017-06-22 13:54:21
Additional functions and activities
  • Adviseur bij TNO Human Factors 
  • Wetenschappelijk directeur Turing Institute Almere, instituut voor onderzoek naar methoden uit de kunstmatige intelligentie voor de gezondheidswetenschappen en –zorg.
Gegenereerd op 2017-06-22 13:54:21
Full name
prof. dr. J.J.C. Meyer Contact details
Buys Ballotgebouw

Princetonplein 5
Room BBL-520
3584 CC  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 4117
Phone number (department) +31 30 253 4109
Postal address
Postbus 80.089
3508 TB    UTRECHT
The Netherlands
Gegenereerd op 2017-06-22 13:54:21
Last updated 22.02.2013