{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:06:52Z","timestamp":1761620812124},"reference-count":10,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2002,6]]},"abstract":"<jats:p> A general approach to implement propagation and simplification of constraints consists of applying rules over these constraints. However, a difficulty that arises frequently when writing a constraint solver is to determine the constraint propagation algorithm. In previous work, different methods for automatic generation of rule-based solvers for constraints defined over finite domains have been proposed<jats:sup>1,2,3,4<\/jats:sup>. In this paper, we present a method for generating rule-based solvers for constraint predicates defined by means of a constraint logic program, even when the constraint domain is infinite. <\/jats:p>","DOI":"10.1142\/s0218213002000903","type":"journal-article","created":{"date-parts":[[2002,7,28]],"date-time":"2002-07-28T23:09:56Z","timestamp":1027897796000},"page":"283-302","source":"Crossref","is-referenced-by-count":3,"title":["AUTOMATIC GENERATION OF RULE-BASED SOLVERS FOR INTENTIONALLY DEFINED CONSTRAINTS"],"prefix":"10.1142","volume":"11","author":[{"given":"SLIM","family":"ABDENNADHER","sequence":"first","affiliation":[{"name":"Computer Science Department, Oettingenstr. 67, 80538 M\u00fcnchen, Germany"}]},{"given":"CHRISTOPHE","family":"RIGOTTI","sequence":"additional","affiliation":[{"name":"INSA Lyon, 69621, VIlleurbanne Cedex, France"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"p_2","first-page":"1865","author":"Ringeissen C.","year":"2000","journal-title":"LNAI"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"p_11","first-page":"1865","author":"Priihwirth T.","year":"2000","journal-title":"LNAI"},{"issue":"2","key":"p_13","first-page":"133","volume":"4","author":"Abdennadher S.","year":"1999","journal-title":"Special Issue on the Second International Conference on Principles and Practice of Constraint Programming"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90047-K"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037230"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10006-7"},{"key":"p_22","first-page":"377","volume":"1137","author":"Wiirtz Jorg","year":"1996","journal-title":"LNAI"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213002000903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T03:14:06Z","timestamp":1565147646000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213002000903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":10,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2002,6]]}},"alternative-id":["10.1142\/S0218213002000903"],"URL":"https:\/\/doi.org\/10.1142\/s0218213002000903","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}