The SCEAS System
Navigation Menu

Journals in DBLP

TPLP
2005, volume: 5, number: 4-5

  1. Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur
    Introduction to the Special Issue on Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:401-402 [Journal]
  2. Slim Abdennadher, Christophe Rigotti
    Automatic generation of CHR constraint solvers. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:403-418 [Journal]
  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    A CHR-based implementation of known arc-consistency. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:419-440 [Journal]
  4. Sebastian Brand
    Schedulers and redundancy for a class of constraint propagation rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:441-465 [Journal]
  5. Henning Christiansen
    CHR grammars. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:467-501 [Journal]
  6. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:503-531 [Journal]
  7. Michael Thielscher
    FLUX: A logic programming method for reasoning agents. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:533-565 [Journal]
  8. Armin Wolf
    Intelligent search strategies based on adaptive Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:567-594 [Journal]
  9. 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. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:595-600 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002