{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:32:56Z","timestamp":1764783176210},"reference-count":5,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":4715,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1996,4]]},"abstract":"<jats:p>SALT is the highly influential system implemented by Marcus (1988), which is able to acquire knowledge and solve problems using the propose-and-revise strategy. The primary task to which this has been applied is the design of elevators, or lifts (Marcus et al., 1988). Recently we have re-implemented and extended the system at Aberdeen, S-SALT, the new system, has the following enhancements:<\/jats:p>","DOI":"10.1017\/s089006040000144x","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T09:45:57Z","timestamp":1270028757000},"page":"157-159","source":"Crossref","is-referenced-by-count":1,"title":["S-SALT: A problem-solver, knowledge acquisition tool and associated knowledge base refinement mechanisms"],"prefix":"10.1017","volume":"10","author":[{"given":"Pietro","family":"Leo","sequence":"first","affiliation":[]},{"given":"Derek","family":"Sleeman","sequence":"additional","affiliation":[]},{"given":"Augoustos","family":"Tsinakos","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S089006040000144X_ref005","first-page":"95","article-title":"VT: An expert elevator configurer that uses knowledge-based backtracking","volume":"9","author":"Marcus","year":"1988","journal-title":"Al Magazine"},{"key":"S089006040000144X_ref002","unstructured":"Leo P. , Sleeman D. , & Tsinakos A. (1994). S-SALT: A problem solver plus knowledge acquisition tool which can additionally refine its knowledge base. EKAW-94 Conf. Proc."},{"key":"S089006040000144X_ref003","unstructured":"Leo P. (199x). S-SALT: A problem solver plus knowledge acquisition tool which additionally can refine its knowledge base. M.Sc. Thesis, University of Aberdeen, UK."},{"key":"S089006040000144X_ref001","first-page":"167","article-title":"Automating the refinement of knowledge-based systems","volume":"90","author":"Craw","year":"1990","journal-title":"Proc. ECAI"},{"key":"S089006040000144X_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-7122-9_4"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S089006040000144X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T17:53:56Z","timestamp":1557683636000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S089006040000144X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["S089006040000144X"],"URL":"https:\/\/doi.org\/10.1017\/s089006040000144x","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,4]]}}}