The Journal of Logic Programming 1994: Vol 19-20 Table of Contents PDF
Preview The Journal of Logic Programming 1994: Vol 19-20 Table of Contents
THE JOURNALO F LOGIC PROGRAMMING VOLUMES 19/20, 1994 CONTENTS GUEST EDITORS’ INTRODUCTION M. Bruynooghe, S. Debray, M. Hermenegildo, and M. Maher INTRODUCTION: 10TH BIRTHDAY SPECIAL ISSUE OF THE JOURNAL OF LOGIC PROGRAMMING J. A. Robinson LOGIC PROGRAMMING AND NEGATION: A SURVEY Krzysztof R. Apt and Roland N. Bol LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION 73 Chitta Baral and Michael Gelfond THE s-SEMANTICS APPROACH: THEORY AND APPLICATIONS 149 Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, and Maurizio Martelli TERMINATION OF LOGIC PROGRAMS: THE NEVER-ENDING STORY 199 Danny De Schreye and Stefaan Decorte TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES 261 Alberto Pettorossi and Maurizio Proietti LOGIC PROGRAM SYNTHESIS 321 Yves Deville and Kung-Kiu Lau LOGIC PROGRAMMING ENVIRONMENTS: DYNAMIC PROGRAM ANALYSIS AND DEBUGGING 351 Mireille Ducassé and Jacques Noyé 1983-1993: THE WONDER YEARS OF SEQUENTIAL PROLOG IMPLEMENTATION 385 Peter Van Roy MODULARITY IN LOGIC PROGRAMMING 443 Michele Bugliesi, Evelina Lamma, and Paola Mello CONSTRAINT LOGIC PROGRAMMING: A SURVEY 503 Joxan Jaffar and Michael J. Maher THE INTEGRATION OF FUNCTIONS INTO LOGIC PROGRAMMING: FROM THEORY TO PRACTICE 583 Michael Hanus INDUCTIVE LOGIC PROGRAMMING: THEORY AND METHODS 629 Stephen Muggleton and Luc De Raedt NATURAL LANGUAGE PROCESSING AND LOGIC PROGRAMMING 681 Veronica Dahl TITLE INDEX TO VOLUMES 19 & 20 715 AUTHOR INDEX TO VOLUMES 19 & 20 717
The list of books you might like
