Concepedia

Robert Kowalski

RK

46

Publications

7.5K

Citations

29

H-Index

1971

Active since

Affiliations

Imperial College London(Current)

University of London

Ludwig-Maximilians-Universität München

Robert Kowalski is an author at Imperial College London specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

1971–2021

46

Publications

46

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

, , +11

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

, , +4

An abstract, argumentation-theoretic approach to default reasoning

A. G. Bondarenko, Phan Minh Dũng, Robert Kowalski et al. · Artificial Intelligence · 1997 · 665 citations

, , +5

Predicate Logic as Programming Language.

Robert Kowalski · IFIP Congress · 1974 · 598 citations

, , +6

Algorithm = logic + control

Robert Kowalski · Communications of the ACM · 1979 · 595 citations · Full text

, , +13

Rows per page

1–5 of 46