{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T21:59:46Z","timestamp":1648936786763},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[1997,12]]},"abstract":"<jats:p> In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can be only partially satisfied. In order to express such requirements, we propose a technique called forward-tracking. Intuitively, forward-tracking is a kind of dual of chronological back-tracking: if a program globally fails to find a solution, then a new execution is started from a program point and a state 'forward' in the computation tree. This search technique is applied to the specific paradigm of constraint logic programming, obtaining a powerful extension that preserves all the useful properties of the original scheme. We report on the successful practical application of forward-tracking to the evolutionary training of (constrained) neural networks, and discuss other interesting applications. <\/jats:p>","DOI":"10.1142\/s0218213097000293","type":"journal-article","created":{"date-parts":[[2003,10,22]],"date-time":"2003-10-22T09:26:17Z","timestamp":1066814777000},"page":"587-611","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Search Technique for Solving Over-Constrained Problems"],"prefix":"10.1142","volume":"06","author":[{"given":"Elena","family":"Marchiori","sequence":"first","affiliation":[{"name":"University Ca' Foscari of Venice Via Torino 155, 30173 Venezia-Mestre, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Marchiori","sequence":"additional","affiliation":[{"name":"CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[{"name":"University of Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213097000293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T03:15:08Z","timestamp":1565147708000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213097000293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1997,12]]}},"alternative-id":["10.1142\/S0218213097000293"],"URL":"https:\/\/doi.org\/10.1142\/s0218213097000293","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}