Seuraa
Bob Kowalski
Bob Kowalski
Distinguished Research Fellow Imperial College London
Vahvistettu sähköpostiosoite verkkotunnuksessa doc.ic.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Logic for problem solving
R Kowalski, S Smoliar
ACM SIGSOFT Software Engineering Notes 7 (2), 61-62, 1982
30401982
A logic-based calculus of events
R Kowalski, M Sergot
New generation computing 4, 67-95, 1986
26131986
The Semantics of Predicate Logic as a Programming Language
M Van Emden, R Kowalski
Journal of the ACM (JACM) 23 (4), 733-742, 1976
22031976
Predicate Logic as Programming Language
R Kowalski
IFIP, 569-574, 1974
16801974
Algorithm= logic+ control
R Kowalski
Communications of the ACM 22 (7), 424-436, 1979
12581979
Abductive logic programming
AC Kakas, RA Kowalski, F Toni
Journal of logic and computation 2 (6), 719-770, 1992
11121992
An abstract, argumentation-theoretic approach to default reasoning
A Bondarenko, PM Dung, RA Kowalski, F Toni
Artificial intelligence 93 (1-2), 63-101, 1997
9761997
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
7851986
Linear resolution with selection function
R Kowalski, D Kuehner
Artificial Intelligence 2 (3-4), 227-260, 1971
6121971
Amalgamating language and metalanguage in logic programming
KA Bowen
Logic programming, 1982
6091982
Abduction Compared with Negation by Failure.
K Eshghi, RA Kowalski
ICLP 89, 234-255, 1989
5411989
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
5311998
A proof procedure using connection graphs
R Kowalski
Journal of the ACM (JACM) 22 (4), 572-595, 1975
4351975
Dialectic proof procedures for assumption-based, admissible argumentation
PM Dung, RA Kowalski, F Toni
Artificial Intelligence 170 (2), 114-159, 2006
3272006
Assumption-based argumentation
PM Dung, RA Kowalski, F Toni
Argumentation in artificial intelligence, 199-218, 2009
3102009
The IFF proof procedure for abductive logic programming
TH Fung, R Kowalski
The Journal of logic programming 33 (2), 151-165, 1997
2951997
The early years of logic programming
RA Kowalski
Communications of the ACM 31 (1), 38-43, 1988
2771988
Logic programs with exceptions
RA Kowalski, F Sadri
New Generation Computing 9, 387-400, 1991
2541991
A theorem-proving approach to database integrity
F Sadri, R Kowalski
Foundations of deductive databases and logic programming, 313-362, 1988
2481988
From logic programming towards multi‐agent systems
R Kowalski, F Sadri
Annals of Mathematics and Artificial Intelligence 25, 391-419, 1999
2341999
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20