Organisational change through influence

Artificial intelligence: a modern approach

Choice Reviews Online · 1995 · 22.2K citations · Full text

Computing, Computer Science, Artificial Intelligence +13

The Gaia Methodology for Agent-Oriented Analysis and Design

Michael Wooldridge, Nicholas R. Jennings, David Kinny · Autonomous Agents and Multi-Agent Systems · 2000 · 1.9K citations · Full text

Computing, Autonomous Systems, Systems Engineering +13

Modelling social action for AI agents

Cristiano Castelfranchi · Artificial Intelligence · 1998 · 539 citations

Computing, Autonomous Systems, Computer Science +14

A Formal Characterisation of Institutionalised Power

Andrew Jones, Marek Sergot · Logic Journal of IGPL · 1996 · 470 citations

Law, Jurisprudence, Institutional Theory +9

Formal specification

Axel van Lamsweerde · 2000 · 249 citations · Full text

Computing, Computer Science, Documentation +5