/LC.GIF&client=easterncarolinaedu)
Constraint handling rules current research topics / Tom Schrijvers, Thom Frühwirth (eds.).
| Other author | Schrijvers, Tom. |
| Other author | Frühwirth, Thom, 1962- |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | 244 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture notes in computer science, 0302-9743 ; 5388. Lecture notes in artificial intelligence State-of-the-art survey |
| Contents | Welcome to constraint handling rules / Thom Frühwirth -- Search. A flexible search framework for CHR / Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Adaptive CHR meets CHR[superscript v] : an extended refined operational semantics for CHR[superscript v] based on justifications / Armin Wolf, Jacques Robin, and Jairson Vitorino -- Applications. Constructing rule-based solvers for intentionally-defined constriants / Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Implementing probabilistic abductive logic programming with constraint handling rules / Henning Christiansen -- Theory. A compositional semantics for CHR with propagation rules / Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella -- Implementation. CHR for imperative host languages / Peter Van Weert ... [et al.]. Guard reasoning in the refined operational semantics of CHR / Jon Sneyers, Tom Schrijvers, and Bart Demoen. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2008942100 |
| ISBN | 9783540922421 (pbk.) |
| ISBN | 3540922423 (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |