Rineke Verbrugge

Pinar Yolum

Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV, 2022

Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Semi-Stable Semantics for Abstract Dialectical Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Empirically Grounded Agent-Based Policy Evaluation of the Adoption of Sustainable Lighting under the European Ecodesign Directive.

[BibT_eX]

[DOI]

Gido Schoenmacker

Wander Jager

Proceedings of the 1st Workshop on Agent-based Modeling and Policy-Making (AMPM2021) co-located with 34th International Conference on Legal Knowledge and Information Systems (JURIX2021), 2021

Argue to Learn: Accelerated Argumentation-Based Learning.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2020

Editors' Review and Introduction: Lying in Logic, Language, and Cognition.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Petra Hendriks

Top. Cogn. Sci., 2020

Local-HDP: Interactive Open-Ended 3D Object Categorization.

[BibT_eX]

[DOI]

CoRR, 2020

Commonly Knowingly Whether.

[BibT_eX]

[DOI]

CoRR, 2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.

[BibT_eX]

[DOI]

Computer, 2020

Testing and Training Theory of Mind for Hybrid Human-agent Environments.

[BibT_eX]

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation.

[BibT_eX]

[DOI]

Marcin Korecki

Malvin Gattinger

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

2019

Training the use of theory of mind using artificial agents.

[BibT_eX]

[DOI]

Kim Veltman

J. Multimodal User Interfaces, 2019

Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Imprecise Probabilities: Theories and Applications, 2019

Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Cross-cultural differences in playing centipede-like games with surprising opponents.

[BibT_eX]

[DOI]

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Handling Unforeseen Failures Using Argumentation-Based Learning.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Studying strategies and types of players: experiments, logics and cognitive models.

[BibT_eX]

[DOI]

Synth., 2018

An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic.

[BibT_eX]

[DOI]

Jakob Dirk Top

Games, 2018

2017

What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality?

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2017

2015

An Agent-Based Dialogical Model with Fuzzy Attitudes.

[BibT_eX]

[DOI]

J. Artif. Soc. Soc. Simul., 2015

Paraconsistent semantics of speech acts.

[BibT_eX]

[DOI]

Andrzej Szalas

Neurocomputing, 2015

Do players reason by forward induction in dynamic perfect information games?

[BibT_eX]

[DOI]

Aviad Heifetz

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Savvy software agents can encourage the use of second-order theory of mind by negotiators.

[BibT_eX]

[DOI]

Eveline Broers

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

How do adults reason about their opponent? Typologies of players in a turn-taking game.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

Teaching Children to Attribute Second-order False Beliefs: A Training Study with Feedback.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

2014

Conditional Preference Networks Support Multi-issue Negotiations with Mediator.

[BibT_eX]

[DOI]

Thiri Haymar Kyaw

Trans. Comput. Collect. Intell., 2014

Strategic Reasoning: Building Cognitive Models from Logical Formulas.

[BibT_eX]

[DOI]

Ben Meijering

J. Log. Lang. Inf., 2014

Hidden protocols: Modifying our expectations in an evolving world.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Tractable Reasoning about Group Beliefs.

[BibT_eX]

[DOI]

Andrzej Szalas

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Computational and algorithmic models of strategies in turn-based games.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Logic and Complexity in Cognitive Science.

[BibT_eX]

[DOI]

Alistair M. C. Isaac

Jakub Szymanik

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop.

[BibT_eX]

[DOI]

Jakub Szymanik

J. Log. Lang. Inf., 2013

Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics.

[BibT_eX]

[DOI]

Piter Dykstra

Corinna Elsenbroich

Wander Jager

J. Artif. Soc. Soc. Simul., 2013

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

How much does it help to know what she knows you know? An agent-based simulation study.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Logic in the Lab.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Higher-Order Theory of Mind in Negotiations under Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games.

[BibT_eX]

[DOI]

Nils Bulling

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Perceiving Speech Acts under Incomplete and Inconsistent Information.

[BibT_eX]

[DOI]

Andrzej Szalas

Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Multi-player Multi-issue Negotiation with Mediator using CP-nets.

[BibT_eX]

Thiri Haymar Kyaw

Proceedings of the ICAART 2013, 2013

Agent-Based Models for Higher-Order Theory of Mind.

[BibT_eX]

[DOI]

Proceedings of the Advances in Social Simulation, 2013

Using intrinsic complexity of turn-taking games to predict participants' reaction times.

[BibT_eX]

[DOI]

Jakub Szymanik

Ben Meijering

Proceedings of the 35th Annual Meeting of the Cognitive Science Society, 2013

Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual Meeting of the Cognitive Science Society, 2013

2012

A Logical View on Teamwork.

