| Publication | Date of Publication | Type |
|---|
| Characterising and verifying the core in concurrent multi-player mean-payoff games | 2026-02-19 | Paper |
Designing equilibria in concurrent games with social welfare and temporal logic constraints
Logical Methods in Computer Science | 2025-01-31 | Paper |
On Imperfect Recall in Multi-Agent Influence Diagrams
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Incentive Engineering for Concurrent Games
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
On the complexity of rational verification
Annals of Mathematics and Artificial Intelligence | 2023-08-21 | Paper |
Reasoning about causality in games
Artificial Intelligence | 2023-06-27 | Paper |
scientific article; zbMATH DE number 7649930 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Cooperative concurrent games
Artificial Intelligence | 2023-01-04 | Paper |
Defense coordination in security games: equilibrium analysis and mechanism design
Artificial Intelligence | 2022-11-08 | Paper |
Mean-payoff games with \(\omega\)-regular specifications
Games | 2022-03-09 | Paper |
Partial order games
Games | 2022-03-09 | Paper |
Equilibria for games with combined qualitative and quantitative objectives
Acta Informatica | 2021-12-15 | Paper |
Behavioural strategies in weighted Boolean games
Information and Computation | 2021-02-08 | Paper |
Multi-player games with LDL goals over finite traces
Information and Computation | 2021-02-08 | Paper |
Automated temporal equilibrium analysis: verification and synthesis of multi-player games
Artificial Intelligence | 2020-11-16 | Paper |
| Weighted voting games | 2020-11-12 | Paper |
| Nash equilibrium and bisimulation invariance | 2020-05-27 | Paper |
Program models and semi-public environments
Journal Of Logic And Computation | 2020-02-13 | Paper |
scientific article; zbMATH DE number 7136658 (Why is no real title available?)
(available as arXiv preprint) | 2019-11-26 | Paper |
Łukasiewicz logics for cooperative games
Artificial Intelligence | 2019-08-28 | Paper |
Practical reasoning with procedural knowledge (a logic of BDI agents with know-how)
Practical Reasoning | 2019-04-29 | Paper |
Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach
Journal of Economic Dynamics and Control | 2019-03-27 | Paper |
Efficient computation of semivalues for game-theoretic network centrality
Journal of Artificial Intelligence Research | 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
Games and Economic Behavior | 2018-07-12 | Paper |
Forming \(k\) coalitions and facilitating relationships in social networks
Artificial Intelligence | 2018-06-26 | Paper |
Imperfect information in reactive modules games
Information and Computation | 2018-06-14 | Paper |
Equilibria of concurrent games on event structures
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
From model checking to equilibrium checking: reactive modules for rational verification
Artificial Intelligence | 2017-09-29 | Paper |
| Expressiveness and complexity results for strategic reasoning | 2017-09-12 | Paper |
| A centrality measure for networks with community structure based on a generalization of the Owen value | 2017-07-18 | Paper |
| Bargaining for coalition structure formation | 2017-07-18 | Paper |
| scientific article; zbMATH DE number 6747908 (Why is no real title available?) | 2017-07-18 | Paper |
Łukasiewicz games: a logic-based approach to quantitative strategic interactions
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Synthese | 2017-03-14 | Paper |
Reasoning about equilibria in game-like concurrent systems
Annals of Pure and Applied Logic | 2016-12-02 | Paper |
Hard and soft preparation sets in Boolean games
Studia Logica | 2016-09-07 | Paper |
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
A hybrid exact algorithm for complete set partitioning
Artificial Intelligence | 2015-12-23 | Paper |
Coalition structure generation: a survey
Artificial Intelligence | 2015-12-22 | Paper |
| Delegating decisions in strategic settings | 2015-12-11 | Paper |
| Bad equilibria (and what to do about them) | 2015-12-11 | Paper |
| Conservative social laws | 2015-12-11 | Paper |
Iterated Boolean games
Information and Computation | 2015-06-01 | Paper |
Completeness and complexity of multi-modal CTL
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Manipulating games by sharing information
Studia Logica | 2014-06-19 | Paper |
Boolean games with epistemic goals
Logic, Rationality, and Interaction | 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
Artificial Intelligence | 2013-08-26 | Paper |
Program equilibrium -- a program reasoning approach
International Journal of Game Theory | 2013-08-19 | Paper |
Proof systems and transformation games
Annals of Mathematics and Artificial Intelligence | 2013-07-19 | Paper |
On the evaluation of election outcomes under uncertainty
Artificial Intelligence | 2012-11-15 | Paper |
Anytime coalition structure generation in multi-agent systems with positive or negative externalities
Artificial Intelligence | 2012-11-15 | Paper |
Computational Aspects of Cooperative Game Theory
Synthesis Lectures on Artificial Intelligence and Machine Learning | 2012-07-09 | Paper |
Reasoning about social choice functions
Journal of Philosophical Logic | 2011-12-15 | Paper |
Knowledge and action in semi-public environments
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Weighted argument systems: basic definitions, algorithms, and complexity results
Artificial Intelligence | 2011-06-17 | Paper |
Sequential auctions for common value objects with budget constrained bidders
Multiagent and Grid Systems | 2011-03-09 | Paper |
Postulates for revising BDI structures
Synthese | 2011-02-25 | Paper |
Proof systems and transformation games
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Reasoning about the transfer of control
Journal of Artificial Intelligence Research | 2010-05-31 | Paper |
Robust normative systems and a logic of norm compliance
Logic Journal of the IGPL | 2010-04-08 | Paper |
Solving coalitional resource games
Artificial Intelligence | 2010-03-16 | Paper |
On the computational complexity of weighted voting games
Annals of Mathematics and Artificial Intelligence | 2010-03-15 | Paper |
Verification of games in the game description language
Journal Of Logic And Computation | 2010-01-14 | Paper |
A logical characterisation of qualitative coalitional games
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Multi-modal CTL: completeness, complexity, and an application
Studia Logica | 2009-11-16 | Paper |
Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms
Lecture Notes in Computer Science | 2009-11-12 | Paper |
Reasoning about coalitional games
Artificial Intelligence | 2009-08-20 | Paper |
A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
Mathematical Logic Quarterly | 2009-08-14 | Paper |
A linear approximation method for the Shapley value
Artificial Intelligence | 2009-07-17 | Paper |
Logics for Qualitative Coalitional Games
Logic Journal of the IGPL | 2009-06-29 | Paper |
Quantified coalition logic
Synthese | 2009-06-16 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
scientific article; zbMATH DE number 5547888 (Why is no real title available?)
(available as arXiv preprint) | 2009-04-28 | Paper |
On the Meta-logic of Arguments
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Knowledge condition games
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence | 2009-03-17 | Paper |
A Temporal Logic of Normative Systems
Towards Mathematical Philosophy | 2009-02-05 | Paper |
On the Relevance of Utterances in Formal Inter-agent Dialogues
Lecture Notes in Computer Science | 2008-05-06 | Paper |
Programming Multi-Agent Systems in AgentSpeak usingJason
Wiley Series in Agent Technology | 2008-01-08 | Paper |
The complexity of contract negotiation
Artificial Intelligence | 2007-10-23 | Paper |
On the computational complexity of coalitional resource games
Artificial Intelligence | 2007-10-23 | Paper |
On the logic of cooperation and propositional control
Artificial Intelligence | 2007-10-23 | Paper |
Towards a theory of intention revision
Synthese | 2007-06-14 | Paper |
ATL Satisfiability is Indeed EXPTIME-complete
Journal Of Logic And Computation | 2007-04-13 | Paper |
The complexity of agent design problems: Determinism and history dependence
Annals of Mathematics and Artificial Intelligence | 2006-09-12 | Paper |
On the computational complexity of qualitative coalitional games
Artificial Intelligence | 2006-02-07 | Paper |
An agenda-based framework for multi-issue negotiation
Artificial Intelligence | 2006-02-07 | Paper |
Bargaining with incomplete information
Annals of Mathematics and Artificial Intelligence | 2006-01-23 | Paper |
On obligations and normative ability: Towards a logical analysis of the social contract
Journal of Applied Logic | 2005-10-10 | Paper |
Argumentation in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-09-14 | Paper |
| scientific article; zbMATH DE number 2131727 (Why is no real title available?) | 2005-02-01 | Paper |
| scientific article; zbMATH DE number 2090957 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2088172 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2088153 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087624 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087385 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087869 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080340 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080362 (Why is no real title available?) | 2004-08-04 | Paper |
Properties and Complexity of Some Formal Inter-agent Dialogues
Journal Of Logic And Computation | 2004-01-28 | Paper |
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
Studia Logica | 2004-01-23 | Paper |
| scientific article; zbMATH DE number 1966914 (Why is no real title available?) | 2003-08-18 | Paper |
| scientific article; zbMATH DE number 1966917 (Why is no real title available?) | 2003-08-18 | Paper |
| scientific article; zbMATH DE number 1950652 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1949006 (Why is no real title available?) | 2003-07-14 | Paper |
Towards a Logic of Rational Agency
Logic Journal of the IGPL | 2003-06-29 | Paper |
| scientific article; zbMATH DE number 1844465 (Why is no real title available?) | 2002-12-12 | Paper |
| scientific article; zbMATH DE number 1759385 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1689875 (Why is no real title available?) | 2002-01-14 | Paper |
| Reasoning about rational agents | 2001-11-19 | Paper |
| scientific article; zbMATH DE number 1629876 (Why is no real title available?) | 2001-10-23 | Paper |
A computationally grounded logic of visibility, perception, and knowledge
Logic Journal of the IGPL | 2001-05-16 | Paper |
| scientific article; zbMATH DE number 1522955 (Why is no real title available?) | 2000-10-30 | Paper |
The cooperative problem-solving process
Journal Of Logic And Computation | 1999-10-31 | Paper |
