| Logic for problem solving R Kowalski, S Smoliar ACM SIGSOFT Software Engineering Notes 7 (2), 61-62, 1982 | 3100 | 1982 |
| A logic-based calculus of events R Kowalski, M Sergot New generation computing 4, 67-95, 1986 | 2689 | 1986 |
| The Semantics of Predicate Logic as a Programming Language M Van Emden, R Kowalski Journal of the ACM (JACM) 23 (4), 733-742, 1976 | 2281 | 1976 |
| Predicate Logic as Programming Language R Kowalski IFIP, 569-574, 1974 | 1729 | 1974 |
| Algorithm= logic+ control R Kowalski Communications of the ACM 22 (7), 424-436, 1979 | 1330 | 1979 |
| Abductive logic programming AC Kakas, RA Kowalski, F Toni Journal of logic and computation 2 (6), 719-770, 1992 | 1126 | 1992 |
| An abstract, argumentation-theoretic approach to default reasoning A Bondarenko, PM Dung, RA Kowalski, F Toni Artificial intelligence 93 (1-2), 63-101, 1997 | 1049 | 1997 |
| The British Nationality Act as a logic program MJ Sergot, F Sadri, RA Kowalski, F Kriwaczek, P Hammond, HT Cory Communications of the ACM 29 (5), 370-386, 1986 | 819 | 1986 |
| Amalgamating language and metalanguage in logic programming KA Bowen Logic programming, 1982 | 638 | 1982 |
| Linear resolution with selection function R Kowalski, D Kuehner Artificial Intelligence 2 (3-4), 227-260, 1971 | 621 | 1971 |
| 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 | 549 | 1998 |
| Abduction Compared with Negation by Failure. K Eshghi, RA Kowalski ICLP 89, 234-255, 1989 | 546 | 1989 |
| A proof procedure using connection graphs R Kowalski Journal of the ACM (JACM) 22 (4), 572-595, 1975 | 439 | 1975 |
| Assumption-based argumentation PM Dung, RA Kowalski, F Toni Argumentation in artificial intelligence, 199-218, 2009 | 342 | 2009 |
| Dialectic proof procedures for assumption-based, admissible argumentation PM Dung, RA Kowalski, F Toni Artificial Intelligence 170 (2), 114-159, 2006 | 340 | 2006 |
| The IFF proof procedure for abductive logic programming TH Fung, R Kowalski The Journal of logic programming 33 (2), 151-165, 1997 | 302 | 1997 |
| The early years of logic programming RA Kowalski Communications of the ACM 31 (1), 38-43, 1988 | 285 | 1988 |
| Logic programs with exceptions RA Kowalski, F Sadri New Generation Computing 9, 387-400, 1991 | 263 | 1991 |
| A theorem-proving approach to database integrity F Sadri, R Kowalski Foundations of deductive databases and logic programming, 313-362, 1988 | 253 | 1988 |
| Logic programming R Kowalski Handbook of the History of Logic 9, 523-569, 2014 | 248* | 2014 |
Fariba SadriImperial College London確認したメール アドレス: doc.ic.ac.uk
