Concepedia

Michael Wooldridge

MW

61

Publications

4.2K

Citations

31

H-Index

1991

Active since

Affiliations

University of Liverpool(Current)

Queen Mary University of London

University of Oxford

University of Aberdeen

Universitat de Barcelona

Michael Wooldridge is an author at University of Liverpool specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsMechanism DesignFormal VerificationSystems EngineeringIntelligent SystemsMulti-agent SystemsSemantics

Publications per year

1991–2018

61

Publications

61

Agent-based software engineering

Michael Wooldridge · IEE Proceedings - Software Engineering · 1997 · 799 citations

Software Maintenance, Engineering, Software Engineering +17

Weighted argument systems: Basic definitions, algorithms, and complexity results

Paul E. Dunne, Anthony Hunter, Peter McBurney et al. · Artificial Intelligence · 2010 · 274 citations

Engineering, Argumentation Analysis, Argumentation Framework +7

Verifying Multi-agent Programs by Model Checking

Rafael H. Bordini, Michael Fisher, Willem Visser et al. · Autonomous Agents and Multi-Agent Systems · 2006 · 163 citations · Full text

Program Checking, Engineering, Program Analysis +8

Model checking agentspeak

Rafael H. Bordini, Michael Fisher, Carmen Pardavila et al. · 2003 · 161 citations

Engineering, Verification, Computer-aided Verification +16

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System

Mark d’Inverno, Michael Georgeff, David Kinny et al. · Autonomous Agents and Multi-Agent Systems · 2004 · 159 citations

Distributed Reasoning, Engineering, Reasoning System +13

Rows per page

1–5 of 61