| # | Title | Journal | Year | Citations |
|---|
| 1 | The Gaia Methodology for Agent-Oriented Analysis and Design | Autonomous Agents and Multi-Agent Systems | 2000 | 1,264 |
| 2 | Automated Negotiation: Prospects, Methods and Challenges | Group Decision and Negotiation | 2001 | 1,002 |
| 3 | Convolutional Neural Networks for Diabetic Retinopathy | Procedia Computer Science | 2016 | 593 |
| 4 | Argumentation in artificial intelligence | Artificial Intelligence | 2007 | 492 |
| 5 | Argumentation-based negotiation | Knowledge Engineering Review | 2003 | 385 |
| 6 | Introduction to Non-Linear Optimization | | 1985 | 385 |
| 7 | A particle swarm optimizer with passive congregation | BioSystems | 2004 | 320 |
| 8 | A Classification Scheme for Negotiation in Electronic Commerce | Group Decision and Negotiation | 2003 | 302 |
| 9 | An agenda-based framework for multi-issue negotiation | Artificial Intelligence | 2004 | 301 |
| 10 | Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. | Artificial Intelligence | 2001 | 264 |
| 11 | A survey of frequent subgraph mining algorithms | Knowledge Engineering Review | 2013 | 232 |
| 12 | Intelligent tutoring systems: an overview | Artificial Intelligence Review | 1990 | 221 |
| 13 | Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications | Studia Logica | 2003 | 189 |
| 14 | Weighted argument systems: Basic definitions, algorithms, and complexity results | Artificial Intelligence | 2011 | 179 |
| 15 | Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents | Journal of Logic, Language and Information | 2002 | 172 |
| 16 | Agent-Oriented Software Engineering: The State of the Art | Lecture Notes in Computer Science | 2001 | 170 |
| 17 | A hidden agenda | Theoretical Computer Science | 2000 | 165 |
| 18 | A Manifesto for Agent Technology: Towards Next Generation Computing | Autonomous Agents and Multi-Agent Systems | 2004 | 163 |
| 19 | Formal Specification and Verification of Autonomous Robotic Systems | ACM Computing Surveys | 2020 | 153 |
| 20 | Parameter Estimation of Photovoltaic Models via Cuckoo Search | Journal of Applied Mathematics | 2013 | 152 |
| 21 | Minimal navigation solution for a swarm of tiny flying robots to explore an unknown environment | Science Robotics | 2019 | 148 |
| 22 | Grading student programs using ASSYST | | 1997 | 145 |
| 23 | Deterministic broadcasting in ad hoc radio networks | Distributed Computing | 2002 | 145 |
| 24 | Practical reasoning as presumptive argumentation using action based alternating transition systems | Artificial Intelligence | 2007 | 142 |
| 25 | Game Theory and Decision Theory in Multi-Agent Systems | Autonomous Agents and Multi-Agent Systems | 2002 | 141 |
| 26 | -connections of abstract description systems | Artificial Intelligence | 2004 | 141 |
| 27 | Efficient Optical Flow and Stereo Vision for Velocity Estimation and Obstacle Avoidance on an Autonomous Pocket Drone | IEEE Robotics and Automation Letters | 2017 | 141 |
| 28 | Deterministic Rendezvous in Graphs | Algorithmica | 2006 | 139 |
| 29 | A linear approximation method for the Shapley value | Artificial Intelligence | 2008 | 136 |
| 30 | Fast broadcasting and gossiping in radio networks | Journal of Algorithms | 2002 | 135 |
| 31 | Organisational Abstractions for the Analysis and Design of Multi-agent Systems | Lecture Notes in Computer Science | 2001 | 131 |
| 32 | Coherence in finite argument systems | Artificial Intelligence | 2002 | 131 |
| 33 | Model checking agent programming languages | Automated Software Engineering | 2012 | 127 |
| 34 | Modelling dialogues using argumentation | | 0 | 126 |
| 35 | The Atmospheric River Tracking Method Intercomparison Project (ARTMIP): Quantifying Uncertainties in Atmospheric River Climatology | Journal of Geophysical Research D: Atmospheres | 2019 | 126 |
| 36 | Formal verification of ethical choices in autonomous systems | Robotics and Autonomous Systems | 2016 | 124 |
| 37 | Computational Representation of Practical Argument | SynthÈse | 2006 | 123 |
| 38 | Driving posture recognition by convolutional neural networks | IET Computer Vision | 2016 | 117 |
| 39 | ORGANISATIONAL RULES AS AN ABSTRACTION FOR THE ANALYSIS AND DESIGN OF MULTI-AGENT SYSTEMS | International Journal of Software Engineering and Knowledge Engineering | 2001 | 116 |
| 40 | Collective tree exploration | Networks | 2006 | 113 |
| 41 | Data structure for association rule mining: T-trees and P-trees | IEEE Transactions on Knowledge and Data Engineering | 2004 | 112 |
| 42 | Negotiation among autonomous computational agents: principles, analysis and challenges | Artificial Intelligence Review | 2008 | 111 |
| 43 | A new method for mining Frequent Weighted Itemsets based on WIT-trees | Expert Systems With Applications | 2013 | 110 |
| 44 | Temporal Description Logics: A Survey | | 2008 | 109 |
| 45 | The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System | Autonomous Agents and Multi-Agent Systems | 2004 | 106 |
| 46 | A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law | Artificial Intelligence and Law | 2012 | 106 |
| 47 | Social media and pharmacovigilance: A review of the opportunities and challenges | British Journal of Clinical Pharmacology | 2015 | 103 |
| 48 | THE COMPUTATIONAL COMPLEXITY OF THE PROBLEM OF DETERMINING LEAST CAPITAL COST DESIGNS FOR WATER SUPPLY NETWORKS | Engineering Optimization | 1984 | 102 |
| 49 | Reasoning in Description Logics by a Reduction to Disjunctive Datalog | Journal of Automated Reasoning | 2007 | 101 |
| 50 | Tree Structures for Mining Association Rules | Data Mining and Knowledge Discovery | 2004 | 100 |
