 |
 |
Special Issue:
Ten Years of Logig Programming
- Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher:
Guest Editor's Introduction.
1-3
- John Alan Robinson:
Introduction: 10th Birthday Special Issue of The Journal of Logic Programming.
5-8
- Krzysztof R. Apt, Roland N. Bol:
Logic Programming and Negation: A Survey.
9-71
- Chitta Baral, Michael Gelfond:
Logic Programming and Knowledge Representation.
73-148
- Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
The s-Semantics Approach: Theory and Applications.
149-197
- Danny De Schreye, Stefaan Decorte:
Termination of Logic Programs: The Never-Ending Story.
199-260
- Alberto Pettorossi, Maurizio Proietti:
Transformation of Logic Programs: Foundations and Techniques.
261-320
- Yves Deville, Kung-Kiu Lau:
Logic Program Synthesis.
321-350
- Mireille Ducassé, Jacques Noyé:
Logic Programming Environments: Dynamic Program Analysis and Debugging.
351-384
- Peter Van Roy:
1983-1993: The Wonder Years of Sequential Prolog Implementation.
385-441
- Michele Bugliesi, Evelina Lamma, Paola Mello:
Modularity in Logic Programming.
443-502
- Joxan Jaffar, Michael J. Maher:
Constraint Logic Programming: A Survey.
503-581
- Michael Hanus:
The Integration of Functions into Logic Programming: From Theory to Practice.
583-628
- Stephen Muggleton, Luc De Raedt:
Inductive Logic Programming: Theory and Methods.
629-679
- Verónica Dahl:
Natural Language Processing and Logic Programming.
681-714
Copyright © Tue Feb 9 19:46:11 2010
by Michael Ley (ley@uni-trier.de)