Broersen, J.M., Gabbay, D., Herzig, A., Lorini, E, Meyer, J-J.Ch., Parent, X. & Torre, L.W.N. van der (2013). Deontic Logic. In S. Ossowski (Ed.), Agreement Technologies (pp. 171-181). Springer.
|
Harbers, M., Bradshaw, J.M., Johnson, M., Feltovich, P., Bosch, K. van den & 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 Vol. 7254. Lecture Notes in Computer Science (pp. 21-37).
|
Kok, E.M., Meyer, J-J.Ch., Oostendorp, H. van, 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 Lecture Notes in Computer Science. Springer.
|
Meyer, J-J.Ch. (2012). A Universal Computer Scientist in: Facetten van Jan- Liber Amicorum.
|
Sindlar, M.P. & Meyer, J-J.Ch. (2012). Affordance-Based Intention Recognition in Virtual Spatial Environments (Early Innovation). In N. Desai, A. Liu & M. Winikoff (Eds.), Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010 Vol. 7057. Lecture Notes in Artificial Intelligence (pp. 304-319). Berlin/Heidelberg: Springer-Verlag.
|
Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & Torre, L. van der (2012). Agent Programming Languages Requirements for Programming Cognitive Robots. In M. Dastani, B. Logan & J.F. Huebner (Eds.), pre-proceedings of the Tenth International Workshop on Programming Multi-Agent Systems, ProMAS’12 (pp. 39-54).
|
Ziafati, P., Dastani, M.M., Meyer, J-J.Ch. & Torre, L. van der (2012). Agent Programming Languages Requirements for Programming Cognitive Robots (abstract). In J.W.H.M. Uiterwijk, N. Roos & M.H.M. Winands (Eds.), Proc. of BNAIC 2012 (The 24th Benelux Conference on Artificial Intelligence) (pp. 337-338).
|
Telgen, D.H., Moergestel, L.J.M. van, 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). Tampere: Tampere University of Technology.
|
Peeters, M.M.M., Bosch, K. van den, 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).
|
Meyer, J-J.Ch. (2012). De erfenis van Alan Turing (1912-1954). Filosofie, 22(3), 45-46.
|
Gratie, C., Magda Florea, A. & Meyer, J-J.Ch. (2012). Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. In Computational Logic in Multi-Agent Systems Vol. 7486. Lecture Notes in Artificial Intelligence (pp. 181-194). Berlin/Heidelberg: Springer.
|
Hindriks, K.V., Hoek, W. van der & 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) Vol. 7360. Lecture Notes in Artificial Intelligence (pp. 196-219). Heidelberg: Springer.
|
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 Vol. 918. CEUR Workshop Proceedings (pp. 113-127). Aachen.
|
Moergestel, L. van & 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). SciTePress.
|
Harbers, M., Bosch, K. van den & Meyer, J-J.Ch. (in press). Modeling Agents with a Theory of Mind: Theory-theory versus Simulation Theory. Web Intelligence and Agent Systems: An International Journal, 10(3), 331-343.
|
Meyer, J-J.Ch. (2012). My Virtual Character Understands Me! in: Growing Knowledge for Games – Results from the GATE Research Project, 2012, GATE, Utrecht.
|
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).
|
Moergestel, L. van, 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). IEEE Computer Society Publications.
|
Dastani, M.M., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2012). Programming Norm Change. In (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), 181-202.
|
Peeters, M.M.M., Bosch, K. van den, 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). XPS: Xpert Publishing Services.
|
Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2012). Testing the Benfits of Structured Argumentation in Multi-Agent Deliberation Dialogues. In V Conitzer & M Winikoff (Eds.), Proceedings of the 11th International Conference on Autonomous Agents and Multi-Agent Systems (pp. 1411-1412). Valencia, Spain.
|
Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2012). Testing the Benfits 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). 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).
|
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). International Foundation for Autonomous Agents and Multi-Agent Systems.
|
Broekens, J., Harbers, M., Brinkman, W.P., Bosch, K. van den, 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) Lecture Notes in Artificial Intelligence (pp. 218-230). Berlin/ Heidelberg: Springer.
|
Moergestel, L. van, 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) IEEE (pp. 281-288).
|
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 (Ed.), Proc. of the 1st Imperial College Student Workshop (ICCSW ʻ11) (pp. 10-16).
|
Broekens, J., Harbers, M., Brinkman, W.P., Jonker, C., Bosch, K. van den & 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) Vol. 6895. Lecture Notes in Computer Science (pp. 435-436). Berlin: Springer.
|
Steunebrink, B., Dastani, M.M. & Meyer, J-J.Ch. (2011). A Formal Model of Emotion Triggers: An Approach for BDI Agents. Synthese.
|
Kok, E.M., Meyer, J-J.Ch., Oostendorp, H. van, Prakken, H. & Vreeswijk, G.A.W. (2011). A Methodology for the Generation of Multi-Agent Argumentation Dialogue Scenarios. In 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 (Ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence.
|
Harbers, M., Bosch, K. van den & 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). SciTePress.
|
Dastani, M.M., Meyer, J-J.Ch. & Grossi, D. (2011). A logic for normative multi-agent programs. International Journal of Logic and Computation.
|
Harbers, M., Bosch, K. van den & 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). IGI Global (Information Science Publishing).
|
Weide, T.L. van der, 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 Vol. 6614. Lecture Notes in Computer Science (pp. 68-85). Berlin/Heidelberg: Springer/Verlag.
|
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 (Ed.), the 24th Int. Symp. on Computer-Based Medical Systems) & HEALTHGRID 2011.
|
Harbers, M., Bradshaw, J., Johnson, M., Feltovich, P.J., Bosch, K. van den & 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).
|
Weide, T.L. van der, 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). International Foundation for Autonomous Agents and Multi-Agent Systems.
|
Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2011). Programming Mental State Abduction. In P. Yolum, P. Stone & L. Sonenberg (Eds.), Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS). IFAAMAS.
|
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).
|
Peeters, M.M.M., Van den Bosch, K., Meyer, J-J.Ch. & Neerincx, M.A. (2011). Scenario-based Training: Director's Cut. In G. Biswas, S. Bull, J. Kay & A. Mitrovic (Eds.), Artificial Intelligence in Education Vol. 6738. Lecture Notes in Computer Science (pp. 264-272). Auckland, New Zealand: Springer.
|
Peeters, M.M.M., Bosch, K. van den, Meyer, J-J.Ch. & Neerincx, M.A. (2011). Situated Cognitive Engineering: The Requirements and Design of Directed Scenario-Based Training. In paper presented during the Workshop on Authoring Simulation and Game-based Intelligent Tutoring.
|
Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2010). A Formal Argumentation Framework for Deliberation Dialogues. In Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems Lecture Notes in Artificial Intelligence. Toronto, Canada.
|
Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2010). A Logical Account of Theory of Mind. In V. Goranko & W. Jamroga (Eds.), Proceedings of the Third Workshop on Logical Aspects of Multi-Agent Systems (LAMAS). Toronto, Canada.
|
Harbers, M., Bosch, K. van den & Meyer, J-J.Ch. (2010). A Methodology for Developing Self-Explaining Agents for Virtual Training. Lecture Notes in Computer Science, 6039, 168-182.
|
Peeters, M.M.M., Bosch, K. van den, 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).
|
Broekens, J., Jonker, C. & Meyer, J-J.Ch. (2010). Affective Negotiation Support Systems. Journal of Ambient Intelligence and Smart Environments, 2(2), 121-144.
|
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). Kolkata, India.
|
Dastani, M.M. & Meyer, J-J.Ch. (2010). Agents with Emotions. International journal of intelligent systems, 25, 636-654.
|
Penning, L. de, 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.
|
Weide, T.L. van der, 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).
|
Weide, T.L. van der, 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).
|
Meyer, J-J.Ch. (2010). Chapter 16 : 5 Questions. In V.F. Hendricks & O. Roy (Eds.), Epistemic Logic. New York, London: Automatic Press, VIP.
|
Dastani, M.M., Hindriks, K.V. & Meyer, J-J.Ch. (Eds.). (2010). Chapter 16 in Epistemic Logic: 5 Questions (V.F. Hendricks & O. Roy, eds. New York / London, 2010: Automatic Press, VIP.
|
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), 401-420.
|
Dastani, M.M. & Meyer, J-J.Ch. (2010). Correctness of Multi-Agent Programs: A Hybrid Approach. In M. Dr. Dastani, K.V. Hindriks & J.-J.Ch. Prof.dr. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 161-194). Springer, New York / Dordrecht / Heidelberg / London.
|
Dastani, M.M., Brandsema, J., Dubel, A. & Meyer, J-J.Ch. (2010). Debugging BDI-Based Multi-Agent Programs. In L. Braubach, J.-P. Briot & J. Thangarajah (Eds.), Programming Multi-Agent Systems Vol. 5919. Lecture Notes in Artificial Intelligence (pp. 151-169).
|
Harbers, M., Van den Bosch, K. & Meyer, J-J.Ch. (2010). Design and Evaluation of Explainable BDI Agents. In Proceedings of International Conference on Intelligent Agent Technology.
|
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. In Proceedings of MATES 2010.
|
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).
|
Harbers, M., Van den Bosch, K. & Meyer, J-J.Ch. (2010). Explaining Simulations Through Self Explaining Agents. Journal of Artificial Societies and Social Simulation, 12(1).
|
Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2010). Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. In M. Baldoni, J. Bentahar, M.B. van Riemsdijk & J. Lloyd (Eds.), Declarative Agent Languages and Technologies VII, 7th International Workshop Vol. 5948. Lecture Notes in Computer Science (pp. 174-191).
|
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. In Deontic Logic in Computer Science, 10th International Conference (DEON 2010) Vol. 6181. Lecture Notes in Computer Science (pp. 306-322). Springer.
|
Harbers, M., Broekens, J., Bosch, K. van den & 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).
|
Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2010). Mental State Ascription Using Dynamic Logic. In H. Coelho, R. Studer & M. Wooldridge (Eds.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI) (pp. 561-566). Amsterdam: IOS Press.
|
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. 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 Vol. 6214. Lecture Notes in Computer Science (pp. 64-82).
|
Weide, T.L. van der, 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 Vol. 6057. Lecture Notes in Artificial Intelligence.
|
Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2010). Programming Norm Change. In W. van der Hoek, G. Kaminka, Y. Lespérance, M. Luck & S. Sen (Eds.), Proc. of 9th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010) (pp. 957-964).
|
Alechina, N., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2010). Reasoning About Agent Deliberation. International Journal of Autonomous Agents and Multiagent Systems (JAAMAS), 22(2), 356-381.
|
Moergestel, L. van, Puik, E., Telgen, D., Aalbers, M., Marshal, S., Rooden, F. van, Siudak, R., Wakelkamp, W. & Meyer, J-J.Ch. (2010). Simulation of Multiagent-Based Agile Manifacturing. In Q. Luo (Ed.), Proc. 2010 International Conference on Computer-aided Manufacturing and Design (CMD2010) (pp. 13-16).
|
Moergestel, L. van, Puik, E., Telgen, D. & Meyer, J-J.Ch. (2010). The Role of Software Agents in the Life Cycle of a Product. In Q. Luo (Ed.), The Role of Software Agents in the Life Cycle of a Product (pp. 17-20).
|
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).
|
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).
|
Vries, W. de, Meyer, J-J.Ch., Boer, F.S. de & Hoek, W. van der (2009). A Coordination Language For Agents Interacting In Distributed Plan--Execute Cycles. In Int. J. Reasoning-Based Intelligent Systems Vol. 1. International Journal Reasoning-Based Intelligent Systems (pp. 4-17).
|
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). 2009.
|
Harbers, M., Bosch, K. van den & 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). Budapest, Hungary.
|
Harbers, M., Van den Bosch, K. & Meyer, J-J.Ch. (2009). A Methodology for Developing Self-Explaining Agents for Virtual Training. In Proceedings of MALLOW'009.
|
Broersen, J., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). A Modal Logic for Closed Interaction. Synthese - KRA, 169(2), 351-369.
|
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). A Modal Representation of Strategic Reasoning. onbekend: UU BETA ICS Departement Informatica.
|
Harbers, M., Bosch, K. van den & 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.), Proc. of IVA 2009 (pp. 132-145). Amsterdam, Netherlands: Springer Berlin/Heidelberg.
|
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 (Ed.), Encyclopedia of Information Science and Technology (IGI Global 2009).
|
Meyer, J-J.Ch. (2009). Agent Technology. In Wiley Encyclopedia of Computer Science and Engineering (B.W. Wah, ed.) (pp. 42-49).
|
Meyer, J-J.Ch. (2009). Agent Technology, Encyclopedia of Information Science and Technology. In M. Khosrow-Pour (Ed.), Information Science Reference. IGI Global.
|
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) Vol. 5834. Lecture Notes in Computer Science (pp. 292-301).
|
Weide, T.L. van der, Dignum, F.P.M., Prakken, H., Vreeswijk, G.A.W. & Meyer, J-J.Ch. (2009). Argumentation About Motivation. In Human Factors Event 2009 (pp. 34-35).
|
Vecht, B. van der, Dignum, F.P.M., Meyer, J-J.Ch. & Dignum, M.V. (2009). Autonomous Agents Adopting Organizational Rules. In M.V. Dignum (Ed.), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (pp. 314-333). IGI Global.
|
Vecht, B. van der, 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) IEEE (pp. 92-95).
|
Sindlar, M.P., Dastani, M.M. & Meyer, J-J.Ch. (2009). BDI-Based Development of Virtual Characters with a Theory of Mind. In Zs. Ruttkay, M. Kipp, A. Nijholt & H.H. Vilhjalmsson (Eds.), Proceedings of IVA 2009 (pp. 34-41). Springer Verlag.
|
Vecht, B. van der, Dignum, F.P.M., Meyer, J-J.Ch. & Neef, M. (2007). Coordination, Organizations, Institutions, and Norms in Agent Systems III. In Proceedings COIN Vol. 4870. Lecture Notes in Computer Science (pp. 83-96).
|
Turrini, P., Meyer, J-J.Ch. & Casterlfranchi, C. (2009). Coping with Shame and Sense of Guilt: a Dynamic Logic Account. Journal of Autonoumous Agents and Multi Agent Systems, --(--).
|
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), 351-369.
|
Harbers, M., Bosch, K. van den & Meyer, J-J.Ch. (2009). Enhancing Training by Using Agents with a Theory of Mind. In M. Beer, M. Fasli & D. Richards (Eds.), Proceedings of EduMAS'2009 (pp. 23-30). Budapest, Hungary.
|
Harbers, M., Bosch, K. van den & 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).
|
Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2009). Explaining and Predicting the Behavior of BDI-Based Agents in Games. In M. Baldoni, J. Bentahar, B. Riemsdijk & Lloyd J. (Eds.), International Workshop on Declarative Agent Languages and Technologies (DALT) (pp. 174-191).
|
Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2009). Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. In M. Baldoni, J. Bentahar, J. Lloyd & M. Birna van Riemsdijk (Eds.), Proceedings of DALT 2009 Lecture Notes in Artificial Intelligence. Springer Verlag.
|
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 IEEE (pp. 345-348).
|
Lorini, E, Dastani, M.M., Ditmarsch, H. van, Herzig, A. & Meyer, J-J.Ch. (2009). Intentions and Assignments. In X. He, J. Horty & E. Pacuit (Eds.), Logic, Rationality, and Interaction (LORI) (pp. 198-211).
|
Meyer, J-J.Ch. & Broersen, J.M. (2009). Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008). Lecture Notes in Artificial Intelligence, 5605.
|
Bentahar, J. & Meyer, J-J.Ch. (2009). Model Checking Communicative Agent-based Systems. In Vol. 22. Knowledge-based systems (pp. 142-159).
|
Tinnemeier, N.A.M., Dennis, L. & Meyer, J-J.Ch. (2009). Model Checking Normative Agent Organisations. In Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems. Hamburg, Germany.
|
Harbers, M., Bosch, K. van den & Meyer, J-J.Ch. (2009). Modeling Agents with a Theory of Mind. In Proc. of International Conference on Intelligent Agent Technology (pp. 217-224). Milano, Italy: WI-IAT.
|
Astefanoaei, L., Dastani, M.M., Meyer, J-J.Ch. & Boer, F de (2009). On the Semantics and Verification of Normative Multi-Agent Systems. International Journal of Universal Computer Science, 15(13), 2629-2652.
|
Vecht, B. van der, 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 Lecture Notes in Artificial Intelligence (pp. 17-32). Heidelberg: Springer.
|
Weide, T.L. van der, Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2009). 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 Vol. 5384/2009. Lecture Notes in Computer Science (pp. 3-18). Berlin / Heidelberg: Springer.
|
Weide, T.L. van der, Dignum, F.P.M., Prakken, H., Vreeswijk, G.A.W. & Meyer, J-J.Ch. (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).
|
Weide, T. van der, 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, URL =). Barcelona: Huygens Editorial.
|
Tinnemeier, N.A.M., Dastani, M.M., Meyer, J-J.Ch. & Van der Torre, L. (2009). Programming Normative Artifacts with Declarative Obligations and Prohibitions. In Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (pp. 145-152). Los Alamitos, CA, USA: IEEE Computer Society.
|
Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2009). Roles and Norms for Programming Agent Organizations. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (pp. 121-128). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
|
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). Strategic Ability Update: A Modal Logic Account. In WI-IAT '09: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (pp. 470-473). Washington, DC, USA: IEEE Computer Society.
|
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. In FAMAS 2006 Vol. 19. Journal of Autonomous Agents & Multi-Agent Systems (pp. 4-29).
|
Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2008). A Characterization of Sapient Agents. In R.V. Mayorga & L. Perlovsky (Eds.), Toward Artificial Sapience, Principles and Methods for Wise Systems (pp. 129-141). Berlin: Springer.
|
Harbers, M., Bosch, K. van den, 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). Patras, Greece: University of Patras.
|
Harbers, M., Bosch, K. van den, 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). 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) Vol. 5076. Lecture Notes in Artificial Intelligence (pp. 218-232). 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). 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). 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). 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. Intelligence (JELIA 2008) Vol. 5293. Lecture Notes in Computer Science (pp. 89-99). Berlin: Springer.
|
Dastani, M.M., Tinnemeier, N.A.M. & Meyer, J-J.Ch. (2008). A Programming Language for Normative Multi-Agent Systems. In V. Dignum (Ed.), Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global.
|
Astefanoaei, L., Dastani, M.M., Meyer, J-J.Ch. & Boer, F.S. de (2008). A Verification Framework for Normative Multi-Agent Systems. In T.D. Bui, T.V. Ho & Q.T. Ha (Eds.), Proc. PRIMA 2008 Vol. 5357. Lecture Notes in Artificial Intelligence (pp. 42-53). Berlin/Heidleberg, Duitsland: Springer.
|
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). Estoril, Portugal: IFAAMAS.
|
Meyer, J-J.Ch. (2008). Agent Technology. In B.W. Wah (Ed.), Encyclopedia of Computer Science and Engineering. Wiley.
|
Meyer, J-J.Ch. (2008). Agenttechnologie: Computers die denken. (AO, 2904). Lelystad: IVIO Uitgeverj.
|
Goble, L. & Meyer, J-J.Ch. (2008). Editorial: Special issue dedicated to DEON 2006. Journal of Applied Logic, 6(2), 133-134.
|
Jonker, G.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). Efficient and Equitable Collaboration among Selfish Agents under Different Currency Systems. (UU-CS2008-004 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Harbers, M., Dignum, F.P.M., Meyer, J-J.Ch. & Bosch, K. van den (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). 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) Lecture Notes in Artificial Intelligence (pp. 54-70). Berlin: Springer.
|
Goble, L. & Meyer, J-J.Ch. (Eds.). (2008). Journal of Applied Logic, Selected Papers from the 8th Int. Workshop on Deontic Logic in Computer Science. (6, 2). Amsterdam: Elsevier.
|
Vecht, B. van der, 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) Vol. 178. Frontiers in Artificial Intelligence and Applications (pp. 889-890). 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). Heidelberg: Springer.
|
Sindlar, M.P., Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2008). Mental State Abduction of BDI-Based Agents. In A. Nijholt, M. Pantic, M. Poel & H. Hondorp (Eds.), Proceedings of BNAIC 2008 (pp. 363-364). Enschede.
|
Bentahar, J. & Meyer, J-J.Ch. (2008). Model Checking Communicative Agent-based Systems. In Knowledge-based systems, Special Issue on Intelligent Software Design Knowledge-based systems. Amsterdam: Elsevier.
|
Aldewereld, H.M., Buzing, P., Jonker, G., Jonge, F. de, 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). ACM Press.
|
Dastani, M.M., Grossi, D., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2008). Normative Multi-Agent Programs and Their Logics. In Proceedings of Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS'08).
|
Vecht, B. van der, 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). 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). Amsterdam, Patras, Greece: IOS Press.
|
Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2008). Orwell's Nightmare for Agents? Programming Multi-Agent Organisations. In Proceedings of the workshop on Programming Multi-Agent Systems (ProMAS'08).
|
Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2008). Orwell’s Nightmare for Agents? Programming Normative Multi-Agent Organisations. In K. Hindriks, A. Pokahr & S. Sardina (Eds.), Preproc. AAMAS’08 Workshop on Programming Multi-Agent Systems (ProMAS’08) (pp. 43-58). Estoril, Portugal.
|
Weide, T. van der, 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).
|
Alechina, N., Dastani, M.M. & Meyer, J-J.Ch. (2008). Reasoning about Agent Deliberation. In G. Brewka & J. Lang (Eds.), Proc. 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008) (pp. 16-26). Sydney, Australia, Menlo Park, CA,: AAAI Press.
|
Alechina, N., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2008). Reasoning about Agent Execution Strategies (Short Paper). In L. Padgham, D. Parkes, J. Müller & S. Parsons (Eds.), roc of Seventh Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 2008) (pp. 1455-1458). Estoril, Portugal: IFAAMAS.
|
Alechina, A., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2008). Reasoning about agent execution strategies. In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08).
|
Arbab, F., Astefanoaei, L., Boer, F.S. de, Dastani, M.M., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2008). Reo Connectors as Coordination Artifacts in 2APL Systems. In T.D. Bui, T.V. Ho & Q.T. Ha (Eds.), Proc. PRIMA 2008 Vol. 5357. Lecture Notes in Artificial Intelligence (pp. 42-53). Berlin/Heidleberg, Duitsland: Springer.
|
Harbers, M., Bosch, K. van den & Meyer, J-J.Ch. (2008). Self-Explaining Agents in Virtual Training. In CEUR Workshop Proc. of 3rd EC-TEL 2008 PROLEARN Doctoral Consortium in Technology Enhanced Learning (pp. 0-6). 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 (Ed.), AISB2008-LSIR. Aberdeen.
|
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 Vol. 161. Frontiers in Artificial Intelligence and Applications (pp. 239-265). IOS Press.
|
Dastani, M.M., Mol, Chr., Tinnemeier, N.A.M. & Meyer, J-J.Ch. (2007). 2APL: A Practical Agent Programming Language. In M.M. Dastani & E.D. de Jong (Eds.), Proc. 19th Belgian-Dutch Conf. on Artificial Intelligence (BNAIC 2007) (pp. 427-428). Utrecht.
|
Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Characterization of Sapient Agents. In Toward Artificial Sapience: Principles and Methods for Wise Systems. Springer.
|
Vecht, B. van der, 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).
|
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).
|
Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2007). A Grounded Specification Language for Agent Programs. In M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo (Eds.), Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS’07) (pp. 578-585). Honolulu, Hawaii.
|
Alechina, N., Dastani, M.M., Logan, B. & Meyer, J-J.Ch. (2007). A Logic of Agent Programs. In R.C. Holte & A.E Howe (Eds.), Proc. AAAI-07 (pp. 795-800). Vancouver, Canada: AAAI Press.
|
Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Logic of Agent Programs. In Proceedings of the Twenty-Second National Conference on Artificial Intelligence ({AAAI} 2007). AAAI Press.
|
Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). A Logic of Emotions for Intelligent Agents. In R.C. Holte & A.E. Howe (Eds.), Proc. AAAI-07 (pp. 142-147). Vancouver, Canada: AAAI Press.
|
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), 109-110.
|
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 Vol. 4371. Lecture Notes in Artificial Intelligence (pp. 151-170). 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).
|
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), 1-21.
|
Dastani, M.M. & Meyer, J-J.Ch. (2007). A Practical Agent Programming Language. In M.M. Dastani, A. El Fallah Seghrouchni, A. Ricci & M. Winikoff (Eds.), Pre-Proc. AAMAS07 Workshop on Programming Multi-Agent Systems (ProMAS2007) (pp. 72-87). Honolulu, Hawaii.
|
Dastani, M.M. & Meyer, J-J.Ch. (2007). A Practical Agent Programming Language. In Proceedings of the fifth International Workshop on Programming Multi-agent Systems (ProMAS'07).
|
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), 341-362.
|
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. In Proceedings of the sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07) (pp. 1258-1260). Hawai'i, U.S..
|
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 Vol. 4314. Lecture Notes in Artificial Intelligence (pp. 404-418). Berlin: Springer.
|
Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2007). Agent Programming with Declarative Goals. Journal of Applied Logic, 5, 277-302.
|
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). 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).
|
Aldewereld, H.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). Designing Protocols for Agent Institutions (abstract). 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. 138-140). Honolulu, Hawaii.
|
Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Emotions as Heurisics for Rational Agents. (UU-CS2007-006 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
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). Honolulu, Hawaii.
|
Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2007). Goal Selection Strategies for Rational Agents. In M.M. Dastani & E.D. de Jong (Eds.), Proc. 19th Belgian-Dutch Conf. on Artificial Intelligence (BNAIC 2007) (pp. 401-402). Utrecht.
|
Tinnemeier, N.A.M., Dastani, M.M. & Meyer, J-J.Ch. (2007). Goal Selection Strategies for Rational Agents. In M.M. Dastani, A. EL Fallah Seghrouchni, J. Leite & P. Torrini (Eds.), Proc. LADS@MALLOW2007 (Languages, Methodologies and Development Tools for Multi-Agent Systems (pp. 160-175). Durham, UK.
|
Vecht, B. van der, 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). Springer.
|
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). Elsevier.
|
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 Vol. 161. Frontiers in Artificial Intelligence and Applications (pp. 239-265). 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). Dagstuhl.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2007). Ontology Negotiation in Heterogeneous Multi-agent Systems: the ANEMONE System. Applied Ontology, 2(3-4), 267-303.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2007). Ontology Negotiation: Goals, Requirements and Implementation. International Journal of Agent-oriented Software Engineering, 1(1), 63-90.
|
Meyer, J-J.Ch. (2007). Our Quest fot the Holy Grail of Agent Verification. In N. Olivetti (Ed.), Proc.TABLEAUX 2007 (pp. 2-9). Berlin Heidelberg: Springer.
|
Dastani, M.M., Hobo, D. & Meyer, J-J.Ch. (2007). Practical Extensions in Agent Programming Languages. In M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo (Eds.), Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS'07) (pp. 918-920). Honolulu, Hawaii.
|
Jonker, G.M., Hesselink, H., Dignum, F.P.M. & Meyer, J-J.Ch. (2007). Preventing Selfish Behaviour in Distributed Tactical Airport Planning. In Proceedings of the seventh USA/Europe ATM R&D Seminar. Barcelona, Spain.
|
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). Berlin Heidelberg: Springer Verlag.
|
Bentahar, J., Meyer, J-J.Ch. & Moulin, B. (2007). Securing Agent-Oriented Systems: An Argumentation and Reputation-Based Approach. In Fourth International Conference on Information Technology: New Generations (ITNG 2007) (pp. 507-515). Las Vegas: IEEE Computer Society.
|
Meyer, J-J.Ch. (2007). The Quest fot the Holy Grail of Agent Verification. In T. Ågotnes, N. Alechina & B. Logan (Eds.), Proc. Workshop on Logics for Resource-Bounded Agents (LRBA@MALLOW2007) (pp. 7-7). Durham, UK.
|
Vergunst, N.L., Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Towards Programming Multimodal Dialogues. In M.M. Dastani & E.D. de Jong (Eds.), Proc. 19th Belgian-Dutch Conf. on Artificial Intelligence (BNAIC 2007) (pp. 407-408). Utrecht.
|
Vergunst, N.L., Steunebrink, B.R., Dastani, M.M. & Meyer, J-J.Ch. (2007). Towards Programming Multimodal Dialogues. In Proceedings of the Workshop on Communication between Human and Artificial Agents (CHAA'07) (pp. 342-345). Fremont, California, USA: IEEE Computer Society Press.
|
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) Vol. 4676. Lecture Notes in Artificial Intelligence (pp. 5-26). Berlin Heidelberg: Springer.
|
Doherty, P. & Meyer, J-J.Ch. (2007). Towards a Delegation Framework for Aerial Robotic Mission Scenarios. In E.B. Johnsen, O. Owe & G. Schneider (Eds.), Proc. 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07) (pp. 125-125). Oslo: Oslo University.
|
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.
|
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).
|
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 Vol. 3859. Lecture Notes in Artificial Intelligence (pp. 227-242). Berlin/Heidelberg: Springer.
|
Reinhardt, D., Levi, P. & Meyer, J-J.Ch. (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.), KI2006, Bremen.
|
Riemsdijk, M.B. van & Meyer, J-J.Ch. (2006). A Compositional Semantics of Plan Revision in Intelligent Agents. In M. Johnson & V. Vene (Eds.), Algebraic Methodology And Software Technology: 11th International Conference Vol. 4019. Lecture Notes in Computer Science (pp. 353-367). Berlin/ Heidelberg: Springer.
|
Beun, R.J., Eijk, R.M. van, Meyer, J-J.Ch. & Vergunst, N.L. (2006). A Computational Approach to the Interpretation of Indirect Speech Acts. In V.P. Guerrero-Bote (Ed.), International Conference on Multidisciplinary Information Sciences and Technologies (pp. 311-315). Mérida: Open Institute of Knowledge.
|
Vergunst, N.L., Beun, R.J., Eijk, R.M. van & Meyer, J-J.Ch. (2006, October 25). A Computational Approach to the Interpretation of Indirect Speech Acts. Merida, Spanje, I International Conference on Multidisciplinary Information Sciences and Technologies.
|
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).
|
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), Vol. 4371. Lecture Notes in Artificial Intelligence (pp. 151-170). Berlin: Springer.
|
Bentahar, J., Moulin, B. & Meyer, J-J.Ch. (2006). A New Model Checking Approach for Verifying Agent Communication Protocols. In Proc. of the IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006), (pp. 96-100).
|
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).
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & 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).
|
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.
|
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), 613-643.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2006). Combining Normal Communication with Ontology Allignment,. In F. Dignum, R.M. van Eijk & R. Flores (Eds.), Agent Communication II Vol. 3859. Lecture Notes in Artificial Intelligence (pp. 181-195). 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 Vol. 3900. Lecture Notes in Artificial Intelligence (pp. 284-302). Springer-Verlag.
|
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 Vol. 4048. Lecture Notes in Artificial Intelligence (pp. 115-130).
|
Goble, J. & Meyer, J-J.Ch. (2006). Deontic Logic and Artificial Normative Systems. In (Proc. DEON 2006) Vol. 4048. Lecture Notes in Artificial Intelligence. Berlin/ Heidelberg: Springer.
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2006). Dynamic Logic for Plan Revision in Agent Programming. Journal of logic and computation, 16(3), 375-402.
|
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).
|
Starmans, R.J.C.M. & Meyer, J-J.Ch. (2006). Funding research in Computer Science. BNVKI newsletter, 23(5), 97-102.
|
Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2006). Goal Types in Agent Programming. In G. Brewka, S. Coradeschi, A. Perini & P. Traverso (Eds.), Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (pp. 220-224). Amsterdam: IOS Press.
|
Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2006). Goal Types in Agent Programming: Extended Abstract. In P. Stone & G. Weiss (Eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06) (pp. 1285-1287). ACM Press.
|
Riemsdijk, M.B. van, Dastani, M.M., Meyer, J-J.Ch. & Boer, F.S. de (2006). Goal-Oriented Modularity in Agent Programming. In P. Stone & G. Weiss (Eds.), Proceedings of the fifth international joint conference on autonomous agents and multiagent systems (AAMAS'06) (pp. 1271-1278). Hakodate.
|
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.
|
Vecht, B. van der, 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). Trento, Italy.
|
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). 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). Amsterdam: IOS Press.
|
Riemsdijk, M.B. van, Boer, F.S. de, Dastani, M.M. & Meyer, J-J.Ch. (2006). Prototyping 3APL in the Maude Term Rewriting Language. In Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA'06).
|
Riemsdijk, M.B. van, Boer, F.S. de, Dastani, M.M. & Meyer, J-J.Ch. (2006). Prototyping 3APL in the Maude Term Rewriting Language, Revised Selected and Invited Papers. In K. Inoue, K. Satoh & F. Toni (Eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop (LNAI, 4371) (pp. 95-114). Berlin: Springer.
|
Meyer, J-J.Ch. (2006). Reasoning about Emotional Agents. International journal of intelligent systems, 21(6), 601-619.
|
Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2006). Semantics of Plan Revision in Intelligent Agents. Theoretical Computer Science, 351, 240-257.
|
Hustadt, U., Dixon, C., Schmidt, R.A., Fischer, M., Meyer, J-J.Ch. & Hoek, W. van der (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 (NASA Monographs in Systems and Software Engineering Series) (pp. 193-225). 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). Berlin: Springer-Verlag.
|
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 (LNCS/ LNAI, 3913) (pp. 231-245). Berlin/ Heidelberg: Springer.
|
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 Vol. 3346. Lecture Notes in Artificial Intelligence (pp. 199-223). Berlin/Heidelberg: Springer.
|
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 Vol. 3366. Lecture Notes in Computer Science (pp. 44-63). Berlin/Heidelberg: Springer.
|
Dastani, M.M., Riemsdijk, M.B. van, Hulstijn, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Enacting and Deacting Roles in Agent Programming. In J Odell, P Giordini & J.P Müller (Eds.), Revised Selected Papers Vol. 3382. Lecture Notes in Computer Science (pp. 189-204). Berlin/Heidelberg: Springer.
|
Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2005). A Characterization of Sapient Agents. In R.V. Mayorga & L.I. Perlovsky (Eds.), Proceedings 2005 IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS'05).
|
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 (LNAI, 3487) (pp. 178-195). Berlin/Heidelberg: Springer.
|
Lebbink, H.J., Witteman, C. & Meyer, J-J.Ch. (2005). A Dialogue Game for Belief Revision in Multi-Agent Systems. In Fourth International Workshop on Agent Communication (AC'05). Netherlands, Utrecht: Information & Computing Sciences, Utrecht University.
|
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). Berlin: Springer-Verlag.
|
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) (LNCS/LNAI, 3366) (pp. 44-63). Berlin/Heidelberg: Springer.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & 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).
|
Meyer, J-J.Ch. Agent Technology: From Practical Reasoning to Agent Programming. Eindhoven, "Norms, Knowledge and Reasoning in Technology" 3-4 June 2005.
|
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.
|
Meyer, J-J.Ch. Agent Technology: From Practical Reasoning to Agent Programming. Istanbul, International Symposium on Innovations in Intelligent Systems and Applications (INISTA) 2005.
|
Dignum, M.V., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations. The knowledge engineering review, 19(2), 147-174.
|
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). Utrecht.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & 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). Utrecht.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & 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.
|
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.
|
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). Springer.
|
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). London.
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2005). Dynamic logic for plan revision in intelligent agents. (UU-CS2005-013 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2005). Dynamic logic for plan revision in intelligent agents. In Joao.A. Leite & Paolo Torroni (Eds.), Proceedings of the fifth international workshop on computational logic in multi-agent systems (CLIMA'04) (pp. 196-211). Berlin: Springer-Verlag.
|
Riemsdijk, M.B. van, Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Dynamics of Declarative Goals in Agent Programming. In J. Leite, A. Omicini, P. Torroni & P. Yolum (Eds.), Declarative Agent Languages and Technologies II: Second International Workshop (LNAI, 3476) (pp. 1-18). Berlin/Heidelberg: Springer-Verlag.
|
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). Brussel: KVAB.
|
Dastani, M.M., Riemsdijk, M.B. van, Hulstijn, J. & Meyer, J-J.Ch. (2005). Enacting and Deacting Roles in Agent Programming. In J. Odell, P. Giorgini & J. P. Müller (Eds.), Agent-Oriented Software Engineering V (LNCS, 3382) (pp. 189-204). Berlin/Heidelberg: Springer.
|
Meyer, J-J.Ch. (2005). Logic in AI. In Artificial Intelligence : Definition, Trends, Techniques and Cases (Encyclopedia of Life Support Systems (EOLSS). 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) (LNAI, 3228) (pp. 30-40). Berlin: Springer-Verlag.
|
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). Berlin: Springer-Verlag.
|
Grossi, D., Meyer, J-J.Ch. & Dignum, F.P.M. (2005). Modal Logic Investigations in the Semantics of Counts-as. In Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL'05) (pp. 1-9). ACM.
|
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). ACM.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & 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 Vol. 3396. Lecture Notes in Artificial Intelligence (pp. 76-90). Berlin: Springer Verlag.
|
Boer, F.S. de, Vries, W. de, Meyer, J-J.Ch., Eijk, R.M. van & Hoek, W. van der (2005). Process Algebra and Constraint Programming for Modelling Interactions in MAS. Applicable algebra in engineering, communication and computing, 16, 113-150.
|
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). Berlin/Heidelberg: Springer.
|
Meyer, J-J.Ch. Programming Cognitive Agents. Koblenz, Multiagent System Technologies.
|
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). Utrecht.
|
Dastani, M.M., Riemsdijk, M.B. van & Meyer, J-J.Ch. (2005). Programming Multi-Agents Systems in 3APL. In R. H. Bordini, M. Dastani, J. Dix & A El Fallah Seghrouchni (Eds.), Multi-Agent Programming (Languages, Platforms and Applications) (pp. 39-67). New York: Springer Science.
|
Aldewereld, H.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2005). Proving Norm Compliancy of Protocols in Electronic Institutions. (UU-CS2005-10 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Aldewereld, H.M., Hoek, W. van der & Meyer, J-J.Ch. (2004). Rational Teams: Logical Aspects of Multi-Agent Systems. Fundamenta Informaticae, 63(2,3), 159-183.
|
Meyer, J-J.Ch. (2005). Research on Agent-Based Systems at the IS Group of. BNVKI newsletter, 22(4), 72-73.
|
Riemsdijk, M.B. van, Dastani, M.M. & Meyer, J-J.Ch. (2005). Semantics of Declarative Goals in Agent Programming. In F. Dignum, V. DIgnum, S. Koenig, S. Kraus, M.P. Singh & M. Wooldridge (Eds.), Proceedings Autonomous Agents & Multi Agent Systems (AAMAS'05) (pp. 133-140).
|
Riemsdijk, M.B. van, Dastani, M.M. & Meyer, J-J.Ch. (2005). Subgoal Semanics in Agent Programming. In Proceedings of the 12th Portuguese Conference on Artificial Intelligence (pp. 548-559). Berlin: Springer-Verlag.
|
Meyer, J-J.Ch. (2005, September 5). The Modal Logic of Agency. Moscow, International Conference on Computer Science Applications of Modal Logic.
|
Hommersom, A., Meyer, J-J.Ch. & Vink, E.P. de (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 Vol. 126. Electronic Notes in Theoretical Computer Science (pp. 53-75). Elsevier.
|
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). Utrecht.
|
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).
|
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). 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). 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). 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). New York: ACM.
|
Dastani, M.M., Riemsdijk, M.B. van, Dignum, F.P.M. & Meyer, J-J.Ch. (2004). A Programming Language for Cognitive Agents: Goal-Directed 3APL. In M. Dastani, J. Dix & A. El Fallah-Seghrouchni (Eds.), Programming Multi-Agent Systems (Proc. ProMAS 2003) (LNAI, 3067) (pp. 111-130). Berlin: Springer-Verlag.
|
Hommersom, A., Meyer, J-J.Ch. & Vink, E.P. de (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). 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). Berlin: Springer-Verlag.
|
Dignum, M.V., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations. (UU-CS2004-019 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Autonomy and Agent Deliberation. In N. Nickels, M. Rovatsos & G. Weiss (Eds.), Agents and Computational Autonomy: Potential, Risks, and Solutions (LNCS, 2969) (pp. 114-127). Heidelberg: Springer-Verlag.
|
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). Berlin: Springer-Verlag.
|
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).
|
Boer, F.S. de, Pierik, C., Meyer, J-J.Ch. & Eijk, R.M. van (2004). Coordinating Agents in OO. In M. Ryan, J.-J.Ch. Meyer & H.-D. Ehrich (Eds.), Objects, Agents and Features (pp. 8-25). Berlin: Springer.
|
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). Berlin: Springer-Verlag.
|
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).
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2004). Dynamic Logic for Plan Revision in Intelligent Agents. In J. Leite & P. Torroni (Eds.), Pre-Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems). (pp. 196-211).
|
Riemsdijk, M.B. van, Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Dynamics of Declarative Goals in Agent Programming. In J. Leite, A. Omicini, P. Torroni & P. Yolum (Eds.), Proceedings of the second international workshop on Declarative agent languages and technologies (DALT'04). (pp. 17-32). New York: AAMAS-2004.
|
Riemsdijk, M.B. van, Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Dynamics of Declarative Goals in Agent Programming (abstract). In R. Verbrugge, N. Taatgen & L. Schomaker (Eds.), Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004). (pp. 341-342). Groningen: University of Groningen.
|
Meyer, J-J.Ch. (06-04-2004). Eén grote onderzoekschool informatica geen oplossing. Automatisering Gids, pp. 15.
|
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). Berlin: Springer-Verlag.
|
Meyer, J-J.Ch. (12-01-2004). Intelligent Agents: een moderne vorm van AI. De Connectie (promonummer), pp. 14-16.
|
Dastani, M.M., Hulstijn, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Issues in Multiagent System Development (abstract). In N.R. Jennings, C. Sierra, L. Sonenberg & M. Tambe (Eds.), Proc. 3rd Int. Joint Conf. On Autonomous Agents & Multi Agent Systems (AAMAS 2004) (pp. 922-929). New York: ACM.
|
Dastani, M.M., Hulstijn, J., Dignum, F.P.M. & Meyer, J-J.Ch. (2004). Issues in Multiagent System Development (abstract). In R. Verbrugge, N. Taatgen & L. Schomaker (Eds.), Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004) (pp. 353-354). Groningen: University of Groningen.
|
Dignum, F.P.M., Broersen, J.M., Dignum, M.V. & Meyer, J-J.Ch. (2005). 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). Berlin/Heidelberg: Springer.
|
Ryan, M., Meyer, J-J.Ch. & Ehrich, H.-D. (Eds.). (2004). Objects, Agents, and Features (LNCS, 2975). Berlin: Springer.
|
Ryan, M., Meyer, J-J.Ch. & Ehrich, H.-D. (Eds.). (2004). Objects, Agents, and Features (LNCS, 2975). Berlin: Springer-Verlag.
|
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). Berlin: Springer-Verlag.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & 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). Berlin: Springer-Verlag.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2004). Optimal communication vocubularies in the presence of heterogeneous ontologies. (UU-CS2004-003 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
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). 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). Groningen: Universiteit van Groningen.
|
Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2004). Semantics of Plan Revision in Intelligent Agents. (UU-CS2004-002 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2004). Semantics of Plan Revision in Intelligent Agents. In C. Rattray, S. Maharaj & C. Shankland (Eds.), Algebraic Methodology and Software Technology (Proc. AMAST 2004) (pp. 426-442). Berlin: Springer-Verlag.
|
Hommersom, A., Meyer, J-J.Ch. & Vink, E.P. de (2004). Update Semantics of Security Protocols. Synthese, 142, 229-267.
|
Dastani, M.M., Dignum, F.P.M. & Meyer, J-J.Ch. (04-09-2003). 3APL: A Programming Language for Cognitive Agents. ERCIM News, European Research Consortium for Informatics and Mathematics, Special issue on Cognitive Systems, No. 53
|
Otterlo, M. van, Wiering, M.A., Dastani, M.M. & Meyer, J-J.Ch. (2003). A Characterization of Sapient Agents. In H. Hexmoor (Ed.), Proceedings of the International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS'03): Modeling, Exploration, and Engineering (pp. 172-177). Boston, Massachusetts: IEEE Press, Boston, MA.
|
Lebbink, H.J., Witteman, C.L.M. & Meyer, J-J.Ch. (2003). A Dialogue Game to Agree to Disagree. In First European Workshop on Multi-Agent Systems (EUMAS'03) Electronic Lecture Notes of Theoretical Computer Science. Oxford, UK.
|
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) Electronic Lecture Notes of Theoretical Computer Science (pp. 83-90). Wallerfangen, Germany.
|
Boer, F.S. de, Eijk, R.M. van, Hoek, W. van der & Meyer, J-J.Ch. (2003). A Fully Abstract Model for the Exchange of Information in Multi-Agent Systems. Theoretical Computer Science, 290(3), 1753-1773.
|
Dastani, M.M., Riemsdijk, M.B. van, Dignum, F.P.M. & Meyer, J-J.Ch. (2003). A Programming Language for Cognitive Agents: Goal Directed 3APL. In Mehdi Dastani & Jurgen Dix (Eds.), Proceedings of the First Workshop on Programming Multiagent Systems: Languages, frameworks, techniques, and tools (ProMAS03). Melbourne: Amal El Fallah-Seghrouchni.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2003). A Verification Framework for Agent Communication. Autonomous agents and multi-agent systems, 6(2), 185-219.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2003). A modal characterization of Nash Equilibrium. Fundamenta Informaticae, 57(2-4), 281-321.
|
Meyer, J-J.Ch. (2003, February 17). Agent Technology: from Foundations to Implementation. Dagstuhl, Dagstuhl Seminar on Objects, Agents and Features.
|
Riemsdijk, M.B. van, Hoek, W. van der & Meyer, J-J.Ch. (2003). Agent programming in {Dribble}: from beliefs to goals with plans. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03) (pp. 393-400). Melbourne.
|
Meyer, J-J.Ch. (2003, June 24). Agent-Oriented Programming. Ludwig-Maximilians-Universitaet Muenchen, Informatik-Oberseminar "Methoden und Theorie der Softwareentwicklung".
|
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 Lecture Notes of Theoretical Computer Science, 52.
|
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 Electronic Lecture Notes of Theoretical Computer Science (pp. 427-428).
|
Hoek, W. van der, Meyer, J-J.Ch. & Treur, J. (2003). Formal Semantics of Meta-Level Architectures: Temporal Epistemic. International journal of intelligent systems, 18, 1293-1318.
|
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., Hoek, W. van der & Meyer, J-J.Ch. (2003). Iterated Belief Change in Multi-Agent Systems. Logic journal of the IGPL, 11(2), 223-246.
|
Koch, F.L. & Meyer, J-J.Ch. (2003). Knowledge Based Autonomous Agents for Pervasive Computing using AgentLight. In ACM/IFIP/USENIX International Middleware Conference. Heidelberg: Springer-Verlag.
|
Meyer, J-J.Ch. (2003). Modal Epistemic and Doxastic Logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (2nd edition). Dordrecht/Boston: Kluwer.
|
Lomuscio, A. & Meyer, J-J.Ch. (2003, February 12). Modal Logic and Multi-Agent Specifications. Barcelona, Spain, European Agent Systems Spring School (EASSS'03).
|
Meyer, J-J.Ch. (2003, May 17). Modal Logics for Multi-Agent Systems: Modal Logic & Game Theory. Olsztyn, Polen, 1st Int. Workshop on Knowledge Representation & Approximate Reasoning (KRAR-2003).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2003). Process Algebra for Agent Communication: A General Semantic Approach. In M.P. Huget (Ed.), Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies. Berlijn: Springer-Verlag.
|
Dastani, M.M., Boer, F.S. de, Dignum, F.P.M. & Meyer, J-J.Ch. (2003). Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS'03). Melbourne: ACM Press.
|
Aldewereld, H.M., Hoek, W. van der & 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.
|
Meyer, J-J.Ch. (2003, December 3). Reasoning about Emotional Agents. Utrecht, ISIS Seminar, ICS, UU.
|
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, May 22). Specifying Multi-Agent Systems: From Individual (Mental) Attitudes to Social (Normative) Attitudes. Lille, Frankrijk, Modèles formels de l'interaction (MFI'03).
|
Meyer, J-J.Ch. (2003). Specifying Multi-Agent Systems: From Individual (Mental) Attitudes to Social (Normative) Attitudes, exposé invité / abstract invited lecture. In A. Herzig, B. Chaib-Draa & Ph. Mathieu (Eds.), Proc Modèles formels de l'interaction. Toulouse: Cépaduès-éditions.
|
Meyer, J-J.Ch. (Ed.). (2003). Data and Knowledge Engineering.
|
Meyer, J-J.Ch. (Ed.). (2003). Journal of Applied Non-Classical Logic.
|
Meyer, J-J.Ch. (Ed.). (2003). Journal of Intelligent Agents & Mulit-Agent Systems.
|
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-Verlag.
|
Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & 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). Berlin, Germany: Springer-Verlag.
|
Meyer, J-J.Ch. & Hoek, W. van der (2002, November 25). Agent Programming in Dribble: from beliefs to goals with plans (poster presentation). Dagstuhl, Germany, Seminar "Programming Multi-Agent Systems Based on Logic".
|
Meyer, J-J.Ch. & Hoek, W. van der (2002, October 28). Agent Programming in Dribble: from beliefs to goals with plans (poster presentation). Greenbelt, Maryland, USA, 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS II).
|
Meyer, J-J.Ch. (2002). Agent technology. Vakidioot, 1, 12-15.
|
Meyer, J-J.Ch. (2002, June 24). Agent technology: from philosophy to realisation. Universitaet Oldenburg, Oldenburg, Germany, Institute Colloquium.
|
Meyer, J-J.Ch. & Treur, J. (Eds.). (2002). Agent-Based Defeasible Control in Dynamic Environments. Dordrecht/Boston/London: Kluwer.
|
Koch, F.L. & Meyer, J-J.Ch. (2002). AgentLight: developing logic-based autonomous agents for small devices. In Proceedings of I Workshop of Dissertation Thesis on Artificial Intelligence (WTDIA'2002) (pp. 12-18). 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). 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). Dordrecht/Boston/London: Kluwer.
|
Meyer, J-J.Ch. (2002, October 2). Bouwen aan menselijke robots. TUE, Eindhoven, the Netherlands, Studium generale.
|
Meyer, J-J.Ch. (2002, February 1). Cognitieve Robotica. Utrecht, CKI-Meeloopdag.
|
Meyer, J-J.Ch., Dignum, M.V. & Weigand, H. (2002, October 28). Formal specification of interaction in agent societies. Greenbelt, Maryland, USA, 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS II).
|
Linder, B. van, Hoek, W. van der & 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). Dordrecht/Boston/London: Kluwer.
|
Dastani, M.M., Boer, F.S. de, Dignum, F.P.M., Hoek, W. van der, Kroese, M. & Meyer, J-J.Ch. (2002). Implementing cognitive agents in 3APL. In H. Blockeel & M. Denecker (Eds.), Proceedings of the 14th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC'02) (pp. 515-516). Leuven, Belgium.
|
Meyer, J-J.Ch. (2002, August 12). Intelligent Agents. Plovdiv, Bulgarije, 11th International Coll. on Numerical Analysis and Computer Science with Applications (Plovdiv'02).
|
Meyer, J-J.Ch. & Tambe, M. (Eds.). (2002). Intelligent Agents VIII: Agent Theories, Architectures and Languages (ATAL 2001 revised papers) (LNAI, 2333). Berlin/Heidelberg, Germany: Springer Verlag.
|
Meyer, J-J.Ch. (2002). Intelligent Agents: From Foundations to Implementation. In E.H.L. Aarts (Ed.), Proceedings Nederlandse ICT-Kenniscongres (pp. 95-95).
|
Meyer, J-J.Ch. (2002). Intelligent Agents: Issues and Logics. (pre print nr.031 2002 ). Utrecht: CKI.
|
Meyer, J-J.Ch. (2002). Intelligent agents (abstract). In Proceedings of the 11th Coll. On Numerical Analysis and Computer Science With Applications (Plovdiv 2002) (pp. 40-40). Plovdic, Bulgaria: Tech. University Plovdiv.
|
Meyer, J-J.Ch. (2002, September 5). Intelligent agents: from foundations to implementation. Den Haag, the Netherlands, ICT-Kenniscongres.
|
Meyer, J-J.Ch. (2002, May 31). Intelligent agents: from philosophical ideas to realisation. UvA, Amsterdam, Instituutscolloquium.
|
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). 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). Berlin/Heidelberg, Germany: Springer-Verlag.
|
Meyer, J-J.Ch. (2002, November 25). Introduction to working group Programming Deliberation / Rationality in Agents. Dagstuhl, Germany, Seminar "Programming multi-Agent Systems Based on Logic".
|
Meyer, J-J.Ch., Roorda, J.-W. & Hoek, W. van der (2002, July 15). Iterated Belief Change in Multi-Agent Systems. Bologna, AAMAS'02.
|
Meyer, J-J.Ch., Roorda, J.-W. & Hoek, W. van der (2002, January 21). Iterated Belief Change in Multi-Agents Systems. Dagstuhl, Germany, Seminar on "The Logic of Rational Agency".
|
Roorda, J.-W., Hoek, W. van der & 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). ACM Press.
|
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).
|
Meyer, J-J.Ch. & Lomuscio, A. (2002, July 8). Logical Foundations of Agent-Based Systems. Bologna, EASSS'02 Summerschool.
|
Meyer, J-J.Ch., Hoek, W. van der & Linder, B. van (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). Dordrecht/Boston/London: Kluwer.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2002). On Modal Logic Interpretations of Games. In F. van Harmelen (Ed.), Proceedings of ECAI 2002, 15th European Conference on Artificial Intelligence (pp. 28-32). Amsterdam, Berlin, Oxford, Tokyo, Washington D.C.: IOS Press/OHM 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). Leuven, Belgium.
|
Meyer, J-J.Ch. (2002, October 28). Panel lecture on "Tools & Education towards Formal Methods Practice". Greenbelt, Maryland, USA, 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS II).
|
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). Dordrecht/Boston/London: Kluwer.
|
Meyer, J-J.Ch. & Wooldridge, M.J. (Eds.). (2002). Proceedings of workshop "Logics for Agent-Based Systems (LABS)" at KR-2002. Toulouse, France: University of Toulouse.
|
Dastani, M.M., Boer, F.S. de, Dignum, F.P.M., Hoek, W. van der, Kroese, M. & Meyer, J-J.Ch. (2002). Programming the Deliberation Cycle of Cognitive Robots. In C. Baral & S. McIlraith (Eds.), Proceedings of The Third International Cognitive Robotics Workshop (pp. 22-28). Edmonton, Canada: AAAI Press.
|
Linder, B. van, Hoek, W. van der & 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). 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). Madrid, Spain.
|
Meyer, J-J.Ch. (Ed.). (2002). Data and Knowledge Engineering.
|
Meyer, J-J.Ch. (Ed.). (2002). Journal of Intelligent Agents & Mulit-Agent Systems.
|
Meyer, J-J.Ch. (Ed.). (2002). Journal of Applied Non-Classical Logic.
|
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). Toulouse, France: University of Toulouse.
|
Meyer, J-J.Ch., Dignum, M.V. & Weigand, H. (2002, July 15). Towards an Organisational Model for Agent Societies Using Contracts. Bologna, Italy, AAMAS'02.
|
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). New York, USA: ACM Press.
|
Meyer, J-J.Ch. (2002). [Book review The Logic of Knowledge Bases]. Artificial Intelligence in Medicine, 25, 89-92.
|
Broersen, J., Wieringa, R. & Meyer, J-J.Ch. (2001). A Fixed- Point Characterization of a Deontic Logic of Regular Action. Fundamenta Informaticae, 45, 1-21.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & 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). Berlin, Germany: Springer-Verlag.
|
Vries, W. de, Boer, F.S. de, Hoek, W. van der & 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). Berlin, Germany: Springer.
|
Vries, W. de, Boer, F.S. de, Hoek, W. van der & 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).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001, December 13). A Verification Framework for Agent Communication. St. Catherine's College, Oxford, UK, UKMAS 2001, The Fourth UK Workshop on Multi-Agent Systems.
|
Vries, W. de, Hindriks, K.V., Hoek, W. van der, Meyer, J-J.Ch. & Boer, F.S. de (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).
|
Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & 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). Krakow, Poland.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & 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). Berlin, Germany: Springer-Verlag.
|
Vries, W. de, Hoek, W. van der, Meyer, J-J.Ch. & Boer, F.S. de (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).
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2001). Boolean Games. In J. van Benthem (Ed.), Theoretical Aspects of Rationality and Knowledge: Proceedings of the Eighth Conference (TARK 2001) (pp. 287-298). San Fransisco, U.S.A.: Morgan Kaufmann.
|
Meyer, J-J.Ch. (2001, February 8). Cognitieve Robotica. Utrecht, The Netehrlands, Verslag Symposium Robotics, A-Eskwadraat.
|
Meyer, J-J.Ch. (2001, January 31). Denkende Robots en Intelligente Agenten. Leiden, The Netherlands, Symposium 'De Leidsche Flesch'.
|
Meyer, J-J.Ch. (2001, March 17). Dynamic Logic for Reasoning about Actions and Agents. Uppsala, Sweden, Spring Carnival of Philosophical Logic, Uppsala University.
|
Meyer, J-J.Ch. & Treur, J. (Eds.). (2001). Dynamics and Management of Reasoning Processes (Handbook of Defeasible Reasoning and Uncertainty Management, 6). Dordrecht/Boston/Londom: Kluwer.
|
Meyer, J-J.Ch. (2001). Epistemic Logic. In L. Goble (Ed.), The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides, 4) (pp. 183-202). Oxford, England: Blackwell Publishers.
|
Hoek, W. van der, 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). Dordrecht, The Netherlands: Kluwer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Berlin: Springer-Verlag.
|
Meyer, J-J.Ch. (2001, May 9). Intelligent Agents. Eindhoven, The Netherlands, Colloquium Philips Natlab.
|
Meyer, J-J.Ch. (2001, March 6). Intelligente Agenten en Denkende Robots. Utrecht, The Netherlands, Science of Sciencefiction? Van wetenschappelijke ontdekking naar toepassing, Helix / Bureau Studium Generale.
|
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). Dordrecht/Boston/London: Kluwer.
|
Meyer, J-J.Ch. (2001, November 12). Logic for Agents I: the KARO Framework. Apeldoorn, The Netherlands, Advanced Course on Multi-Agent Systens.
|
Meyer, J-J.Ch. (2001, November 13). Logic for Agents II: Multi-Agent Epistemic Logic. Apeldoorn, The Netherlands, Advanced Course om Multi-Agent Systens.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). Modal Logic with Bounded Quantification over Worlds. Journal of logic and computation, 11(5), 701-715.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). On Dynamically Generated Ontology Translators in Agent Communication. International journal of intelligent systems, 16(5), 587-607.
|
Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer, J-J.Ch. & Hoek, W. van der (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). 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, 591-661.
|
Meyer, J-J.Ch. (2001). Schoonheid en Informatica: Schoonheid in de Ogen van een (Logico-) Informaticus. In A-Eskwadraat Lustrumalmanak 2000-2001 (pp. 101-104). Utrecht, The Netherlands: Universitiet Utrecht.
|
Meyer, J-J.Ch. (Ed.). (2001). Data and Knowledge Engineering.
|
Meyer, J-J.Ch. (Ed.). (2001). Journal of Applied Non-Classical Logic.
|
Meyer, J-J.Ch. (Ed.). (2001). Journal of Intelligent Agents & Mulit-Agent Systems.
|
Hoek, W. van der, 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). Dordrecht, The Netherlands: Kluwer.
|
Linder, B. van, Hoek, W. van der & 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). Dordrecht, The Netherlands: Kluwer.
|
Meyer, J-J.Ch. (2001, November 10). Towards a True Logic of Action. Uppsala, Sweden, Workshop on Action, Uppsala University.
|
Hustadt, U., Dixon, C., Schmidt, R.A., Fischer, M., Meyer, J-J.Ch. & Hoek, W. van der (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). Berlin/Heidelberg, Germany: Springer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Berlin: Springer-Verlag.
|
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). Berlin: Springer.
|
Harrenstein, B.P., Hoek, W. van der, 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). Torino.
|
Meyer, J-J.Ch. (2000). Dynamic Logic for Reasoning about Actions and Agents Chapter 13. In J. Minker (Ed.), Logic-Based Artificial Intelligence (pp. 281-311). Boston/Dordrecht: Kluwer.
|
Boer, F.S. de, Eijk, R.M. van, Hoek, W. van der & Meyer, J-J.Ch. (2000). Failure Semantics for the Exchange of Information in Multi-Agent Systems. In C. Palamidessi (Ed.), Proceedings of the Eleventh International Conference on Concurrency Theory (CONCUR 2000) (pp. 214-228). Heidelberg, Germany: Springer-Verlag.
|
Hoek, W. van der, Meyer, J-J.Ch. & Schagen, J.W. van (2000). Formalizing Potential of Agents: The KARO Framework Revisited. In M. Kaufmann Faller & M. Pauly (Eds.), Formalising the Dynamics of Information (CSLI Lecture, 91) (pp. 51-67). Stanford: CSLI Publications.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000, September 19). GOAL: Goal Oriented Agent Language (invited talk). Londen, Practical Reasoning Workshop, satellite evente at FAPR2000.
|
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). Boston/ Dordrecht: Kluwer Academic 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). Toulouse.
|
Hoek, W. van der, Meyer, J-J.Ch. & Linder, B. van (2000). On Agents that Have the Ability to Choose. Studia logica, 66(1), 79-119.
|
Meyer, J-J.Ch., Boer, F.S. de, Eijk, R.M. van, Hindriks, K.V. & Hoek, W. van der (2000). On Programming KARO Agents. In J. Cunningham & D. Gabbay (Eds.), Proc. Int. Conf. on Formal and Applied Practical Reasoning (FAPR2000). London: Imperial College.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Heidelberg: Springer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). Operational Semantics for Agent Communication Languages. In F. Dignum & M. Greaves (Eds.), Issues in Agent Communication (LNCS, 1916) (pp. 80-95). Berlin, Germany: Springer-Verlag.
|
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). Boston/Dordrecht: Kluwer.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & 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). Berlin: Springer Verlag.
|
Meyer, J-J.Ch. (Ed.). (2000). Data and Knowledge Engineering.
|
Meyer, J-J.Ch. (Ed.). (2000). Journal of Applied Non-Classical Logic.
|
Meyer, J-J.Ch. (Ed.). (2000). Journal of Intelligent Agents & Mulit-Agent Systems.
|
Dixon, C., Fisher, M., Hustadt, U., Meyer, J-J.Ch., Schmidt, R. & Hoek, W. van der (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.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). A Modal Interpretation of Quantification. In Proceedings of Workshop on Methods of Modalities. Amsterdam: ILLC.
|
Hoek, W. van der & 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., Hoek, W. van der & Linder, B. van (1999). A logical Approach to the Dynamics of Commitments,. AI Journal, 113, 1-40.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Agent Programming in 3APL. In Int. J. of Autonomous Agents and Multi-Agent Systems 2(4) (pp. 357-401).
|
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). Berlin, Germany: Springer-Verlag.
|
Hoek, W. van der, Linder, B. van & 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.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). An operational semantics for the single agent core of AGENT0. (UU-CS1999-30 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Krabbendam, J. & Meyer, J-J.Ch. (1999). Contextual Deontic Logics. In P. McNamara & H. Prakken (Eds.), Norms, Logics and Information Systems (pp. 347-362). Amsterdam: IOS Press.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & 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). Berlin: Springer.
|
Meyer, J-J.Ch. (1999). Dynamic Logic for Reasoning about Action and Agents. In J. Minker (Ed.), Pre-prints Workshop on Logic Based Artificial Intelligence (LBAI'99). Washington D.C..
|
Meyer, J-J.Ch. (1999). Epistemic Logic, CKI/Artificial Intelligence Preprint Series.
|
Meyer, J-J.Ch. & Schobbens, P.-Y. (1999). Formal Models of Agents (LNAI 1760). Berlin, Germany: Springer-Verlag.
|
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). Berlin, Germany: Springer-Verlag.
|
Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (1999). Foundations and Applications of Collective Agent-Based Systems (CABS). Utrecht: Utrecht University.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1999). Group Knowledge Isn't Always Distributed (Neither Is It Always Implicit). Mathematical Social Sciences, 38, 215-240.
|
Weerdt, M. de, Boer, F.S. de, Hoek, W. van der & 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).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Berlin: Springer Verlag.
|
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). Arnhem: PBNA.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Maastricht.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Open multi-agent systems: Agent communication and integration. (UU-CS1999-17 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In Proceedings of Second Workshop of UK Special Interest group on Multi-Agent Systems (UKMAS'99). Bristol: Hewlett-Packard Laboratories.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational semantics for agent communication languages. (UU-CS1999-08 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
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). Berlin: Springer Verlag.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Semantics of communicating agents based on deduction and abduction. (UU-CS1999-09 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Harrenstein, B.P., Hoek, W. van der, 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). Amsterdan: ILLC.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A formal embedding of AgentSpeak(L) in 3APL. (UU-CS1998-07 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & 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). Berlin, Germany: Springer-Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A language for modular information-passing agents. CWI Quarterly, 11(2, 3), 273-297.
|
Hoek, W. van der, Linder, B. van & 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). 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). Bologna, Italy: University of Bologna.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Amsterdam, the Netherlands: CWI.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Construction translations between individual vocabularies in multi-agent systems. In F. Giunchiglia (Ed.), Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA'98) (pp. 240-253). Heidelberg, Germany: Springer-Verlag.
|
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). Bologna, Italy: University of Bologna.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Failure, monitoring and recovery in the agent language 3APL. In G. De Giacomo (Ed.), AAAI 1998 Fall Symposium on Cognitive Robotics (pp. 68-75).
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & 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). Berlin, Germany: Springer-Verlag.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formalising abilities and opportunities of agents. (UU-CS1998-08 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34(1,2), 53-101.
|
Gaag, L.C. van der & Meyer, J-J.Ch. (1998). Informational independence: models and normal forms. International journal of intelligent systems, 13, 83-109.
|
Meyer, J-J.Ch. & Hoek, W. van der (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). Dordrecht, the Netherlands: Kluwer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Systems of communicating agents. In H. Prade (Ed.), Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98) (pp. 293-297). John Wiley & Sons.
|
Hoek, W. van der, Meyer, J-J.Ch. & Treur, J. (1998). Temporalizing epistemic default logic. Journal of logic, language and information, 7(3), 341-367.
|
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). Boston/Dordrecht: Kluwer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Translation of vocabularies in systems of communicating agents. In Workshop of UK Special Interest Group on Multi-Agent Systems (UKMAS'98) Working Notes. Manchester, England: Manchester Conference Centre.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Translations of vocabularies in systems of communicating agents. In Second workshop on current constraint programming for time critical applications and multi-agents systems (COTIC'98).
|
Hoek, W. van der & 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). Dordrecht, the Netherlands: Kluwer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Aix-en-provence, France.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & 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). Warwick: University of Warwick.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. (UU-CS1997-16 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1997). An integrated modal approach to rational agents. (UU-CS1997-06 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). Formal Semantics for an Abstract Agent Programming Language. In Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL).
|
Linder, B. van, Meyer, J-J.Ch. & Hoek, W. van der (1997). Formalizing motivational attitudes of agents using the KARO framework. (UU-CS1997-03 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1997). Group knowledge isn't always distributed (neither is it always implicit). (UU-CS1997-14 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Gaag, L.C. van der & Meyer, J-J.Ch. (1997). Informational independence: Models and normal forms. (UU-CS1997-17 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Meyer, J-J.Ch. (1997). Intelligent Agents. Vakidioot, 3, 2-8.
|
Meyer, J-J.Ch. (1997). Logic for Multi-Agent Systems (abstract). The bulletin of symbolic logic, 3(2), 248-249.
|
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). 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). Manchester, England: University of Manchester.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1997). Seeing is Believing (And So Are Hearing and Jumping). Journal of logic, language and information, 6(2), 33-61.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1997). The dynamics of Default Reason. Data and Knowledge Engineering, 21(3), 317-346.
|
Hoek, W. van der & Meyer, J-J.Ch. (1996). A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge. (UU-CS1996-52 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hulst, M. van & Meyer, J-J.Ch. (1996). A Knowledge-Based Compositional Proof System for Parallel Processes. (UU-CS1996-19 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
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). Berlin, Germany: Springer Verlag.
|
Meyer, J-J.Ch. & Hoek, W. van der (1996). A modal contrastive logic: The logic of 'but'. Annals of Mathematics and Artificial Intelligence, 17(3,4), 291-313.
|
Huibers, T.W.C., Linder, B. van & 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). 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, 77-111.
|
Gaag, L.C. van der & Meyer, J-J.Ch. (1996). Characterising normal forms for informational independence. In Proceedings of the Sixth International Conference On Information Pocessing and management of Uncertainty in Knowledge-Based Systems (pp. 973-978).
|
Gaag, L.C. van der & Meyer, J-J.Ch. (1996). Characterizing normal forms for informational independence. (UU-CS1996-21 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Linder, B. van, Hoek, W. van der & 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). Berlin, Germany: Springer.
|
Dignum, F.P.M., Meyer, J-J.Ch. & Wieringa, R. (1996). Free choice permitted actions. Studia logica, 57(1), 193-220.
|
Hoek, W. van der, Linder, B. van & 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). Utrecht: Utrecht University.
|
Meyer, J-J.Ch. (1996). Logic for multi-agent systems (abstract invited tutorial). In J. Larrazabal (Ed.), Proceedings Logic Colloquium '96 (European Summer Meeting of the Association for Symbolic Logic) (pp. 79-83). San Sebastian, Spain: Donostia.
|
Hoek, W. van der & Meyer, J-J.Ch. (1996). Modalities for Reasoning about Knowledge and Uncertainties. In P. Doherty (Ed.), Partiality, Modality and Nonmonotonicity (pp. 77-110). Californie, U.S.A.: CSLI, Stanford.
|
Meyer, J-J.Ch. & Leeuwen, J.C. van (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). Berlin, Germany: Springer Verlag.
|
Meyer, J-J.Ch. (1996). Preferential Action Semantics (Preliminary Report). (UU-CS1996-32 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Meyer, J-J.Ch. & Gaag, L.C. van der (1996). Proceedings of the 8th Dutch Conference on Artificial Intelligence. Utrecht, the Netherlands: Utrecht University.
|
Meyer, J-J.Ch., Wieringa, R.J. & Dignum, F.P.M. (1996). The Role of Deontic Logic in the Specification of Information Languages. (UU-CS1996-55 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Gaag, L.C. van der & 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). Utrecht, the Netherlands: Utrecht University.
|
Gaag, L.C. van der & Meyer, J-J.Ch. (1996). The dynamics of probabilistic structural relevance. (UU-CS1996-47 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Meyer, J-J.Ch. & Hoek, W. van der (1995). A Modal Contrastive Logic: The Logic of `But' (revised version of UU-CS-1994-07). (UU-CS1995-18 ). Utrecht: Utrecht University.
|
d'Altan, P. & Meyer, J-J.Ch. (1995). An Integrated framework for ought-to-be and ought-to-do constraints. (UU-CS1995-30 ). Utrecht: Utrecht University.
|
Meyer, J-J.Ch. & Hoek, W. van der (1995). Modal Logics for Representing Incoherent Knowledge. (UU-CS1995-19 ). Utrecht: Utrecht University.
|
Meyer, J-J.Ch. (1995). Possible World Semantics for Analogous Reasoning. (UU-CS1995-38 ). Utrecht: Utrecht University.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1995). Seeing is believing - And so are hearing and jumping. (UU-CS1995-08 ). Utrecht: Utrecht University.
|
Meyer, J-J.Ch. & Hoek, W. van der (1994). A Modal Contrastive Logic: The Logic of `But`. (UU-CS1994-07 ). Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting. (UU-CS1994-53 ). Utrecht.
|
Hoek, W. van der & Meyer, J-J.Ch. (1994). Temporalizing Epistemic Default Logic. (UU-CS1994-54 ). Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). Tests as epistemic updates - pursuit of knowledge. (UU-CS1994-08 ). Utrecht.
|
Meyer, J-J.Ch. & Dignum, F.P.M. (1994). The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective (Or: Should computer scientists be bothered by the concerns of philosophers?). (UU-CS1994-38 ). Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). The dynamics of default reasoning. (UU-CS1994-48 ). Utrecht.
|
Meyer, J-J.Ch. & Hoek, W. van der (1993). Graded Modal and Epistemic Logic. (RUU-CS93-44 ). Utrecht.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1993). Unravelling nondeterminism: On having the ability to choose. (RUU-CS93-30 ). Utrecht.
|
webmaster@cs.uu.nl,
Sat, 25 May 2013 23:46:15 +0200
←
Departement Informatica, Universiteit Utrecht