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