Rineke Verbrugge

145 papers A* 3A 6B 23C 10Misc 2Journal 53Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Cooperation, Deception and Theory of Mind in a Cyclic Game with Inter-Player Signalling. CogSci Jakob Dirk Top, Harmen de Weerd, Abisharan Raveenthiran, Catholijn M. Jonker, Rineke Verbrugge
2025	J	`jnl`	Dynamic Logics of Diffusion and Link Changes on Social Networks. Stud Logica Edoardo Baccini, Zoé Christoff, Rineke Verbrugge
2025	C	`conf`	Evaluating Methods for Scenario Reasoning using Bayesian Networks in Exhaustive and Non-Exhaustive Settings. ICAIL Ludi Simone van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
2025	B	`conf`	How Well Do People Perform on Novel Logic Puzzles Requiring Higher-Order Theory of Mind? CogSci Andreea Minculescu, Jakob Dirk Top, Rineke Verbrugge, Harmen de Weerd
2025	B	`conf`	It takes one to know one: Theory of mind helps children to detect lies that are revealed by semantic leakage. CogSci Özlem Yeter, Barteld P. Kooi, Rineke Verbrugge, Petra Hendriks
2025	A	`conf`	Mitigating Value Conflicts with Computational Theory of Mind. AAMAS Emre Erdogan, Hüseyin Aydin, Frank Dignum, Rineke Verbrugge, Pinar Yolum
2025	J	`jnl`	TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence. J. Artif. Intell. Res. Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum
2025	J	`jnl`	Towards properly implementing Theory of Mind in AI systems: An account of four misconceptions. CoRR Ramira van der Meulen, Rineke Verbrugge, Max J. van Duijn
2025	B	`conf`	Who is Afraid of Minimal Revision? TARK Edoardo Baccini, Zoé Christoff, Nina Gierasimczuk, Rineke Verbrugge
2024	—	`conf`	Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. HHAI Ludi van Leeuwen, Rineke Verbrugge, Bart Verheij, Silja Renooij
2024	—	`conf`	Common Ground Provides a Mental Shortcut in Agent-Agent Interaction. HHAI Ramira van der Meulen, Rineke Verbrugge, Max J. van Duijn
2024	A	`conf`	Computational Theory of Mind with Abstractions for Effective Human-Agent Collaboration. AAMAS Emre Erdogan, Rineke Verbrugge, Pinar Yolum
2024	—	`conf`	Effective Maintenance of Computational Theory of Mind for Human-AI Collaboration. HHAI Emre Erdogan, Frank Dignum, Rineke Verbrugge
2024	B	`conf`	Semantic Leakage Enables Lie Detection, but First-Person Pronouns and Verbosity Can Get in the Way of Detection. CogSci Özlem Yeter, Barteld P. Kooi, Harmen de Weerd, Rineke Verbrugge, Petra Hendriks
2023	C	`conf`	Evaluating Methods for Setting a Prior Probability of Guilt. JURIX Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
2023	A*	`conf`	Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. ICRA Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2023	J	`jnl`	Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. CoRR Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2023	—	`conf`	Predictive Theory of Mind Models Based on Public Announcement Logic. DaLí Jakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd
2023	B	`ed.`	Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. TARK Rineke Verbrugge
2023	J	`jnl`	Solutions to the Knower Paradox in the Light of Haack's Criteria. J. Philos. Log. Mirjam de Vos, Rineke Verbrugge, Barteld Kooi
2023	J	`jnl`	The Wisdom of the Small Crowd: Myside Bias and Group Discussion. J. Artif. Soc. Soc. Simul. Edoardo Baccini, Zoé Christoff, Stephan Hartmann, Rineke Verbrugge
2023	C	`conf`	Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. ICAIL Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
2022	—	`conf`	Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. HHAI Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum
2022	J	`jnl`	Argumentation-Based Online Incremental Learning. IEEE Trans Autom. Sci. Eng. Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2022	C	`conf`	Computational Theory of Mind for Human-Agent Coordination. COINE Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum
2022	J	`jnl`	Empirically grounded agent-based policy evaluation of the adoption of sustainable lighting under the European Ecodesign Directive. CoRR Gido H. Schoenmacker, Wander Jager, Rineke Verbrugge
2022	J	`jnl`	Higher-order theory of mind is especially useful in unpredictable negotiations. Auton. Agents Multi Agent Syst. Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2022	C	`conf`	How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? COMMA Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij
2022	J	`jnl`	Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. J. Log. Comput. Yuri David Santos, Barteld Kooi, Rineke Verbrugge
2022	J	`jnl`	Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios. Robotics Auton. Syst. Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2022	B	`conf`	Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. AiML Rineke Verbrugge
2022	—	`conf`	Online Incremental Learning with Abstract Argumentation Frameworks. ArgML@COMMA Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2022	J	`jnl`	Strong admissibility for abstract dialectical frameworks. Argument Comput. Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2021	C	`conf`	Argue to Learn: Accelerated Argumentation-Based Learning. ICMLA Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2021	—	`conf`	Empirically Grounded Agent-Based Policy Evaluation of the Adoption of Sustainable Lighting under the European Ecodesign Directive. AMPM@JURIX Gido Schoenmacker, Wander Jager, Rineke Verbrugge
2021	—	`conf`	How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. LORI Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
2021	A*	`conf`	Semi-Stable Semantics for Abstract Dialectical Frameworks. KR Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2021	Misc	`conf`	Strong admissibility for abstract dialectical frameworks. SAC Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2021	A*	`conf`	Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. LICS Rineke Verbrugge
2021	J	`jnl`	Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. CoRR Rineke Verbrugge
2020	B	`ed.`	13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. AiML Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu
2020	C	`conf`	A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. COMMA Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2020	J	`jnl`	A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer Zeynep Akata, Dan Balliet, Maarten de Rijke, Frank Dignum, Virginia Dignum, Guszti Eiben, Antske Fokkens, Davide Grossi, Koen V. Hindriks, Holger H. Hoos, Hayley Hung, Catholijn M. Jonker, Christof Monz, Mark A. Neerincx, Frans A. Oliehoek, Henry Prakken, Stefan Schlobach, Linda C. van der Gaag, Frank van Harmelen, Herke van Hoof, Birna van Riemsdijk, Aimee van Wynsberghe, Rineke Verbrugge, Bart Verheij, Piek Vossen, Max Welling
2020	—	`conf`	Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation. ICAART (1) Marcin Korecki, Malvin Gattinger, Rineke Verbrugge
2020	J	`jnl`	Commonly Knowingly Whether. CoRR Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
2020	J	`jnl`	Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. Hans van Ditmarsch, Petra Hendriks, Rineke Verbrugge
2020	J	`jnl`	Local-HDP: Interactive Open-Ended 3D Object Categorization. CoRR Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2020	J	`jnl`	Strong Admissibility for Abstract Dialectical Frameworks. CoRR Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2020	—	`conf`	Testing and Training Theory of Mind for Hybrid Human-agent Environments. ICAART (1) Rineke Verbrugge
2019	B	`conf`	Cross-cultural differences in playing centipede-like games with surprising opponents. CogSci Sujata Ghosh, Rineke Verbrugge, Harmen de Weerd, Aviad Heifetz
2019	C	`conf`	Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. ECSQARU Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2019	—	`conf`	Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. ISIPTA Atefeh Keshavarzi Zafarghandi, Bart Verheij, Rineke Verbrugge
2019	—	`conf`	Handling Unforeseen Failures Using Argumentation-Based Learning. BNAIC/BENELEARN Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2019	—	`conf`	Handling Unforeseen Failures Using Argumentation-Based Learning. CASE Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2019	J	`jnl`	Training the use of theory of mind using artificial agents. J. Multimodal User Interfaces Kim Veltman, Harmen de Weerd, Rineke Verbrugge
2018	J	`jnl`	An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic. Games Jakob Dirk Top, Rineke Verbrugge, Sujata Ghosh
2018	J	`jnl`	Studying strategies and types of players: experiments, logics and cognitive models. Synth. Sujata Ghosh, Rineke Verbrugge
2017	—	`ed.`	Advances in Social Simulation 2015 [Papers from the Conference of the European Social Simulation Association 2015, Groningen, The Netherlands, 14-18 September 2015] ESSA Wander Jager, Rineke Verbrugge, Andreas Flache, Gert de Roo, Lex Hoogduin, Charlotte K. Hemelrijk
2017	J	`jnl`	Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information. Auton. Agents Multi Agent Syst. Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2017	B	`conf`	What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? TARK Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd
2015	J	`jnl`	An Agent-Based Dialogical Model with Fuzzy Attitudes. J. Artif. Soc. Soc. Simul. Piter Dykstra, Wander Jager, Corinna Elsenbroich, Rineke Verbrugge, Gerard R. Renardel de Lavalette
2015	B	`conf`	Do players reason by forward induction in dynamic perfect information games? TARK Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge
2015	B	`conf`	How do adults reason about their opponent? Typologies of players in a turn-taking game. CogSci Tamoghna Halder, Khyati Sharma, Sujata Ghosh, Rineke Verbrugge
2015	—	`conf`	Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models. LORI Sujata Ghosh, Tamoghna Halder, Khyati Sharma, Rineke Verbrugge
2015	—	`book`	Models of Strategic Reasoning - Logics, Games, and Communities Models of Strategic Reasoning Johan van Benthem, Sujata Ghosh, Rineke Verbrugge
2015	J	`jnl`	Paraconsistent semantics of speech acts. Neurocomputing Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
2015	B	`conf`	Savvy software agents can encourage the use of second-order theory of mind by negotiators. CogSci Harmen de Weerd, Eveline Broers, Rineke Verbrugge
2015	B	`conf`	Teaching Children to Attribute Second-order False Beliefs: A Training Study with Feedback. CogSci Burcu Arslan, Rineke Verbrugge, Niels Taatgen, Bart Hollebrandse
2014	B	`conf`	Computational and algorithmic models of strategies in turn-based games. CogSci Gerben Bergwerff, Ben Meijering, Jakub Szymanik, Rineke Verbrugge, Stefan M. Wierda
2014	J	`jnl`	Conditional Preference Networks Support Multi-issue Negotiations with Mediator. Trans. Comput. Collect. Intell. Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge
2014	J	`jnl`	Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2014	—	`ch.`	Logic and Complexity in Cognitive Science. Johan van Benthem on Logic and Information Dynamics Alistair M. C. Isaac, Jakub Szymanik, Rineke Verbrugge
2014	J	`jnl`	Strategic Reasoning: Building Cognitive Models from Logical Formulas. J. Log. Lang. Inf. Sujata Ghosh, Ben Meijering, Rineke Verbrugge
2014	—	`conf`	Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. ECSI Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2014	—	`conf`	Tractable Reasoning about Group Beliefs. EMAS@AAMAS Barbara Dunin-Keplicz, Andrzej Szalas, Rineke Verbrugge
2013	—	`conf`	Agent-Based Models for Higher-Order Theory of Mind. ESSA Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2013	B	`conf`	Higher-Order Theory of Mind in Negotiations under Incomplete Information. PRIMA Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2013	J	`jnl`	How much does it help to know what she knows you know? An agent-based simulation study. Artif. Intell. Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2013	J	`jnl`	Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Log. J. IGPL Barbara Dunin-Keplicz, Rineke Verbrugge
2013	J	`jnl`	Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. Log. J. IGPL Barbara Dunin-Keplicz, Rineke Verbrugge
2013	J	`jnl`	Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop. J. Log. Lang. Inf. Jakub Szymanik, Rineke Verbrugge
2013	B	`conf`	Logic in the Lab. TARK Rineke Verbrugge
2013	J	`jnl`	Logic in the Lab. CoRR Rineke Verbrugge
2013	—	`conf`	Multi-player Multi-issue Negotiation with Mediator using CP-nets. ICAART (1) Thiri Haymar Kyaw, Sujata Ghosh, Rineke Verbrugge
2013	—	`conf`	Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
2013	J	`jnl`	Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics. J. Artif. Soc. Soc. Simul. Piter Dykstra, Corinna Elsenbroich, Wander Jager, Gerard R. Renardel de Lavalette, Rineke Verbrugge
2013	B	`conf`	Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. PRIMA Nils Bulling, Sujata Ghosh, Rineke Verbrugge
2013	B	`conf`	Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind. CogSci Ben Meijering, Hedderik van Rijn, Niels A. Taatgen, Rineke Verbrugge
2013	B	`conf`	Using intrinsic complexity of turn-taking games to predict participants' reaction times. CogSci Jakub Szymanik, Ben Meijering, Rineke Verbrugge
2012	—	`ch.`	A Logical View on Teamwork. Games, Actions and Social Software Barbara Dunin-Keplicz, Rineke Verbrugge
2012	C	`conf`	Decision Support for Extensive Form Negotiation Games. ISMIS Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge
2012	—	`book`	Games, Actions and Social Software - Multidisciplinary Aspects Games, Actions and Social Software Jan van Eijck, Rineke Verbrugge
2012	A	`conf`	Higher-order social cognition in rock-paper-scissors: a simulation study. AAMAS Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2012	—	`ed.`	Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, Opole, Poland, 13-17 August, 2012 ESSLLI Logic & Cognition Workshop Jakub Szymanik, Rineke Verbrugge
2012	B	`conf`	The Development of Second-order Social Cognition and its Relation with Complex Language Understanding and Memory. CogSci Burcu Arslan, Annette Hohenberger, Rineke Verbrugge
2011	C	`conf`	Deliberation Dialogues during Multi-agent Planning. ISMIS Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge
2011	B	`conf`	Hidden protocols. TARK Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2011	B	`conf`	I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult. CogSci Ben Meijering, Hedderik van Rijn, Niels Taatgen, Rineke Verbrugge
2011	J	`jnl`	Intermediate Logics and the de Jongh property. Arch. Math. Log. Dick de Jongh, Rineke Verbrugge, Albert Visser
2011	—	`conf`	Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge
2011	—	`conf`	Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract). LORI Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge
2011	J	`jnl`	The rules of the game are changing: Scientific impact factors and publication strategies among logicians. J. Log. Comput. Hans van Ditmarsch, Rineke Verbrugge
2010	—	`conf`	Logic Meets Cognition: Empirical Reasoning in Games. MALLOW Sujata Ghosh, Ben Meijering, Rineke Verbrugge
2010	J	`jnl`	TEAMLOG in action: A case study in teamwork. Comput. Sci. Inf. Syst. Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak
2010	—	`book`	Teamwork in Multi-Agent Systems - A Formal Approach. Barbara Dunin-Keplicz, Rineke Verbrugge
2009	J	`jnl`	A communication algorithm for teamwork in multi-agent environments. J. Appl. Non Class. Logics Egon van Baars, Rineke Verbrugge
2009	Misc	`conf`	Case-Study for TeamLog, a Theory of Teamwork. IDC Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak
2009	—	`conf`	Continuous Double Auctions with Execution Uncertainty. AMEC/TADA Gert van Valkenhoef, Sarvapali D. Ramchurn, Perukrishnen Vytelingum, Nicholas R. Jennings, Rineke Verbrugge
2009	J	`jnl`	Formal approaches to multi-agent sysems. Auton. Agents Multi Agent Syst. Rineke Verbrugge, Barbara Dunin-Keplicz
2009	—	`conf`	Introductory Essay of FAMAS'09. MALLOW Barbara Dunin-Keplicz, Rineke Verbrugge
2009	J	`jnl`	Logic and Social Cognition - The Facts Matter, and so do Computational Models. J. Philos. Log. Rineke Verbrugge
2009	—	`conf`	OOPS: An S5 M4M Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge
2009	—	`ed.`	Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 MALLOW Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, Rineke Verbrugge
2009	J	`jnl`	Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
2008	—	`conf`	Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) Elske van der Vaart, Rineke Verbrugge
2008	J	`jnl`	Children's Application of Theory of Mind in Reasoning and Language. J. Log. Lang. Inf. Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer
2008	J	`jnl`	Learning to Apply Theory of Mind. J. Log. Lang. Inf. Rineke Verbrugge, Lisette Mol
2008	J	`jnl`	Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
2008	J	`jnl`	Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
2007	—	`conf`	Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. LADS Egon van Baars, Rineke Verbrugge
2007	J	`jnl`	Complexity Issues in Multiagent Logics. Fundam. Informaticae Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz
2007	—	`ed.`	Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings CEEMAS Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga
2007	A	`conf`	Reducing the complexity of logics for multiagent systems. AAMAS Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz
2007	—	`conf`	The Examination of an Information-Based Approach to Trust. COIN Maaike Harbers, Rineke Verbrugge, Carles Sierra, John K. Debenham
2006	A	`conf`	Awareness as a vital ingredient of teamwork. AAMAS Barbara Dunin-Keplicz, Rineke Verbrugge
2006	J	`jnl`	Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge
2005	—	`conf`	Complexity of a theory of collective attitudes in teamwork. IAT Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz
2004	J	`jnl`	A Tuning Machine for Cooperative Problem Solving. Fundam. Informaticae Barbara Dunin-Keplicz, Rineke Verbrugge
2004	—	`conf`	Creating Common Beliefs in Rescue Situations. MSRAS Barbara Dunin-Keplicz, Rineke Verbrugge
2004	—	`conf`	Modeling the ability to reason about oneself and others in educational contexts. ICCM Karin Zondervan, Rineke Verbrugge, Niels Taatgen
2003	—	`conf`	Calibrating Collective Commitments. CEEMAS Barbara Dunin-Keplicz, Rineke Verbrugge
2003	—	`conf`	Dialogue in teamwork. CE Barbara Dunin-Keplicz, Rineke Verbrugge
2003	—	`conf`	Dynamics of Collective Attitudes during Teamwork. ESAW Barbara Dunin-Keplicz, Rineke Verbrugge
2003	J	`jnl`	Evolution of Collective Commitment during Teamwork. Fundam. Informaticae Barbara Dunin-Keplicz, Rineke Verbrugge
2002	J	`jnl`	Collective Intentions. Fundam. Informaticae Barbara Dunin-Keplicz, Rineke Verbrugge
2002	A	`conf`	Evolution of collective commitment during reconfiguration. AAMAS Barbara Dunin-Keplicz, Rineke Verbrugge
2001	J	`jnl`	Creating Collective Intention through Dialogue. Log. J. IGPL Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge
2000	—	`conf`	Agent Theory for Team Formation by Dialogue. ATAL Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge
2000	—	`conf`	Dialogue in Team Formation. Issues in Agent Communication Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge
1999	—	`conf`	Collective Motivational Attitudes in Cooperative Problem Solving. CEEMAS Barbara Dunin-Keplicz, Rineke Verbrugge
1998	—	`conf`	A Reconfiguration Algorithm for the Maintenance of Collective Commitments. ICMAS Barbara Dunin-Keplicz, Rineke Verbrugge
1997	—	`conf`	Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge
1995	J	`jnl`	A qualitative fuzzy possibilistic logic. Int. J. Approx. Reason. Petr Hájek, Dagmar Harmancová, Rineke Verbrugge
1994	J	`jnl`	A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. Rineke Verbrugge, Albert Visser
1993	J	`jnl`	On the Provability Logic of Bounded Arithmetic. Ann. Pure Appl. Log. Alessandro Berarducci, Rineke Verbrugge