Robert A Kowalski

ACM Fellows

United Kingdom - 2001

citation

For his work as a cofounder of the field of logic programming, for providing the field's first foundations, and for pursuing applications to legal reasoning, temporal reasoning, metalevel reasoning, default reasoning, and argumentation.