[BibT_eX]

[DOI]

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Decision Support for Extensive Form Negotiation Games.

[BibT_eX]

[DOI]

Thiri Haymar Kyaw

Proceedings of the Foundations of Intelligent Systems - 20th International Symposium, 2012

The Development of Second-order Social Cognition and its Relation with Complex Language Understanding and Memory.

[BibT_eX]

[DOI]

Burcu Arslan

Annette Hohenberger

Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

Higher-order social cognition in rock-paper-scissors: a simulation study.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

The rules of the game are changing: Scientific impact factors and publication strategies among logicians.

[BibT_eX]

[DOI]

Hans van Ditmarsch

J. Log. Comput., 2011

Intermediate Logics and the de Jongh property.

[BibT_eX]

[DOI]

Dick de Jongh

Albert Visser

Arch. Math. Log., 2011

Hidden protocols.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract).

[BibT_eX]

[DOI]

Sumit Sourabh

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Deliberation Dialogues during Multi-agent Planning.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult.

[BibT_eX]

[DOI]

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

Modeling Deliberation in Teamwork.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

TEAMLOG in action: A case study in teamwork.

[BibT_eX]

[DOI]

Michal Slizak

Comput. Sci. Inf. Syst., 2010

Logic Meets Cognition: Empirical Reasoning in Games.

[BibT_eX]

[DOI]

Ben Meijering

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Teamwork in Multi-Agent Systems - A Formal Approach.

[BibT_eX]

[DOI]

Wiley series in agent technology, Wiley, ISBN: 978-0-470-69988-1, 2010

2009

Logic and Social Cognition - The Facts Matter, and so do Computational Models.

[BibT_eX]

[DOI]

J. Philos. Log., 2009

Strong Completeness and Limited Canonicity for PDL.

[BibT_eX]

[DOI]

Barteld P. Kooi

J. Log. Lang. Inf., 2009

A communication algorithm for teamwork in multi-agent environments.

[BibT_eX]

[DOI]

Egon van Baars

J. Appl. Non Class. Logics, 2009

OOPS: An S5<sub>n</sub> Prover for Educational Settings.

[BibT_eX]

[DOI]

Gert van Valkenhoef

Elske van der Vaart

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Formal approaches to multi-agent sysems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2009

Introductory Essay of FAMAS'09.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Case-Study for TeamLog, a Theory of Teamwork.

[BibT_eX]

[DOI]

Michal Slizak

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Continuous Double Auctions with Execution Uncertainty.

[BibT_eX]

[DOI]

Gert van Valkenhoef

Sarvapali D. Ramchurn

Perukrishnen Vytelingum

Nicholas R. Jennings

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009

2008

Sum and Product in Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Hans P. van Ditmarsch

Ji Ruan

J. Log. Comput., 2008

Learning to Apply Theory of Mind.

[BibT_eX]

[DOI]

Lisette Mol

J. Log. Lang. Inf., 2008

Children's Application of Theory of Mind in Reasoning and Language.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2008

Agent-based models for animal cognition: a proposal and prototype.

[BibT_eX]

[DOI]

Elske van der Vaart

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Complexity Issues in Multiagent Logics.

[BibT_eX]

[DOI]

Marcin Dziubinski

Fundam. Informaticae, 2007

Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS.

[BibT_eX]

[DOI]

Egon van Baars

Proceedings of the Languages, 2007

The Examination of an Information-Based Approach to Trust.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2007

Reducing the complexity of logics for multiagent systems.

[BibT_eX]

[DOI]

Marcin Dziubinski

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Hybrid Logics with Infinitary Proof Systems.

[BibT_eX]

[DOI]

Barteld P. Kooi

J. Log. Comput., 2006

Awareness as a vital ingredient of teamwork.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Complexity of a theory of collective attitudes in teamwork.

[BibT_eX]

[DOI]

Marcin Dziubinski

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Model Checking Sum and Product.

[BibT_eX]

[DOI]

Hans P. van Ditmarsch

Ji Ruan

L. C. Verbrugge

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

A Tuning Machine for Cooperative Problem Solving.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Creating Common Beliefs in Rescue Situations.

[BibT_eX]

[DOI]

Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Modeling the ability to reason about oneself and others in educational contexts.

[BibT_eX]

[DOI]

Karin Zondervan

Niels Taatgen

Proceedings of the International Conference on Cognitive Modelling, 2004

2003

Evolution of Collective Commitment during Teamwork.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Dialogue in teamwork.

[BibT_eX]

Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

Dynamics of Collective Attitudes during Teamwork.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World IV, 2003

Calibrating Collective Commitments.

[BibT_eX]

[DOI]