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.

[Fellows]   [Awards]