Volume 5,
Number 1-2,
January/March 2005
Regular Papers
- Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation.
1-43
Electronic Edition (link) BibTeX
- Paolo Ferraris, Vladimir Lifschitz:
Weight constraints as nested expressions.
45-74
Electronic Edition (link) BibTeX
- Samir Genaim, Michael Codish:
Inferring Termination Conditions for Logic Programs using Backwards Analysis.
75-91
Electronic Edition (link) BibTeX
- Pascal Hitzler, Matthias Wendt:
A uniform approach to logic programming semantics.
93-121
Electronic Edition (link) BibTeX
- Simona Perri, Francesco Scarcello, Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
123-159
Electronic Edition (link) BibTeX
- Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs.
161-205
Electronic Edition (link) BibTeX
- Ralf Schweimeier, Michael Schroeder:
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics.
207-242
Electronic Edition (link) BibTeX
Technical Note
Programming Pearl
Volume 5,
Number 3,
May 2005
Regular Papers
Book Reviews
- Bart Demoen:
Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8.
391-395
Electronic Edition (link) BibTeX
- Nachum Dershowitz:
Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6.
395-399
Electronic Edition (link) BibTeX
Volume 5,
Number 4-5,
July 2005
Regular Papers
- Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur:
Introduction to the Special Issue on Constraint Handling Rules.
401-402
Electronic Edition (link) BibTeX
- Slim Abdennadher, Christophe Rigotti:
Automatic generation of CHR constraint solvers.
403-418
Electronic Edition (link) BibTeX
- Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
A CHR-based implementation of known arc-consistency.
419-440
Electronic Edition (link) BibTeX
- Sebastian Brand:
Schedulers and redundancy for a class of constraint propagation rules.
441-465
Electronic Edition (link) BibTeX
- Henning Christiansen:
CHR grammars.
467-501
Electronic Edition (link) BibTeX
- Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL.
503-531
Electronic Edition (link) BibTeX
- Michael Thielscher:
FLUX: A logic programming method for reasoning agents.
533-565
Electronic Edition (link) BibTeX
- Armin Wolf:
Intelligent search strategies based on adaptive Constraint Handling Rules.
567-594
Electronic Edition (link) BibTeX
Book Reviews
- Yves Deville:
Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5.
595-600
Electronic Edition (link) BibTeX
Volume 5,
Number 6,
November 2005
Regular papers
Technical note
Copyright © Sun May 17 00:30:36 2009
by Michael Ley (ley@uni-trier.de)
