Michael__Wooldridge
A decision procedure for a temporal belief logic
A framework for argumentation-based negotiation
Agent-Based Software Engineering
Coherent social action
Computationally grounded theories of agency
Formalizing the cooperative problem solving process
Intelligent agents: Theory and practice
Intention reconsideration reconsidered
Pitfalls of agent-oriented development
The computational complexity of qualitative coalitional games
The Gaia Methodology for Agent-Oriented Analysis and Design
This is MyWorld: The Logic of an Agent-Oriented DAI Testbed
Towards a Theory of Cooperative Problem Solving
Verifiable semantics for agent communication languages
Verifying that Agents Implement a Communication Language