Workshop Program

CHR 2013

The individual papers and the full proceedings are available on the CHR Bibliography website.

Session 1: Foundations and tools

(chaired by Henning Christiansen)
09:00
Welcome
09:15
Amira Zaki, Matthias Rau and Thom Fruehwirth
CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules
09:45
Jon Sneyers, Daniel De Schreye and Thom Fruehwirth
CHRiSM and Probabilistic Argumentation Logic
10:15
Slim Abdennadher, Ghada Fakhry and Nada Sharaf
Implementation of the Operational Semantics for CHR with User-defined Rule Priorities

Session 2: Applications

(chaired by Jon Sneyers)
11:15
Amr Osman, Amira Zaki and Slim Abdennadher
CHR Meets MapReduce
11:45
Nada Sharaf, Injy Hamed and Slim Abdennadher
Tagging Reasoning System using CHR
12:15
Veronica Dahl, Sinan Egilmez, Joao Martins and Emilio Miralles
On Failure-Driven Constraint-Based Parsing through CHRG
12:45
Workshop end