default search action

combined dblp search
author search
venue search
publication search

ask others

Constraint Handling Rules 2008

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/lncs/5388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/5388
Tom Schrijvers, Thom W. Frühwirth:
Constraint Handling Rules, Current Research Topics. Lecture Notes in Computer Science 5388, Springer 2008, ISBN 978-3-540-92242-1

done

Introduction

- view
  authority control:
- export record
  dblp key:
  - series/lncs/Fruhwirth08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Fruhwirth08
Thom W. Frühwirth:
Welcome to Constraint Handling Rules. 1-15

Search

- view
  authority control:
- export record
  dblp key:
  - series/lncs/KoninckSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/KoninckSD08
Leslie De Koninck, Tom Schrijvers, Bart Demoen:
A Flexible Search Framework for CHR. 16-47
- view
  authority control:
- export record
  dblp key:
  - series/lncs/WolfRV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/WolfRV08
Armin Wolf, Jacques Robin, Jairson Vitorino:
Adaptive CHR Meets CHR^v: An Extended Refined Operational Semantics for CHR^v Based on Justifications. 48-69

Applications

- view
  authority control:
- export record
  dblp key:
  - series/lncs/SobhiAB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SobhiAB08
Ingi Sobhi, Slim Abdennadher, Hariolf Betz:
Constructing Rule-Based Solvers for Intentionally-Defined Constraints. 70-84
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Christiansen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Christiansen08
Henning Christiansen:
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. 85-118

Theory

- view
  authority control:
- export record
  dblp key:
  - series/lncs/GabbrielliMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GabbrielliMT08
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella:
A Compositional Semantics for CHR with Propagation Rules. 119-160

Implementation

- view
  authority control:
- export record
  dblp key:
  - series/lncs/WeertWSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/WeertWSD08
Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen:
CHR for Imperative Host Languages. 161-212
- view
  authority control:
- export record
  dblp key:
  - series/lncs/SneyersSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SneyersSD08
Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard Reasoning in the Refined Operational Semantics of CHR. 213-244

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.