Please use this identifier to cite or link to this item:
https://doi.org/10.1007/3-540-46584-7_13
DC Field | Value | |
---|---|---|
dc.title | A toolkit for constraint-based inference engines | |
dc.contributor.author | Chew, TY | |
dc.contributor.author | Henz, M | |
dc.contributor.author | Ng, KB | |
dc.date.accessioned | 2021-09-27T03:08:37Z | |
dc.date.available | 2021-09-27T03:08:37Z | |
dc.date.issued | 2000-01-01 | |
dc.identifier.citation | Chew, TY, Henz, M, Ng, KB (2000-01-01). A toolkit for constraint-based inference engines. 2ND International Workshop on Practical Aspects of Declarative Languages (PADL2000) 1753 : 185-199. ScholarBank@NUS Repository. https://doi.org/10.1007/3-540-46584-7_13 | |
dc.identifier.isbn | 3540669922 | |
dc.identifier.isbn | 9783540669920 | |
dc.identifier.issn | 03029743 | |
dc.identifier.issn | 16113349 | |
dc.identifier.uri | https://scholarbank.nus.edu.sg/handle/10635/200932 | |
dc.description.abstract | Solutions to combinatorial search problems can benefit from custom-made constraint-based inference engines that go beyond depth- first search. Several constraint programming systems support the programming of such inference engines through programming abstractions. For example, the Mozart system for Oz comes with several engines, extended in dimensions such as interaction, visualization, and optimization. However, so far such extensions are monolithic in their software design, not catering for systematic reuse of components. We present an object-oriented modular architecture for building inference engines that achieves high reusability and supports rapid prototyping of search algorithms and their extensions. For the sake of clarity, we present the architecture in the setting of a C++ constraint programming library. The SearchToolKit, a search library for Oz based on the presented architecture, provides evidence for the practicality of the design. | |
dc.publisher | SPRINGER-VERLAG BERLIN | |
dc.source | Elements | |
dc.subject | Science & Technology | |
dc.subject | Technology | |
dc.subject | Computer Science, Theory & Methods | |
dc.subject | Computer Science | |
dc.type | Conference Paper | |
dc.date.updated | 2021-09-23T22:03:37Z | |
dc.contributor.department | DEPT OF COMPUTER SCIENCE | |
dc.description.doi | 10.1007/3-540-46584-7_13 | |
dc.description.sourcetitle | 2ND International Workshop on Practical Aspects of Declarative Languages (PADL2000) | |
dc.description.volume | 1753 | |
dc.description.page | 185-199 | |
dc.description.place | Boston, MA | |
dc.published.state | Published | |
Appears in Collections: | Staff Publications Elements |
Show simple item record
Files in This Item:
File | Description | Size | Format | Access Settings | Version | |
---|---|---|---|---|---|---|
stk.pdf | 194.77 kB | Adobe PDF | OPEN | Post-print | View/Download |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.