Volume 19-20; Issue supp-S1

The Journal of Logic Programming

Volume 19-20; Issue supp-S1
1

Editorial Board

Journal:
The Journal of Logic Programming
Year:
1994
File:
PDF, 64 KB
1994
2

Guest editors' introduction

M. Bruynooghe, S. Debray, M. Hermenegildo, M. Maher
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 214 KB
english, 1994
3

Introduction: 10th birthday special issue of the journal of logic programming

J.A. Robinson
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 332 KB
english, 1994
4

Logic programming and negation: A survey

Krzysztof R. Apt, Roland N. Bol
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 5.07 MB
english, 1994
6

Termination of logic programs: the never-ending story

Danny de Schreye, Stefaan Decorte
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 4.80 MB
english, 1994
7

Transformation of logic programs: Foundations and techniques

Alberto Pettorossi, Maurizio Proietti
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 4.58 MB
english, 1994
8

Logic program synthesis

Yves Deville, Kung-Kiu Lau
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 2.28 MB
english, 1994
9

Logic programming environments: Dynamic program analysis and debugging

Mireille Ducassé, Jacques Noyé
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 2.63 MB
english, 1994
10

1983–1993: The wonder years of sequential Prolog implementation

Peter Van Roy
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 4.56 MB
english, 1994
11

Modularity in Logic Programming

Michele Bugliesi, Evelina Lamma, Paola Mello
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 4.77 MB
english, 1994
12

The integration of functions into logic programming: From theory to practice

Michael Hanus
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 3.52 MB
english, 1994
13

Inductive Logic Programming: Theory and methods

Stephen Muggleton, Luc de Raedt
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 3.78 MB
english, 1994
14

Natural language processing and logic programming

Veronica Dahl
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 2.57 MB
english, 1994
15

Title index to volumes 19/20

Journal:
The Journal of Logic Programming
Year:
1994
File:
PDF, 29 KB
1994
16

Author index to volumes 19/20

Journal:
The Journal of Logic Programming
Year:
1994
File:
PDF, 28 KB
1994
17

Logic programming and knowledge representation

Chitta Baral, Michael Gelfond
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 5.48 MB
english, 1994
18

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher
Journal:
The Journal of Logic Programming
Year:
1994
Language:
english
File:
PDF, 6.25 MB
english, 1994