default search action
Rineke Verbrugge
Person information
- affiliation: University of Groningen, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c75]Emre Erdogan, Rineke Verbrugge, Pinar Yolum:
Computational Theory of Mind with Abstractions for Effective Human-Agent Collaboration. AAMAS 2024: 2249-2251 - [c74]Emre Erdogan, Frank Dignum, Rineke Verbrugge:
Effective Maintenance of Computational Theory of Mind for Human-AI Collaboration. HHAI 2024: 114-123 - [c73]Ramira van der Meulen, Rineke Verbrugge, Max J. van Duijn:
Common Ground Provides a Mental Shortcut in Agent-Agent Interaction. HHAI 2024: 281-290 - [c72]Ludi van Leeuwen, Rineke Verbrugge, Bart Verheij, Silja Renooij:
Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. HHAI 2024: 291-299 - 2023
- [j43]Edoardo Baccini, Zoé Christoff, Stephan Hartmann, Rineke Verbrugge:
The Wisdom of the Small Crowd: Myside Bias and Group Discussion. J. Artif. Soc. Soc. Simul. 26(4) (2023) - [j42]Mirjam de Vos, Rineke Verbrugge, Barteld Kooi:
Solutions to the Knower Paradox in the Light of Haack's Criteria. J. Philos. Log. 52(4): 1101-1132 (2023) - [c71]Jakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd:
Predictive Theory of Mind Models Based on Public Announcement Logic. DaLí 2023: 85-103 - [c70]Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij:
Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. ICAIL 2023: 323-332 - [c69]Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij:
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. ICRA 2023: 4960-4966 - [c68]Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij:
Evaluating Methods for Setting a Prior Probability of Guilt. JURIX 2023: 63-72 - [e8]Rineke Verbrugge:
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. EPTCS 379, 2023 [contents] - [i7]Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij:
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. CoRR abs/2301.07037 (2023) - 2022
- [j41]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Higher-order theory of mind is especially useful in unpredictable negotiations. Auton. Agents Multi Agent Syst. 36(1): 30 (2022) - [j40]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij:
Strong admissibility for abstract dialectical frameworks. Argument Comput. 13(3): 249-289 (2022) - [j39]Yuri David Santos, Barteld Kooi, Rineke Verbrugge:
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. J. Log. Comput. 32(6): 1142-1161 (2022) - [j38]Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij:
Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios. Robotics Auton. Syst. 147: 103911 (2022) - [j37]Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij:
Argumentation-Based Online Incremental Learning. IEEE Trans Autom. Sci. Eng. 19(4): 3419-3433 (2022) - [c67]Rineke Verbrugge:
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. AiML 2022: 11 - [c66]Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum:
Computational Theory of Mind for Human-Agent Coordination. COINE 2022: 92-108 - [c65]Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij:
Online Incremental Learning with Abstract Argumentation Frameworks. ArgML@COMMA 2022: 65-80 - [c64]Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij:
How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? COMMA 2022: 200-211 - [c63]Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum:
Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. HHAI 2022: 199-211 - [i6]Gido H. Schoenmacker, Wander Jager, Rineke Verbrugge:
Empirically grounded agent-based policy evaluation of the adoption of sustainable lighting under the European Ecodesign Directive. CoRR abs/2209.05109 (2022) - 2021
- [c62]Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij:
Argue to Learn: Accelerated Argumentation-Based Learning. ICMLA 2021: 1118-1123 - [c61]Gido Schoenmacker, Wander Jager, Rineke Verbrugge:
Empirically Grounded Agent-Based Policy Evaluation of the Adoption of Sustainable Lighting under the European Ecodesign Directive. AMPM@JURIX 2021 - [c60]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij:
Semi-Stable Semantics for Abstract Dialectical Frameworks. KR 2021: 422-431 - [c59]Rineke Verbrugge:
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. LICS 2021: 1-13 - [c58]Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge:
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. LORI 2021: 201-215 - [c57]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij:
Strong admissibility for abstract dialectical frameworks. SAC 2021: 873-880 - [i5]Rineke Verbrugge:
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. CoRR abs/2102.05947 (2021) - 2020
- [j36]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:
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 53(8): 18-28 (2020) - [j35]Hans van Ditmarsch, Petra Hendriks, Rineke Verbrugge:
Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. 12(2): 466-484 (2020) - [c56]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij:
A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. COMMA 2020: 431-442 - [c55]Rineke Verbrugge:
Testing and Training Theory of Mind for Hybrid Human-agent Environments. ICAART (1) 2020: 11 - [c54]Marcin Korecki, Malvin Gattinger, Rineke Verbrugge:
Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation. ICAART (1) 2020: 161-168 - [e7]Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu:
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. College Publications 2020, ISBN 978-1-84890-341-8 [contents] - [i4]Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge:
Commonly Knowingly Whether. CoRR abs/2001.03945 (2020) - [i3]Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij:
Local-HDP: Interactive Open-Ended 3D Object Categorization. CoRR abs/2009.01152 (2020) - [i2]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij:
Strong Admissibility for Abstract Dialectical Frameworks. CoRR abs/2012.05997 (2020)
2010 – 2019
- 2019
- [j34]Kim Veltman, Harmen de Weerd, Rineke Verbrugge:
Training the use of theory of mind using artificial agents. J. Multimodal User Interfaces 13(1): 3-18 (2019) - [c53]Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij:
Handling Unforeseen Failures Using Argumentation-Based Learning. BNAIC/BENELEARN 2019 - [c52]Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij:
Handling Unforeseen Failures Using Argumentation-Based Learning. CASE 2019: 1699-1704 - [c51]Sujata Ghosh, Rineke Verbrugge, Harmen de Weerd, Aviad Heifetz:
Cross-cultural differences in playing centipede-like games with surprising opponents. CogSci 2019: 1829-1835 - [c50]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij:
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. ECSQARU 2019: 62-73 - [c49]Atefeh Keshavarzi Zafarghandi, Bart Verheij, Rineke Verbrugge:
Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. ISIPTA 2019: 246-255 - 2018
- [j33]Jakob Dirk Top, Rineke Verbrugge, Sujata Ghosh:
An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic. Games 9(3): 44 (2018) - [j32]Sujata Ghosh, Rineke Verbrugge:
Studying strategies and types of players: experiments, logics and cognitive models. Synth. 195(10): 4265-4307 (2018) - 2017
- [j31]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information. Auton. Agents Multi Agent Syst. 31(2): 250-287 (2017) - [c48]Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd:
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? TARK 2017: 265-284 - [e6]Wander Jager, Rineke Verbrugge, Andreas Flache, Gert de Roo, Lex Hoogduin, Charlotte K. Hemelrijk:
Advances in Social Simulation 2015 [Papers from the Conference of the European Social Simulation Association 2015, Groningen, The Netherlands, 14-18 September 2015]. Advances in Intelligent Systems and Computing 528, Springer 2017, ISBN 978-3-319-47252-2 [contents] - 2015
- [j30]Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge:
Paraconsistent semantics of speech acts. Neurocomputing 151: 943-952 (2015) - [j29]Piter Dykstra, Wander Jager, Corinna Elsenbroich, Rineke Verbrugge, Gerard R. Renardel de Lavalette:
An Agent-Based Dialogical Model with Fuzzy Attitudes. J. Artif. Soc. Soc. Simul. 18(3) (2015) - [c47]Burcu Arslan, Rineke Verbrugge, Niels Taatgen, Bart Hollebrandse:
Teaching Children to Attribute Second-order False Beliefs: A Training Study with Feedback. CogSci 2015 - [c46]Tamoghna Halder, Khyati Sharma, Sujata Ghosh, Rineke Verbrugge:
How do adults reason about their opponent? Typologies of players in a turn-taking game. CogSci 2015 - [c45]Harmen de Weerd, Eveline Broers, Rineke Verbrugge:
Savvy software agents can encourage the use of second-order theory of mind by negotiators. CogSci 2015 - [c44]Sujata Ghosh, Tamoghna Halder, Khyati Sharma, Rineke Verbrugge:
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models. LORI 2015: 116-128 - [c43]Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge:
Do players reason by forward induction in dynamic perfect information games? TARK 2015: 159-175 - [e5]Johan van Benthem, Sujata Ghosh, Rineke Verbrugge:
Models of Strategic Reasoning - Logics, Games, and Communities. Lecture Notes in Computer Science 8972, Springer 2015, ISBN 978-3-662-48539-2 [contents] - 2014
- [j28]Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang:
Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. 208: 18-40 (2014) - [j27]Sujata Ghosh, Ben Meijering, Rineke Verbrugge:
Strategic Reasoning: Building Cognitive Models from Logical Formulas. J. Log. Lang. Inf. 23(1): 1-29 (2014) - [j26]Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge:
Conditional Preference Networks Support Multi-issue Negotiations with Mediator. Trans. Comput. Collect. Intell. 17: 171-195 (2014) - [c42]Gerben Bergwerff, Ben Meijering, Jakub Szymanik, Rineke Verbrugge, Stefan M. Wierda:
Computational and algorithmic models of strategies in turn-based games. CogSci 2014 - [c41]Barbara Dunin-Keplicz, Andrzej Szalas, Rineke Verbrugge:
Tractable Reasoning about Group Beliefs. EMAS@AAMAS 2014: 328-350 - [c40]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. ECSI 2014: 128-136 - [p2]Alistair M. C. Isaac, Jakub Szymanik, Rineke Verbrugge:
Logic and Complexity in Cognitive Science. Johan van Benthem on Logic and Information Dynamics 2014: 787-824 - 2013
- [j25]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
How much does it help to know what she knows you know? An agent-based simulation study. Artif. Intell. 199-200: 67-92 (2013) - [j24]Barbara Dunin-Keplicz, Rineke Verbrugge:
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Log. J. IGPL 21(3): 309-310 (2013) - [j23]Barbara Dunin-Keplicz, Rineke Verbrugge:
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. Log. J. IGPL 21(3): 404-406 (2013) - [j22]Piter Dykstra, Corinna Elsenbroich, Wander Jager, Gerard R. Renardel de Lavalette, Rineke Verbrugge:
Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics. J. Artif. Soc. Soc. Simul. 16(3) (2013) - [j21]Jakub Szymanik, Rineke Verbrugge:
Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop. J. Log. Lang. Inf. 22(4): 357-362 (2013) - [c39]Ben Meijering, Hedderik van Rijn, Niels A. Taatgen, Rineke Verbrugge:
Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind. CogSci 2013 - [c38]Jakub Szymanik, Ben Meijering, Rineke Verbrugge:
Using intrinsic complexity of turn-taking games to predict participants' reaction times. CogSci 2013 - [c37]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Agent-Based Models for Higher-Order Theory of Mind. ESSA 2013: 213-224 - [c36]Thiri Haymar Kyaw, Sujata Ghosh, Rineke Verbrugge:
Multi-player Multi-issue Negotiation with Mediator using CP-nets. ICAART (1) 2013: 99-108 - [c35]Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge:
Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA 2013: 255-264 - [c34]Nils Bulling, Sujata Ghosh, Rineke Verbrugge:
Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. PRIMA 2013: 37-53 - [c33]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Higher-Order Theory of Mind in Negotiations under Incomplete Information. PRIMA 2013: 101-116 - [c32]Rineke Verbrugge:
Logic in the Lab. TARK 2013 - [i1]Rineke Verbrugge:
Logic in the Lab. CoRR abs/1310.6323 (2013) - 2012
- [c31]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Higher-order social cognition in rock-paper-scissors: a simulation study. AAMAS 2012: 1195-1196 - [c30]Burcu Arslan, Annette Hohenberger, Rineke Verbrugge:
The Development of Second-order Social Cognition and its Relation with Complex Language Understanding and Memory. CogSci 2012 - [c29]Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge:
Decision Support for Extensive Form Negotiation Games. ISMIS 2012: 105-114 - [p1]Barbara Dunin-Keplicz, Rineke Verbrugge:
A Logical View on Teamwork. Games, Actions and Social Software 2012: 184-212 - [e4]Jakub Szymanik, Rineke Verbrugge:
Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, Opole, Poland, 13-17 August, 2012. CEUR Workshop Proceedings 883, CEUR-WS.org 2012 [contents] - [e3]Jan van Eijck, Rineke Verbrugge:
Games, Actions and Social Software - Multidisciplinary Aspects. Lecture Notes in Computer Science 7010, Springer 2012, ISBN 978-3-642-29325-2 [contents] - 2011
- [j20]Dick de Jongh, Rineke Verbrugge, Albert Visser:
Intermediate Logics and the de Jongh property. Arch. Math. Log. 50(1-2): 197-213 (2011) - [j19]Hans van Ditmarsch, Rineke Verbrugge:
The rules of the game are changing: Scientific impact factors and publication strategies among logicians. J. Log. Comput. 21(2): 121-132 (2011) - [c28]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge:
Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c27]Ben Meijering, Hedderik van Rijn, Niels Taatgen, Rineke Verbrugge:
I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult. CogSci 2011 - [c26]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge:
Deliberation Dialogues during Multi-agent Planning. ISMIS 2011: 170-181 - [c25]Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge:
Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract). LORI 2011: 388-389 - [c24]Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang:
Hidden protocols. TARK 2011: 65-74 - 2010
- [b1]Barbara Dunin-Keplicz, Rineke Verbrugge:
Teamwork in Multi-Agent Systems - A Formal Approach. Wiley series in agent technology, Wiley 2010, ISBN 978-0-470-69988-1, pp. I-XIX, 1-224 - [j18]Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak:
TEAMLOG in action: A case study in teamwork. Comput. Sci. Inf. Syst. 7(3): 569-595 (2010) - [c23]Sujata Ghosh, Ben Meijering, Rineke Verbrugge:
Logic Meets Cognition: Empirical Reasoning in Games. MALLOW 2010
2000 – 2009
- 2009
- [j17]Rineke Verbrugge, Barbara Dunin-Keplicz:
Formal approaches to multi-agent sysems. Auton. Agents Multi Agent Syst. 19(1): 1-3 (2009) - [j16]Egon van Baars, Rineke Verbrugge:
A communication algorithm for teamwork in multi-agent environments. J. Appl. Non Class. Logics 19(4): 431-461 (2009) - [j15]Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge:
Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. 18(2): 291-292 (2009) - [j14]Rineke Verbrugge:
Logic and Social Cognition - The Facts Matter, and so do Computational Models. J. Philos. Log. 38(6): 649-680 (2009) - [c22]Gert van Valkenhoef, Sarvapali D. Ramchurn, Perukrishnen Vytelingum, Nicholas R. Jennings, Rineke Verbrugge:
Continuous Double Auctions with Execution Uncertainty. AMEC/TADA 2009: 226-241 - [c21]Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak:
Case-Study for TeamLog, a Theory of Teamwork. IDC 2009: 87-100 - [c20]Barbara Dunin-Keplicz, Rineke Verbrugge:
Introductory Essay of FAMAS'09. MALLOW 2009 - [c19]Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge:
OOPS: An S5n Prover for Educational Settings. M4M 2009: 249-261 - [e2]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:
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009 [contents] - 2008
- [j13]Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge:
Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. 17(1): 69-87 (2008) - [j12]Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer:
Children's Application of Theory of Mind in Reasoning and Language. J. Log. Lang. Inf. 17(4): 417-442 (2008) - [j11]Rineke Verbrugge, Lisette Mol:
Learning to Apply Theory of Mind. J. Log. Lang. Inf. 17(4): 489-511 (2008) - [j10]Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge:
Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008) - [c18]Elske van der Vaart, Rineke Verbrugge:
Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) 2008: 1145-1152 - 2007
- [j9]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Complexity Issues in Multiagent Logics. Fundam. Informaticae 75(1-4): 239-262 (2007) - [c17]Maaike Harbers, Rineke Verbrugge, Carles Sierra, John K. Debenham:
The Examination of an Information-Based Approach to Trust. COIN 2007: 71-82 - [c16]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168 - [c15]Egon van Baars, Rineke Verbrugge:
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. LADS 2007: 89-105 - [e1]Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga:
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. Lecture Notes in Computer Science 4696, Springer 2007, ISBN 978-3-540-75253-0 [contents] - 2006
- [j8]Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge:
Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. 16(2): 161-175 (2006) - [c14]Barbara Dunin-Keplicz, Rineke Verbrugge:
Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024 - 2005
- [c13]Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge:
Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795 - [c12]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586 - 2004
- [j7]Barbara Dunin-Keplicz, Rineke Verbrugge:
A Tuning Machine for Cooperative Problem Solving. Fundam. Informaticae 63(2-3): 283-307 (2004) - [c11]Karin Zondervan, Rineke Verbrugge, Niels Taatgen:
Modeling the ability to reason about oneself and others in educational contexts. ICCM 2004: 418-419 - [c10]Barbara Dunin-Keplicz, Rineke Verbrugge:
Creating Common Beliefs in Rescue Situations. MSRAS 2004: 69-84 - 2003
- [j6]Barbara Dunin-Keplicz, Rineke Verbrugge:
Evolution of Collective Commitment during Teamwork. Fundam. Informaticae 56(4): 329-371 (2003) - [c9]Barbara Dunin-Keplicz, Rineke Verbrugge:
Calibrating Collective Commitments. CEEMAS 2003: 73-83 - [c8]Barbara Dunin-Keplicz, Rineke Verbrugge:
Dynamics of Collective Attitudes during Teamwork. ESAW 2003: 107-122 - [c7]Barbara Dunin-Keplicz, Rineke Verbrugge:
Dialogue in teamwork. CE 2003: 121-128 - 2002
- [j5]Barbara Dunin-Keplicz, Rineke Verbrugge:
Collective Intentions. Fundam. Informaticae 51(3): 271-295 (2002) - [c6]Barbara Dunin-Keplicz, Rineke Verbrugge:
Evolution of collective commitment during reconfiguration. AAMAS 2002: 1141-1142 - 2001
- [j4]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge:
Creating Collective Intention through Dialogue. Log. J. IGPL 9(2): 289-304 (2001) - 2000
- [c5]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge:
Dialogue in Team Formation. Issues in Agent Communication 2000: 264-280 - [c4]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge:
Agent Theory for Team Formation by Dialogue. ATAL 2000: 150-166
1990 – 1999
- 1999
- [c3]Barbara Dunin-Keplicz, Rineke Verbrugge:
Collective Motivational Attitudes in Cooperative Problem Solving. CEEMAS 1999 - 1998
- [c2]Barbara Dunin-Keplicz, Rineke Verbrugge:
A Reconfiguration Algorithm for the Maintenance of Collective Commitments. ICMAS 1998: 421-422 - 1997
- [c1]Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge:
Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop 1997: 36-56 - 1995
- [j3]Petr Hájek, Dagmar Harmancová, Rineke Verbrugge:
A qualitative fuzzy possibilistic logic. Int. J. Approx. Reason. 12(1): 1-19 (1995) - 1994
- [j2]Rineke Verbrugge, Albert Visser:
A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. 59(3): 785-812 (1994) - 1993
- [j1]Alessandro Berarducci, Rineke Verbrugge:
On the Provability Logic of Bounded Arithmetic. Ann. Pure Appl. Log. 61(1-2): 75-93 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint