The following pages link to M. J. Wooldridge (Q310096):
Displaying 50 items.
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Knowledge as strategic ability (Q2844048) (← links)
- Temporal and dynamic logic (Q2851821) (← links)
- Automated game analysis via probabilistic model checking: a case study (Q2852033) (← links)
- Boolean Games with Epistemic Goals (Q2859089) (← links)
- Computational Aspects of Cooperative Game Theory (Q2897171) (← links)
- Sequential auctions for common value objects with budget constrained bidders (Q3082127) (← links)
- Knowledge and Action in Semi-public Environments (Q3093999) (← links)
- (Q3158976) (← links)
- A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications (Q3392305) (← links)
- ATL Satisfiability is Indeed EXPTIME-complete (Q3431973) (← links)
- (Q3457195) (← links)
- (Q3457198) (← links)
- (Q3457252) (← links)
- Robust normative systems and a logic of norm compliance (Q3550951) (← links)
- Reasoning About the Transfer of Control (Q3563092) (← links)
- Proof Systems and Transformation Games (Q3586074) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- On the Meta-logic of Arguments (Q3623902) (← links)
- (Q3624076) (← links)
- Logics for Qualitative Coalitional Games (Q3636791) (← links)
- Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms (Q3644781) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Verification of Games in the Game Description Language (Q3656768) (← links)
- Towards a Logic of Rational Agency (Q4408522) (← links)
- (Q4412257) (← links)
- (Q4413376) (← links)
- (Q4421006) (← links)
- (Q4421012) (← links)
- Properties and Complexity of Some Formal Inter-agent Dialogues (Q4444965) (← links)
- (Q4473060) (← links)
- (Q4473087) (← links)
- (Q4511250) (← links)
- (Q4536333) (← links)
- An extension of the Owen-value interaction index and its application to inter-links prediction (Q4576168) (← links)
- Practical reasoning with procedural knowledge (Q4632327) (← links)
- Equilibria of concurrent games on event structures (Q4635631) (← links)
- The cooperative problem-solving process (Q4700099) (← links)
- (Q4738167) (← links)
- (Q4738471) (← links)
- (Q4738878) (← links)
- (Q4739289) (← links)
- (Q4739313) (← links)
- (Q4784831) (← links)
- (Q4813561) (← links)
- Efficient Computation of Semivalues for Game-Theoretic Network Centrality (Q4963217) (← links)
- (Q4972730) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
- (Q5111630) (← links)
