CHR PROGRAM
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:15 Session 87B: Invited Talk (joint with CICLOPS-WLPE)
Chair:
Location: FH, Hörsaal 7
09:00 | Coherent Logic and Applications (abstract) |
10:15-10:45Coffee Break
10:45-12:45 Session 90BE: Contributed Talks (joint with CICLOPS-WLPE)
Chair:
Location: FH, Hörsaal 7
10:45 | Automated Test Case Generation and Model Checking with CHR (abstract) |
11:15 | From XML Schema to JSON Schema: Translation with CHR (abstract) |
11:45 | Constraint Handling Rules with Multiset Comprehension Patterns (abstract) |
12:15 | Discussion (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 96AL: Invited Talk (joint with CICLOPS-WLPE)
Chair:
Location: FH, Hörsaal 7
14:30 | Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs (abstract) |
15:30 | Discussion (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 99AK: Implementation Issues (joint with CICLOPS-WLPE)
Chair:
Location: FH, Hörsaal 7
16:30 | Intelligent Visual Surveillance Logic Programming: Implementation Issues (abstract) |
17:00 | A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (abstract) |
17:30 | Discussion (abstract) |