Abductive logic programming AC Kakas, RA Kowalski, F Toni Journal of logic and computation 2 (6), 719-770, 1992 | 1121 | 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 | 537 | 1998 |
Generalized Stable Models: A Semantics for Abduction. AC Kakas, P Mancarella ECAI 90, 385-391, 1990 | 324 | 1990 |
Database Updates through Abduction. AC Kakas, P Mancarella VLDB 90, 650-661, 1990 | 319 | 1990 |
Argumentation based decision making for autonomous agents A Kakas, P Moraitis Proceedings of the second international joint conference on Autonomous …, 2003 | 318 | 2003 |
Abduction and Induction: Essays on their relation and integration PA Flach, AC Kakas Springer Science & Business Media, 2000 | 286 | 2000 |
Abduction in logic programming M Denecker, A Kakas Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002 | 250 | 2002 |
The acceptability semantics for logic programs AC Kakas, P Mancarella, PM Dung | 160 | 1994 |
The KGP model of agency AC Kakas, P Mancarella, F Sadri, K Stathis, F Toni ECAI 16, 33, 2004 | 137 | 2004 |
A simple declarative language for describing narratives with actions A Kakas, R Miller The Journal of Logic Programming 31 (1-3), 157-200, 1997 | 136 | 1997 |
ACLP: Abductive constraint logic programming AC Kakas, A Michael, C Mourlas The Journal of Logic Programming 44 (1-3), 129-177, 2000 | 134 | 2000 |
On the relation between Truth Maintenance and Abduction AC Kakas Proc. PRICAI'90, 438-443, 1990 | 128 | 1990 |
Abductive and inductive reasoning: background and issues PA Flach, AC Kakas Abduction and induction: Essays on their relation and integration, 1-27, 2000 | 125 | 2000 |
Application of abductive ILP to learning metabolic network inhibition from temporal data A Tamaddoni-Nezhad, R Chaleil, A Kakas, S Muggleton Machine Learning 64, 209-230, 2006 | 114 | 2006 |
A-system: Problem solving through abduction B Van Nuffelen BNAIC 1, 591-596, 2001 | 108 | 2001 |
Adaptive agent negotiation via argumentation A Kakas, P Moraitis Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 105 | 2006 |
Logic programming without negation as failure Y Dimopoulos, A Kakas | 105 | 1995 |
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 | 104 | 1984 |
A group theoretical approach to the canonical quantisation of gravity. ii. unitary representations of the canonical group CJ Isham, AC Kakas Classical and Quantum Gravity 1 (6), 633, 1984 | 77 | 1984 |
Using argumentation logic for firewall policy specification and analysis AK Bandara, A Kakas, EC Lupu, A Russo Large Scale Management of Distributed Systems: 17th IFIP/IEEE International …, 2006 | 73 | 2006 |