| Publication | Date of Publication | Type |
|---|
| On Imperfect Recall in Multi-Agent Influence Diagrams | 2024-02-28 | Paper |
| Incentive Engineering for Concurrent Games | 2024-02-28 | Paper |
| On the complexity of rational verification | 2023-08-21 | Paper |
| Reasoning about causality in games | 2023-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875383 | 2023-02-03 | Paper |
| Cooperative concurrent games | 2023-01-04 | Paper |
| Defense coordination in security games: equilibrium analysis and mechanism design | 2022-11-08 | Paper |
| Partial order games | 2022-03-09 | Paper |
| Mean-payoff games with \(\omega\)-regular specifications | 2022-03-09 | Paper |
| Equilibria for games with combined qualitative and quantitative objectives | 2021-12-15 | Paper |
| Behavioural strategies in weighted Boolean games | 2021-02-08 | Paper |
| Multi-player games with LDL goals over finite traces | 2021-02-08 | Paper |
| Automated temporal equilibrium analysis: verification and synthesis of multi-player games | 2020-11-16 | Paper |
| Weighted Voting Games | 2020-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111630 | 2020-05-27 | Paper |
| Program models and semi-public environments | 2020-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4972730 | 2019-11-26 | Paper |
| Łukasiewicz logics for cooperative games | 2019-08-28 | Paper |
| Practical reasoning with procedural knowledge | 2019-04-29 | Paper |
| Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach | 2019-03-27 | Paper |
| Efficient Computation of Semivalues for Game-Theoretic Network Centrality | 2018-11-01 | Paper |
| An extension of the Owen-value interaction index and its application to inter-links prediction | 2018-07-12 | Paper |
| The stochastic Shapley value for coalitional games with externalities | 2018-07-12 | Paper |
| Forming \(k\) coalitions and facilitating relationships in social networks | 2018-06-26 | Paper |
| Imperfect information in reactive modules games | 2018-06-14 | Paper |
| Equilibria of concurrent games on event structures | 2018-04-23 | Paper |
| From model checking to equilibrium checking: reactive modules for rational verification | 2017-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357709 | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282986 | 2017-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283048 | 2017-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282987 | 2017-07-18 | Paper |
| Łukasiewicz Games | 2017-07-12 | Paper |
| Partial-order Boolean games: informational independence in a logic-based model of strategic interaction | 2017-03-14 | Paper |
| Reasoning about equilibria in game-like concurrent systems | 2016-12-02 | Paper |
| Hard and soft preparation sets in Boolean games | 2016-09-07 | Paper |
| A Tool for the Automated Verification of Nash Equilibria in Concurrent Games | 2016-02-25 | Paper |
| A hybrid exact algorithm for complete set partitioning | 2015-12-23 | Paper |
| Coalition structure generation: a survey | 2015-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457198 | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457252 | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457195 | 2015-12-11 | Paper |
| Iterated Boolean games | 2015-06-01 | Paper |
| Completeness and Complexity of Multi-modal CTL | 2015-03-23 | Paper |
| Manipulating games by sharing information | 2014-06-19 | Paper |
| Boolean Games with Epistemic Goals | 2013-11-06 | Paper |
| Automated game analysis via probabilistic model checking: a case study | 2013-10-07 | Paper |
| Temporal and dynamic logic | 2013-10-04 | Paper |
| Knowledge as strategic ability | 2013-08-27 | Paper |
| Incentive engineering for Boolean games | 2013-08-26 | Paper |
| Program equilibrium -- a program reasoning approach | 2013-08-19 | Paper |
| Proof systems and transformation games | 2013-07-19 | Paper |
| On the evaluation of election outcomes under uncertainty | 2012-11-15 | Paper |
| Anytime coalition structure generation in multi-agent systems with positive or negative externalities | 2012-11-15 | Paper |
| Computational Aspects of Cooperative Game Theory | 2012-07-09 | Paper |
| Reasoning about social choice functions | 2011-12-15 | Paper |
| Knowledge and Action in Semi-public Environments | 2011-10-19 | Paper |
| Weighted argument systems: basic definitions, algorithms, and complexity results | 2011-06-17 | Paper |
| Sequential auctions for common value objects with budget constrained bidders | 2011-03-09 | Paper |
| Postulates for revising BDI structures | 2011-02-25 | Paper |
| Proof Systems and Transformation Games | 2010-09-03 | Paper |
| Reasoning About the Transfer of Control | 2010-05-31 | Paper |
| Robust normative systems and a logic of norm compliance | 2010-04-08 | Paper |
| Solving coalitional resource games | 2010-03-16 | Paper |
| On the computational complexity of weighted voting games | 2010-03-15 | Paper |
| Verification of Games in the Game Description Language | 2010-01-14 | Paper |
| A logical characterisation of qualitative coalitional games | 2009-11-30 | Paper |
| Multi-modal CTL: completeness, complexity, and an application | 2009-11-16 | Paper |
| Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms | 2009-11-12 | Paper |
| Reasoning about coalitional games | 2009-08-20 | Paper |
| A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications | 2009-08-14 | Paper |
| A linear approximation method for the Shapley value | 2009-07-17 | Paper |
| Logics for Qualitative Coalitional Games | 2009-06-29 | Paper |
| Quantified coalition logic | 2009-06-16 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624076 | 2009-04-28 | Paper |
| On the Meta-logic of Arguments | 2009-04-28 | Paper |
| Knowledge condition games | 2009-03-24 | Paper |
| Model Checking Strategic Equilibria | 2009-03-17 | Paper |
| A Temporal Logic of Normative Systems | 2009-02-05 | Paper |
| On the Relevance of Utterances in Formal Inter-agent Dialogues | 2008-05-06 | Paper |
| Programming Multi-Agent Systems in AgentSpeak usingJason | 2008-01-08 | Paper |
| The complexity of contract negotiation | 2007-10-23 | Paper |
| On the computational complexity of coalitional resource games | 2007-10-23 | Paper |
| On the logic of cooperation and propositional control | 2007-10-23 | Paper |
| Towards a theory of intention revision | 2007-06-14 | Paper |
| ATL Satisfiability is Indeed EXPTIME-complete | 2007-04-13 | Paper |
| The complexity of agent design problems: Determinism and history dependence | 2006-09-12 | Paper |
| On the computational complexity of qualitative coalitional games | 2006-02-07 | Paper |
| An agenda-based framework for multi-issue negotiation | 2006-02-07 | Paper |
| Bargaining with incomplete information | 2006-01-23 | Paper |
| On obligations and normative ability: Towards a logical analysis of the social contract | 2005-10-10 | Paper |
| Argumentation in Multi-Agent Systems | 2005-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3158976 | 2005-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813561 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739313 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739289 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738471 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738167 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738878 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473087 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473060 | 2004-08-04 | Paper |
| Properties and Complexity of Some Formal Inter-agent Dialogues | 2004-01-28 | Paper |
| Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications | 2004-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421012 | 2003-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421006 | 2003-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413376 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412257 | 2003-07-14 | Paper |
| Towards a Logic of Rational Agency | 2003-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784831 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536333 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763053 | 2002-01-14 | Paper |
| Reasoning about rational agents | 2001-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728937 | 2001-10-23 | Paper |
| A computationally grounded logic of visibility, perception, and knowledge | 2001-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511250 | 2000-10-30 | Paper |
| The cooperative problem-solving process | 1999-10-31 | Paper |
