Theory and Practice of Logic Programming (TPLP)
last updated on June 07, 2004
Volume 1, Issue 1
Invited Editorial, John Alan Robinson. (pp 1 - 1)
Editorial, Jack Minker. (pp 3 - 4)
Regular Papers
Technical Note
Book Review
- Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback), Femke van Raamsdonk. (pp 123-125)
[html]
[pdf]
Programming Pearls
Volume 1, Issue 2
Regular Papers
Volume 1, Issue 3
Special Issue On Logic Programming And The Internet
- Guest editor's introduction to the Special Issue On ‘Logic Programming And The Internet, Leon Sterling, Lee Naish, Manuel Hermenegildo.
(pp 249 - 250)
- Distributed WWW Programming Using (Ciao-)Prolog And The
PiLLoW Library, Daniel Cabeza Gras, Manuel V. Hermenegildo.
(pp 251 - 282)
- Multi-Threading And Message Communication In Qu-Prolog, Keith L. Clark, Peter J. Robinson, Richard Hagen. (pp 283 - 301)
- The Munich Rent Advisor: A Success For Logic Programming On Then Internet,
Thom W. Frühwirth , Slim Abdennadher.
(pp 303 - 319)
- Secure Prolog-Based Mobile Code, Seng Wai Loke, Andrew Davison. (pp 321 - 357)
- High-Level Networking With Mobile Code And First Order AND-Continuations, Paul Tarau,
Verónica Dahl.
(pp 359 - 380)
Volume 1, Issue 4
Regular Papers
Technical note
Volume 1, Issue 5
Regular Papers
Technical Note
Programming Pearl
Volume 1, Issue 6
Special Issue in honor of Alain Colmerauer, on the occasion of his 60th birthday
- In honor of Alain Colmerauer's 60th birthday, Frédéric Benhamou, Pascal Van Hentenryck. (pp 633 - 635)
- A Tribute to Alain Colmerauer, Jacques Cohen. (pp 637 - 646)
- An interactive semantics of logic programming, Roberto Bruni, Ugo Montanari, Francesca Rossi. (pp 647 - 690)
- Propositional Defeasible Logic has Linear Complexity, Michael J. Maher.(pp 691 - 711)
- Constraint programming viewed as rule-based programming, Krzysztof R. Apt, Eric Monfroy. (pp 713 - 750)
- Typing constraint logic programs, François Fages, Emmanuel Coquery. (pp 751 - 777)
- Learning Hybrid Algorithms for Vehicle Routing Problems, Yves Caseau, Glenn Silverstein, François Laburthe. (pp 779 - 806)
- A short bibliography of Alain Colmerauer. (pp 807 - 809)
- PhD theses surpervised by Alain Colmerauer. (pp 811 - 813)
To ALP home page