Playing extensive form negotiation games: A tool-based analysis (Abstract)
Sujata Ghosh, Sumit Sourabh and Rineke Verbrugge. 2011. In Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI III), Guangzhou.Strategies in games: A logic-automata study
Sujata Ghosh and R. Ramanujam. 2011. Slides of a 5-day course in the 23rd European Summer School in Logic, Language and Information (ESSLLI 2011), Ljubljana.Neighbourhood Structure in Large Games
Soumya Paul and R. Ramanujam. 2011. In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011), Groningen.On combining cognitive and formal modeling: a case study involving strategic reasoning
Sujata Ghosh and Ben Meijering. 2011. In Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives (RAOM), Groningen.Toward a Theory of Play: A Logical Perspective on Games and Interaction
Johan van Benthem, Eric Pacuit and Olivier Roy. 2011. GAMES 2:1.Logic meets cognition: empirical reasoning in games
Sujata Ghosh, Ben Meijering and Rineke Verbrugge. 2010. In Proceedings of the Third workshop on Logics for Resource Bounded Agents (LRBA) in the Third Multi-agent Logics, Languages, and Organisations Federated Workshops (MALLOW), Lyon.Model Checking Logics of Strategic Ability: Complexity
Nils Bulling, Jürgen Dix and Wojciech Jamroga. 2010. In M. Dastani, K. Hindriks, and J.-J. Meyer, eds., Specification and Verification of Multi-Agent Systems.Imitation in large games
Soumya Paul and R. Ramanujam. 2010. In proceedings of the First International Symposium on Games, Automata, Logics and Formal Verification (GandALF).Game Solution, Epistemic Dynamics and Fixed-Point Logics
Johan van Benthem and Amélie Gheerbrant. 2010. Fundamenta Informaticae 100.Playing extensive form games in parallel
Sujata Ghosh, R. Ramanujam and Sunil Simon. 2010. In Proceedings of 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon.Deontic Epistemic stit-Logic Distinguishing Modes of Mens Rea
Jan Broersen. 2010. To appear in Journal of Applied Logic.CTL.STIT: enhancing ATL to express important multi-agent system verification properties
Jan Broersen. 2010. In Proceedings of the the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Toronto.Dependence Theory via Game Theory
Davide Grossi and Paolo Turrini. 2010. In Proceedings of the the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Toronto.An Update Operator for Strategic Ability
Paolo Turrini, Jan Broersen, Rosja Mastop and John-Jules Ch. Meyer. 2009. In Proceedings of the Second International Workshop on Logic, Rationality and Interaction (LORI II), Chongquing, LNAI 5834.Dynamic Restriction of Choices: A Preliminary Logical Report
Soumya Paul, R. Ramanujam and Sunil Simon. 2009. In Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2009), Stanford.Stability under Strategy Switching
Soumya Paul, R. Ramanujam and Sunil Simon. 2009. In Proceedings of the 5th Conference on Computability in Europe (CiE 2009), Hiedelberg, LNCS 5635.Discourses on Social Software
Jan van Eijck and Rineke Verbrugge (eds). 2008.In Praise of Strategies
Johan van Benthem. 2008. ILLC report. To apear in J. van Eijck & R. Verbrugge, eds, follow-up book to NIAS project Games Action and Social Software.A Temporal Logic for Stochastic Multi-Agent Systems
Wojciech Jamroga. 2008. In Proceedings of the 11th Pacific Rim Conference on Multi-Agents (PRIMA).Dynamic Logic on Games with Structured Strategies
R. Ramanujam and Sunil Simon. 2008. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 08), Sydney.A Logical Structure for Strategies
R. Ramanujam and Sunil Simon. 2008. Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games 3.Structured Strategies in Games on Graphs
R. Ramanujam and Sunil Simon. 2008. Logic and Automata: History and Perspectives, Texts in Logic and Games 2.Reasoning in Games
R. Ramanujam and Sunil Simon. 2008. Logic, Navya-Nyaya & Applications. Studies in Logic 15.Strategies made explicit in Dynamic Game Logic
Sujata Ghosh. 2008. In Proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008, Hamburg.Rational Dynamics and Epistemic Logic in Games
Johan van Benthem. 2007. International Game Theory Review 9:1.Constructive Knowledge: What Agents Can Achieve under Imperfect Information
Wojciech Jamroga and Thomas Ågotnes. 2007. Journal of Applied Non-Classical Logics 17:4.Coalition in Action Logic
Stefano Borgo. 2007. In Proceedings of IJCAI 2007, Hyderabad.Alternating-time Temporal Logic with Explicit Strategies
Dirk Walther, Wiebe van der Hoek and Michael Wooldridge. 2007. In Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2007), Brussels.Strategy Logic
Krishnendu Chatterjee, Thomas A. Henzinger and Nir Piterman. 2007. In Proceedings of CONCUR 2007, Lisbon.Preference logic, Conditionals and Solution concepts in Games
Johan van Benthem, Sieuwert van Otterloo and Olivier Roy. 2006. In Lagerlund et al. eds, Modality Matters: Twenty-Five Essays in honour of Krister Segerberg.Open problems in Logic and Games
Johan van Benthem. 2005. In S. Artemov et al. eds, Essays in honour of Dov Gabbay.A Logic for Strategic Reasoning
Wiebe van der Hoek, Wojciech Jamroga and Michael Wooldridge. 2005. In Proceedings of the 4th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Utrecht.Intentions and Strategies in Game-like Scenarios
Wojciech Jamroga, Wiebe van der Hoek and Michael Wooldridge. 2005. In Proceedings of EPIA 2005, Covilha, LNAI 3808.Extensive Games as Process Models
Johan van Benthem. 2002. Journal of Logic, Language and Information.Games in Dynamic Epistemic Logic
Johan van Benthem. 2001. Bulletin of Economic Research 53:4.The Logic of Games and its Applications
Rohit Parikh. 1985. Annals of Discrete Mathematics.