Publications

about 'CHR 2008'

Books and proceedings

  1. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR08l, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008.

Conference articles

  1. Marcos Aurélio, François Fages, and Jacques Robin. Default Reasoning in CHR$^\vee$. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 111-126, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, disjunction, CHR 2008, CHR 2008.
  2. Henning Christiansen. Prioritized Abduction with CHR. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 159-173, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, abduction, priorities, probabilistic CHR, CHR 2008, CHR 2008.
  3. François Fages, Cleyton Mário de Oliveira Rodrigues, and Thierry Martinez. Modular CHR with phask and phtell. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 95-110, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, CHR 2008, CHR 2008.
  4. Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008.
  5. Edmund S.L. Lam and Martin Sulzmann. Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  6. Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR revisited. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 35-50, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, termination, CHR 2008, CHR 2008.
  7. Frank Raiser and Thom Frühwirth. Towards Term Rewriting Systems in Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 19-34, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): related formalisms, CHR 2008, CHR 2008, CHR 2008.
  8. Beata Sarna-Starosta and Tom Schrijvers. Transformation-based Indexing Techniques for Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 3-18, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): implementation, optimizing compilation, CHR 2008, CHR 2008, CHR 2008.
  9. Beata Sarna-Starosta, David Zook, Emir Pasalic, and Molham Aref. Relating Constraint Handling Rules to Datalog. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 127-142, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  10. Anders Schack-Nielsen and Carsten Schürmann. The CHR-Celf Connection. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 1-2, 2008. RISC Report Series 08-10, University of Linz, Austria. Note: Invited Talk. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  11. Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 143-158, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, complexity, CHR 2008, CHR 2008.
  12. Peter Van Weert. A Tale of Histories. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 79-94, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, implementation, optimizing compilation, CHR 2008, CHR 2008.

BACK TO INDEX