Andrew Davison Logic Programming Languages for the Internet. [Citation Graph (0, 0)][DBLP] Computational Logic: Logic Programming and Beyond, 2002, pp:66-104 [Conf]
John W. Lloyd Higher-Order Computational Logic. [Citation Graph (0, 0)][DBLP] Computational Logic: Logic Programming and Beyond, 2002, pp:105-137 [Conf]
Kazunori Ueda A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP] Computational Logic: Logic Programming and Beyond, 2002, pp:138-161 [Conf]
Pierre Flener Achievements and Prospects of Program Synthesis. [Citation Graph (0, 0)][DBLP] Computational Logic: Logic Programming and Beyond, 2002, pp:310-346 [Conf]
Peter A. Flach, Nada Lavrac Learning in Clausal Logic: A Perspective on Inductive Logic Programming. [Citation Graph (0, 0)][DBLP] Computational Logic: Logic Programming and Beyond, 2002, pp:437-471 [Conf]
Jack Minker, Dietmar Seipel Disjunctive Logic Programming: A Survey and Assessment. [Citation Graph (0, 0)][DBLP] Computational Logic: Logic Programming and Beyond, 2002, pp:472-511 [Conf]
Mark Wallace Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] Computational Logic: Logic Programming and Beyond, 2002, pp:512-532 [Conf]