Publications
Articles in conference proceedings
J. Top, R. Verbrugge & S. Ghosh,
Automatically translating logical strategy formulas into cognitive models.
In: J. Houpt, I. Juvina, and C. Myers (eds.), Proceedings of the 16th International Conference on Cognitive Modelling (ICCM 2018), pp. 182-187.
Download pdfR. Verbrugge,
Zero-one laws with respect to models of provability logic and two Grzegorczyk logics.
In: G. D’Agostino and G. Bezhanishvilii (eds.), Advances in Modal Logic 2018: Accepted Short Papers, pp. 115-120.
Download pdfM. de Vos, B. Kooi and R. Verbrugge,
Provability logic meets the knower paradox.
In: G. D’Agostino and G. Bezhanishvilii (eds.), Advances in Modal Logic 2018: Accepted Short Papers, pp. 31-35.
Download pdfK. Veltman, H. de Weerd and R. Verbrugge,
Socially smart software agents entice people to use higher-order theory of mind in the Mod game.
In: B. Verheij and M. Wiering (eds.), Proceedings BNAIC 2017, pp. 253-267.
Download pdfS. Ghosh, A. Heifetz, R. Verbrugge and H. de Weerd,
What drives people's choices in turn-taking games, if not game-theoretic rationality?
In: J. Lang (ed.) Proceedings 16th Conference TARK, 2017, arXiv preprint arXiv:1707.08749.
linkH. de Weerd, D. Diepgrond and R. Verbrugge,
Estimating the use of higher-order theory of mind using computational agents.
In: A. Perea, G. Bonanno and W. van der Hoek, Proceedings 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016). Download pdfGhosh, S., Halder, T., Sharma, K., & Verbrugge, R.
Human strategic reasoning in dynamic games: Experiments, logics, cognitive models.
In: Logic, Rationality, and Interaction. Springer, Berlin & Heidelberg, 2015. Download pdfT. Halder, K. Sharma, S. Ghosh, and R. Verbrugge,
How do adults reason about their opponent? Typologies of players in a turn-taking game.
In: D. Noelle, R. Dale, A. Warlaumont, J. Yoshimi, T. Matlock, C. Jennings, and P. Maglio (eds.), Proceedings of the 37th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Pasadena, CA, 2015, pp. 854-859. Download pdfS. Ghosh, A. Heifetz and R. Verbrugge,
Do players reason by forward induction in dynamic perfect information games?
In: R. Ramanujam (ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XV), Pittsburgh, PA, 2015, pp. 121-130.
Postproceedings version in: R. Ramanujam (ed.), Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge. arXiv preprint arXiv:1606.07295, 2016, pp. 159–175.
Download pdfH. de Weerd, E. Broers and R. Verbrugge,
Savvy software agents can encourage the use of second-order theory of mind by negotiators.
In: D. Noelle, R. Dale, A. Warlaumont, J. Yoshimi, T. Matlock, C. Jennings, and P. Maglio (eds.), Proceedings of the 37th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Pasadena, CA, 2015, pp. 542-547. Download pdfB. Arslan, R. Verbrugge, N. Taatgen and B. Hollebrandse,
Teaching children to attribute second-order false beliefs: A training study with feedback.
In: D. Noelle, R. Dale, A. Warlaumont, J. Yoshimi, T. Matlock, C. Jennings, and P. Maglio (eds.), Proceedings of the 37th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Pasadena, CA, 2015, pp. 108-113. Download pdfB. Arslan, S. Wierda, N.A. Taatgen and R. Verbrugge,
The role of simple and complex working memory strategies in the development of first-order false belief reasoning: A computational model of transfer of skills.
In: N.A. Taatgen, M. van der Vugt, J.P Borst and K. Mehlhorn, (eds.), Proceedings of the 13th International Conference on Cognitive Modeling, 2015, pp. 100-105.
Honorable mention for the Allen Newell Award at ICCM 2015
Download pdf
B. Dunin-Kęplicz, A. Szałas and R. Verbrugge,
Tractable reasoning about group beliefs.
In: F. Dalpaiz, J. Dix and B. van Riemsdijk (eds.), Engineering Multi-Agent Systems: Second International Workshop, EMAS 2014, Paris, May 2014, Revised Selected Papers, Lecture Notes in Computer Science, vol. 8758, Springer, Berlin, pp. 328-350. Download pdfG. Bergwerff, B. Meijering, J. Szymanik, R. Verbrugge, and S. M. Wierda,
Computational and algorithmic models of strategies in turn-based games.
In: P. Bello, M. McShane, M. Guarini, B. Scassellati (eds.), Proceedings of the 36th Annual Conference of the Cognitive Science Society, Quebec City: Cognitive Science Society, 2014, pp. 1778-1783. Download pdfB. Arslan, R. Verbrugge, B. Hollebrandse and N.A. Taatgen,
Teaching children to attribute second-order false belief: A training study (extended abstract).
In: J. Szymanik and R. Verbrugge (eds.), Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings, vol. 1208, 2014, pp. 1-5. Download pdfN. Bulling, S. Ghosh and R. Verbrugge,
Reaching your goals without spilling the beans: Boolean secrecy games.
In: G. Boella et al. (eds.), PRIMA 2013: Principles and Practice of Multi-Agent Systems, LNCS vol. 8291, Springer, Berlin, 2013, pp. 37-53. Download pdf
Winner of the Best Paper Prize of PRIMA 2013.B. Dunin-Kęplicz, A. Strachocka, A. Szałas and R. Verbrugge,
Perceiving speech acts under incomplete and inconsistent information.
In: D. Barbucha et al. (eds.), Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013). Frontiers of Artificial Intelligence and Applications, volume 252, IOS Press, Amsterdam, 2013, pp. 255-264.R. Verbrugge,
Logic in the lab.
In: B. C. Schipper (ed.), TARK 2013 - Theoretical Aspects of Rationality and Knowledge: Proceedings of the 14th Conference. Chennai, 2013, abstract of keynote lecture, pp. 4-6. (Also published via link)J. Szymanik, B. Meijering and R. Verbrugge,
Using intrinsic complexity of turn-taking games to predict participants’ reaction times.
In: M. Knauff et al. (eds.), Proceedings of the 35th Annual Conference of the Cognitive Science Society, 2013, pp. 1426-1431. Download pdfB. Meijering, H. van Rijn, N.A. Taatgen and R. Verbrugge,
Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind.
In: M. Knauff et al. (eds.), Proceedings of the 35th Annual Conference of the Cognitive Science Society, 2013, pp. 3026-3031. Download pdfH. de Weerd, R. Verbrugge and B. Verheij,
Higher-order theory of mind in negotiations under incomplete information.
In: G. Boella et al. (eds.), PRIMA 2013: Principles and Practice of Multi-Agent Systems, LNCS vol. 8291, Springer, Berlin, 2013, pp. 101-116. Download pdfH. de Weerd, R. Verbrugge and B. Verheij,
Agent-based models for higher-order theory of mind.
In: B. Kamiński and G. Koloch (eds.), Advances in Social Simulation: Proceedings of the 9th Conference of the European Social Simulation Association, Advances in Intelligent Systems and Computing, vol. 229, Springer Verlag, Berlin, 2013, pp. 213-224. Download pdf
B. Arslan, N. A. Taatgen and R. Verbrugge,
Modeling developmental transitions in reasoning about false beliefs of others.
In: R. West & T. Stewart (eds.), Proceedings of the 12th International Conference on Cognitive Modelling. Ottawa: Carleton University, 2013, pp. 77-82. Download pdfB. Meijering, N.A. Taatgen, H. van Rijn and R. Verbrugge,
Reasoning about mental states in sequential games: As simple as possible, as complex as necessary.
In: R. West & T. Stewart (eds.), Proceedings of the 12th International Conference on Cognitive Modelling. Ottawa: Carleton University, 2013, pp. 173-178. Download pdfT. H. Kyaw, S. Ghosh and R. Verbrugge,
Multi-player multi-issue negotiation with mediator using CP-nets.
In: J. Filipe and A.L.N. Fred (eds.), ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 1. SciTePress, 2013, pp. 99-108. Download pdfB. Dunin-Kęplicz, A. Strachocka, A. Szałas and R. Verbrugge,
A paraconsistent approach to speech acts.
In: P. McBurney, S. Parsons, and I. Rahwan (eds.), Proceedings Workshop on Argumentation in Multi-Agent Systems, IFAAMAS, Valencia, 2012, pp. 59-78. Download pdfB. Arslan, A. Hohenberger and R. Verbrugge,
The development of second-order social cognition and its relation with complex language understanding and working memory.
In: N. Miyake, D. Peebles and R.P. Cooper (eds.), Proceedings of the 34th Annual Conference of the Cognitive Science Society, Austin, TX: Cognitive Science Society, 2012, pp. 1290-1295. Download pdfH. de Weerd, R. Verbrugge and B. Verheij,
Higher-order social cognition in rock-paper-scissors: A simulation study.
In: G. Bonanno, H. van Ditmarsch and W. van der Hoek (eds.), Proceedings 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), University of Sevilla, 2012, pp. 218-232. Download pdfS. Ghosh, T.H. Kyaw and R. Verbrugge,
Decision support for extensive form negotiation games.
In: V. Goranko and W. Jamroga (eds.), Proceedings Workshop Logical Approaches to Multi-Agent Systems, 2012, IFAAMAS, Valencia, pp. 22-33.
Also in: L. Chen and A. Felfernig (eds.), Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems, 4-7 December 2012, Macau. Download pdfB. Meijering, H. van Rijn, N.A. Taatgen, and R. Verbrugge,
I do know what you think I think: Second-order theory of mind in strategic games is not that difficult.
In: L. Carlson, C. Hölscher, and T. Shipley (eds.), Proceedings of the 33rd Annual Conference of the Cognitive Science Society, Cognitive Science Society, Austin, TX, 2011, pp. 2486-2491. Download pdfB. Dunin-Kęplicz, A. Strachocka and R. Verbrugge,
Deliberation dialogues during multi-agent planning.
In: M. Kryszkiewicz, H. Rybinski, A. Skowron and Z. Ras (eds.),
Proceedings Foundations of Intelligent Systems: 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011, Lecture Notes in Computer Science, volume 6804, Springer-Verlag,
Berlin, 2011, pp. 170-181. Download pdfH. van Ditmarsch, S. Ghosh, R. Verbrugge, and Y. Wang,
Hidden protocols.
In: K.R. Apt (ed.), TARK XIII: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM Press Digital Library, 2011, pp. 65-74. Download pdf
B. Dunin-Kęplicz, A. Strachocka and R. Verbrugge,
Modeling deliberation in teamwork.
In: E. Davis, P. Doherty and E. Erdem (eds.), Proceedings of the Tenth Symposium on Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposium Series, North America, March 2011.T. Visser, T. Andringa and R. Verbrugge,
Affective agents bridge the gap between life and mind.
In: T. Froese, M. Egbert and X. Barandiaran (eds.), Workshop on Artificial Autonomy ECAL 2011: Twenty Years of Practice of Autonomous Systems, August 8, 2011, Paris, pp. 7-12.B. Meijering, L. van Maanen, H. van Rijn and R. Verbrugge,
The facilitative effect of context on second-order social reasoning.
In: R. Catrambone and S. Ohlsson (eds.), Proceedings of the 32nd Annual Conference of the Cognitive Science Society, Cognitive Science Society, Austin (TX), 2010, pp. 1423-1428. Download pdfL. van Maanen and R. Verbrugge,
A computational model of second-order social reasoning.
In: D. Salvucci and G. Gunzelmann (eds.), Proceedings of the 10th International Conference on Cognitive Modeling, Drexel University, Philadelphia (PA), 2010, pp. 259-264. Download pdfP. Dykstra, C. Elsenbroich, W. Jager, G. Renardel de Lavalette and R. Verbrugge,
A logic-based architecture for opinion dynamics.
In: Proceedings of the World Congress of Social Simulation 2010 (WCSS 2010), Kassel, Germany, 2010. Download pdfS. Ghosh, B. Meijering and R. Verbrugge,
Empirical reasoning in games: Logic meets cognition.
In: Thomas Ågotnes, Natasha Alechina and Brian Logan (eds.), Proceedings Third Logics for Resource Bounded Agents Workshop (LRBA 2010), 2010, pp. 15-34. Download pdfB. Dunin-Kęplicz, R. Verbrugge and M. Slizak,
Case-study for TeamLog, a theory of teamwork.
In: G.A. Papadopoulos and C. Badica (eds.), Intelligent Distributed Computing III: Proceedings of the Third International Symposium on Intelligent Distributed Computing, series Studies in Computational Intelligence volume 237, Springer-Verlag, Berlin, 2009, pp. 87-100. Download pdfE. van der Vaart, C. Hemelrijk and R. Verbrugge,
Learning where (not) to cache: A cognitive model for corvids.
In: N.A. Taatgen & R. van Rijn (eds.) Proceedings of the 31st Annual Meeting of the Cognitive Science Society, Cognitive Science Society, Austin (TX), 2009, pp. 2420-2425. Download pdfS. Slingerland, M. Mulder, E. van der Vaart and R. Verbrugge,
A multi-agent systems approach to gossip and the evolution of language.
In: N.A. Taatgen & R. van Rijn (eds.) Proceedings of the 31st Annual Meeting of the Cognitive Science Society, Cognitive Science Society, Austin (TX), 2009, pp. 1609-1614. Download pdfE. van der Vaart, R. Verbrugge and C. Hemelrijk,
Memory effects in the Clark's nutcracker: A cognitive model for corvids.
In: A. Howes, D. Peebles & R. Cooper (eds.) Proceedings of the 9th International Conference on Cognitive Modeling, Manchester, UK, 2009. Download pdfE. van der Vaart was winner of Best Student Poster Award at ICCM’09 for her poster based on the article. Download pdf
P. Dykstra, C. Elsenbroich, W. Jager, G. Renardel de Lavalette and R. Verbrugge,
A dialogical logic-based simulation architecture for social agents and the emergence of extremist behaviour.
In: B. Edmonds and N. Gilbert (eds.), Proceedings of The Sixth Conference of the European Social Simulation Association (ESSA), University of Surrey, Guilford, 2009. Download pdfG. van Valkenhoef, S. D. Ramchurn, P. Vytelingum, N. R. Jennings and R. Verbrugge.,
Continuous double auctions with execution uncertainty.
In: E. Gerding (ed.), Proceedings of the IJCAI-09 Workshop on Trading Agent Design and Analysis (TADA-09), Pasadena (CA), 13 July 2009, pp. 113-122. Download pdfG. van Valkenhoef, E. van der Vaart and R. Verbrugge,
OOPS: An S5n prover for educational settings.
In: T. Bolander and T. Brauner (eds.), Proceedings of the 6th Workshop on Methods for Modalities (M4M-6), Copenhagen (Denmark), 2009. Download pdfE. van der Vaart and R. Verbrugge,
Agent-based models for animal cognition: A proposal and a prototype.
In: D. Parkes and L. Padgham (eds.), International Conference on Autonomous Agents and Multi Agent Systems (AAMAS), ACM Press, New York, 2008, pp. 1145-1152. Download pdfM. Dziubiński, R. Verbrugge B. Dunin-Kęplicz,
Reducing the complexity of logics for multiagent systems.
In: M. Huhns and O. Shehory (eds.), Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press, New York (NY), 2007, pp. 1082-1084 (extended abstract).B. Dunin-Kęplicz and R. Verbrugge,
Awareness as a vital ingredient of teamwork.
In: P. Stone and G. Weiss (eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), IEEE/ACM Press, New York (NY), 2006, pp. 1017-1024. Download pdfE. van Baars and R. Verbrugge,
Knowledge-based algorithm for multi-agent communication.
In: G. Bonanno, W. van der Hoek and M. Wooldridge (eds.), Proceedings of the Seventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT'06), University of Liverpool, Liverpool, 2006, pp. 227-236. Download pdfM. Dziubiński, R. Verbrugge and B. Dunin-Kęplicz,
Complexity of a theory of collective attitudes in teamwork.
In: A. Skowron, J.-P. Barthes et al. (eds.),
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IEEE Computer Society, Los Alamitos (CA), 2005, pp. 579-586. Download pdfH. van Ditmarsch, J. Ruan and R. Verbrugge,
Model checking sum and product.
In: T. Dillon and P. Compton (eds.), Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'05), Lecture Notes in Computer Science vol. 3809, Springer Verlag, Berlin, 2005, pp. 183-188. Download pdfL. Mol, R. Verbrugge and P. Hendriks,
Learning to reason about other people's minds.
In: L. Hall, D. Heylen et al. (eds.), Proceedings of the Joint Symposium on Virtual Social Agents, The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB), Hatfield, 2005, pp. 191-198. Download pdf
L. Mol, N. Taatgen, R. Verbrugge and P. Hendriks,
Reflective cognition as secondary task.
In: B.G. Bara, L. Barsalou and M. Bucciarelli (eds.), Proceedings of Twenty-seventh Annual Meeting of the Cognitive Science Society, Erlbaum, Mahwah (NJ), 2005, pp. 1925-1930. Download pdfB. Kooi, G. Renardel de Lavalette and R. Verbrugge,
Strong completeness for non-compact hybrid logics.
In: R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing (eds.), Proceedings of Advances in Modal Logic, AIML-5, Manchester, Sept. 9-11, King's College Publications, London, 2004, pp. 212-223.B. Dunin-Kęplicz and R. Verbrugge,
Teamwork in rescue situations.
In: A. Jankowski, A. Skowron and M. Szczuka (eds.), Pre-proceedings of Monitoring and Rescue Techniques in Multiagent Systems, International Workshop MSRAS 2004, June 7-9, Plock, Poland, pp. 58-60.K. Zondervan, R. Verbrugge, and N. Taatgen,
Modeling the ability to reason about oneself and others in educational contexts.
In: Proceedings of the Sixth International Conference on Cognitive Modeling, Carnegie Mellon University/University of Pittsburgh, Pittsburgh (PA), 2004, extended abstract, pp. 418-419. Download pdfB. Dunin-Kęplicz and R. Verbrugge,
Calibrating collective commitments.
In: V. Marik, J. Muller and M. Pechoucek, Multi-Agent Systems and Applications III, Springer Verlag, Lecture Notes in Computer Science 2691, Berlin, 2003, pp. 73-83.B. Dunin-Kęplicz and R. Verbrugge,
A tuning machine for collective commitments.
In: B. Dunin-Kęplicz and R. Verbrugge (eds.),
Proceedings of the First Workshop on Formal Approaches to Multi-agent Systems (FAMAS'03), University of Warsaw, Warsaw, 2003, pp. 99-116.B. Dunin-Kęplicz and R. Verbrugge,
Dynamics of collective motivational attitudes during teamwork.
In: A. Omicini, P. Petta and J. Pitt (eds.), Proceedings of the Fourth International Workshop Engineering Societies in the Agents World, (ESAW 2003), Imperial College, London, 2003, pp. 49-56. Download pdfB. Dunin-Kęplicz and R. Verbrugge,
Dialogue in teamwork.
In: J.M. Fonseca et al., The Vision for the Future Generation in Research and Applications: Proceedings of the 10th ISPE International Conference on Concurrent Engineering: Research and Applications. Balkema Publishers, Rotterdam, 2003, pp. 121-128. Download pdfG. Renardel de Lavalette, B. Kooi, and R. Verbrugge,
A strongly complete proof system for propositional dynamic logic.
In: P. Balbiani, N.-Y Suzuki., F. Wolter (eds.), AiML2002: Advances in Modal Logic, Institut de Recherche en Informatique de Toulouse IRIT, Toulouse, 2002, pp. 377-393.B. Dunin-Kęplicz and R. Verbrugge,
Evolution of collective commitment during reconfiguration.
In: C. Castelfranchi and W.L. Johnson (eds.), Proceedings of the First Joint Conference on Autonomous Agents and Multi-agent Systems, (AAMAS 2002), ACM Press, New York, 2002, extended abstract, 1141-1143.
B. Dunin-Kęplicz and R. Verbrugge,
The role of dialogue in collective problem solving.
In: E. Davis et al. (eds.) Proceedings of the Fifth International Symposium on the Logical Formalization of Commonsense Reasoning (Commonsense 2001), New York, 2001, pp. 89-104.B. Dunin-Kęplicz and R. Verbrugge,
Collective intention constitutes a group.
In: Y. Demazeau and F. Garijo (eds.), Proceedings of 10th Workshop on Modelling Autonomous Agents in a Multi-agent World (MAAMAW'01), Annecy, 2001, pp. 1-16.F. Dignum, B. Dunin-Kęplicz, and R. Verbrugge,
Creating collective intention through dialogue.
In: J. Cunningham and D. Gabbay, Proceedings International Conference on Formal and Applied Practical Reasoning (FAPR 2000), Imperial College, London, 2000, pp. 145-158.F. Stulp, and R. Verbrugge,
A knowledge-based algorithm for the Internet protocol TCP.
In: G. Bonanno and W. van der Hoek (eds.), Proceedings of the Fourth Conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT 4), ICER (International Centre for Economic Research), Turin, 2000.B. Dunin-Kęplicz and R. Verbrugge,
The role of dialogue in Cooperative Problem Solving.
In: Autonomous Agents 2000 Workshop on Intelligent Agents for Computer Supported Co-operative Work: Technology and Risks, Barcelona, 2000, pp. 1-16.B. Dunin-Kęplicz and R. Verbrugge,
Collective motivational attitudes in cooperative problem solving.
In: V. Gorodetsky et al. (eds.), Proceedings of The First International Workshop of Central and Eastern Europe on Multi-agent Systems (CEEMAS'99), St. Petersburg, 1999, pp. 22-41. Download pdfF.M.T. Brazier, B. Dunin-Kęplicz, J. Treur and R. Verbrugge,
Modelling internal dynamic behaviour of BDI agents.
In: J.-J. Ch. Meyer and P.-Y. Schobbens (eds.), Formal Models of Agents, Lecture Notes in Computer Science vol. 1760, Springer Verlag, Berlin, 1999, pp. 36-56.B. Dunin-Kęplicz and R. Verbrugge,
Collective decision making in BDI-systems.
In: D. Despotis and C. Zopounidis (eds.), Integrating Technology and Human Decisions: Global Bridges into the 21st Century: Proceedings of the Fifth International Conference of the Decision Sciences Institute, New Technology Publications, Athens, Greece, 1999, pp. 618-621.B. Dunin-Kęplicz and R. Verbrugge,
A Methodology for maintaining collective motivational attitudes during teamwork.
In: F. Garijo, Ch. Lemaitre (eds.), Multi Agent Systems: Models, Architectures, and Applications: Proceedings of the Second Iberoamerican Workshop on DAI and MAS, October 1-2 1998, Toledo, Spain, pp. 45-60.B. Dunin-Kęplicz and R. Verbrugge,
Evolution of teams in collective problem solving.
In: K. Cetnarowicz (ed.), Problems of Evolution in Real and Virtual Systems: Proceedings of the First International Conference on Philosophy and Computer Science, November 2-4, 1998. Jagiellonian University and University of Mining and Metallurgy, Krakow, Poland, 1998, pp. I/18-I/25.B. Dunin-Kęplicz and R. Verbrugge,
A reconfiguration algorithm for the maintenance of collective commitments (extended abstract).
In: Y. Demazeau (ed.), Proceedings of the Third International Conference on Multi-Agent Systems ICMAS'98, IEEE Press, Los Alamitos (CA), 1998, extended abstract, pp. 421-423.F.M.T. Brazier, B. Dunin-Kęplicz, J. Treur en R. Verbrugge,
Beliefs, intentions and DESIRE.
In: Proceedings of the Tenth Knowledge Acquisition Workshop KAW'96, Banff (Canada), 1996.B. Dunin-Kęplicz and R. Verbrugge,
Collective commitments.
In: M. Tokoro (ed.), Proceedings of the Second International Conference on Multi-Agent Systems ICMAS'96, AAAI Press, Menlo Park (CA), 1996, pp. 56-63. Download pdfR. Verbrugge,
Zero-one laws for provability logic.
Abstract in: Proceedings of the Tenth International Congress of Logic, Methodology and Philosophy of Science (LMPS95), Florence, 1995, p. 79.
Rineke Verbrugge 2023