Concepedia

Frank Kriwaczek

FK

Statistics

Publications

3

Citations

587

H-Index

3

Active since

1986

Affiliations

University of London(Current)

Imperial College London

Frank Kriwaczek is an author at University of London specializing in automated reasoning, logic programming, and computing.

Publications per year

1986–1988

3

Publications

3

The British Nationality Act as a logic program

Marek Sergot, Fariba Sadri, Robert A. Kowalski et al. · Communications of the ACM · 1986 · 555 citations · Full text

, , +13

LogiCalc: a prolog spreadsheet

Frank Kriwaczek · Machine intelligence · 1988 · 18 citations

, , +6

Formalisation of the British nationality act

Marek Sergot, Thérèse Scarpelli Cory, Peter Hammond et al. · International Review of Law Computers & Technology · 1986 · 14 citations

, , +2

1–3 of 3