| Abductive logic programming AC Kakas, RA Kowalski, F Toni Journal of logic and computation 2 (6), 719-770, 1992 | 978 | 1992 |
| The role of abduction in logic programming AC Kakas, RA Kowalski, F Toni Handbook of logic in artificial intelligence and logic programming 5, 235-324, 1998 | 493 | 1998 |
| Generalized Stable Models: A Semantics for Abduction. AC Kakas, P Mancarella ECAI 90, 385-391, 1990 | 306 | 1990 |
| Database Updates through Abduction. AC Kakas, P Mancarella VLDB 90, 650-661, 1990 | 304 | 1990 |
| Argumentation based decision making for autonomous agents A Kakas, P Moraitis Proceedings of the second international joint conference on Autonomous …, 2003 | 268 | 2003 |
| Abduction and Induction: Essays on their relation and integration PA Flach, A Hadjiantonis Springer Science & Business Media, 2013 | 263 | 2013 |
| Abduction in logic programming M Denecker, A Kakas Computational logic: Logic programming and beyond, 402-436, 2002 | 207 | 2002 |
| The Acceptability Semantics for Logic Programs. AC Kakas, P Mancarella, PM Dung ICLP 94, 504-519, 1994 | 143 | 1994 |
| The KGP model of agency A Kakas, P Mancarella, F Sadri, K Stathis, F Toni Proceedings of the 16th European Conference on Artificial Intelligence, 28-32, 2004 | 131 | 2004 |
| ACLP: Abductive constraint logic programming AC Kakas, A Michael, C Mourlas The Journal of Logic Programming 44 (1-3), 129-177, 2000 | 130 | 2000 |
| A simple declarative language for describing narratives with actions A Kakas, R Miller The Journal of Logic Programming 31 (1-3), 157-200, 1997 | 127 | 1997 |
| On the relation between Truth Maintenance and Abduction AC Kakas Proc. PRICAI'90, 438-443, 1990 | 120 | 1990 |
| A-system: Problem solving through abduction AC Kakas, B Van Nuffelen, M Denecker Proceedings of the seventeenth international joint conference on artificial …, 2001 | 101 | 2001 |
| Logic Programming without Negation as Failure. Y Dimopoulos, AC Kakas ILPS, 369-383, 1995 | 97 | 1995 |
| Application of abductive ILP to learning metabolic network inhibition from temporal data A Tamaddoni-Nezhad, R Chaleil, A Kakas, S Muggleton Machine Learning 64 (1-3), 209-230, 2006 | 96 | 2006 |
| A group theoretical approach to the canonical quantisation of gravity. I. Construction of the canonical group CJ Isham, AC Kakas Classical and Quantum Gravity 1 (6), 621, 1984 | 92 | 1984 |
| Practice and Theory of Automated Timetabling III: Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers E Burke, W Erben Springer, 2003 | 91 | 2003 |
| Abductive and inductive reasoning: background and issues PA Flach, AC Kakas Abduction and induction, 1-27, 2000 | 85 | 2000 |
| Adaptive agent negotiation via argumentation A Kakas, P Moraitis Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 84 | 2006 |
| Dynamic modeling of a disturbance in a multi-agent system for traffic regulation F Balbo, S Pinson Decision Support Systems 41 (1), 131-146, 2005 | 77 | 2005 |
Francesca ToniImperial College LondonVerified email at imperial.ac.uk
