{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T03:15:21Z","timestamp":1673579721078},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2007,9]]},"abstract":"Abstract<\/jats:title>Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion-dollar budgets. One thing spreadsheets are not very good at is manipulating the symbolic data and helping users make decisions based on them. By tapping into recent research in Logic Programming, Databases and Cognitive Psychology, we propose a deductive extension to the spreadsheet paradigm that precisely addresses this issue. The accompanying tool, which we call NEXCEL, is intended as an automated assistant for the daily reasoning and decision-making needs of computer users, in the same way as a spreadsheet application such as Microsoft Excel assists them every day with simple and complex calculations. Users without formal training in Logic or even Computer Science can interactively define logical rules in the same simple way as they define formulas in Excel. NEXCEL immediately evaluates these rules, thereby returning lists of values that satisfy them, again just like with numerical formulas. The deductive component is seamlessly integrated into the traditional spreadsheet so that a user not only still has access to the usual functionalities but is also able to use them as part of the logical inference and, dually, to embed deductive steps in a numerical calculation.<\/jats:p>","DOI":"10.1017\/s0269888907001142","type":"journal-article","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T15:57:11Z","timestamp":1194623831000},"page":"221-236","source":"Crossref","is-referenced-by-count":4,"title":["NEXCEL, a deductive spreadsheet"],"prefix":"10.1017","volume":"22","author":[{"given":"ILIANO","family":"CERVESATO","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2007,9,1]]},"reference":[{"key":"S0269888907001142_ref018","volume-title":"IFIP Conference Proceedings","author":"Warren","year":"1998"},{"key":"S0269888907001142_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037408"},{"key":"S0269888907001142_ref010","article-title":"Logicalc: a Prolog spreadsheet","author":"Kriwaczek","year":"1988","journal-title":"Machine intelligence"},{"key":"S0269888907001142_ref019"},{"key":"S0269888907001142_ref009","unstructured":"Kriwaczek F. 1982 Some applications of Prolog to decision support systems. Master\u2019s thesis, Imperial College, London, UK."},{"key":"S0269888907001142_ref012","first-page":"15","article-title":"What we know about spreadsheet errors","volume":"10","author":"Panko","year":"1998","journal-title":"Journal of End User Computing (Special issue on Scaling Up End User Development)"},{"key":"S0269888907001142_ref005","unstructured":"Cheng M. H. M. , van Emden M. H. and Lee J. H.-M. 1988 Tables as a user interface for logic programs, in \u2018Fifth Generation Computer Systems\u2019, pp. 784\u2013791."},{"key":"S0269888907001142_ref014","unstructured":"Power D. 10\/04\/2003 A brief history of spreadsheets. Available at www.dssresources.com\/history\/sshistory.html. DSSResources.Com."},{"key":"S0269888907001142_ref001","first-page":"2","article-title":"First steps in programming: a rationale for attention investment models","author":"Blackwell","year":"2002","journal-title":"Conference on Human-Centric Computing Languages and Environments"},{"key":"S0269888907001142_ref002","volume-title":"Software Cost Estimation with COCOMO II","author":"Boehm","year":"2000"},{"key":"S0269888907001142_ref008","first-page":"308","volume-title":"Proceedings of the Second International Workshop Practical Aspects of Declarative Languages","author":"Gupta","year":"2000"},{"key":"S0269888907001142_ref013","volume-title":"Proceedings of the eighth ACM SIGPLAN international conference on Functional programming","author":"Peyton Jones","year":"2003"},{"key":"S0269888907001142_ref016","volume-title":"CHI \u201989: Proceedings of the SIGCHI conference on Human Factors in Computing Systems","author":"Spenke","year":"1989"},{"key":"S0269888907001142_ref006","doi-asserted-by":"crossref","DOI":"10.1201\/9781482267914","volume-title":"Deductive Databases and their Applications","author":"Colomb","year":"1998"},{"key":"S0269888907001142_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8"},{"key":"S0269888907001142_ref004","unstructured":"Cervesato I. 2005 The deductive spreadsheet. Technical Report DS05-02, Deductive Solutions. Berlin, Heidelberg, New York."},{"key":"S0269888907001142_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"S0269888907001142_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90003-2"},{"key":"S0269888907001142_ref007","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0009"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888907001142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T00:25:16Z","timestamp":1588033516000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888907001142\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["S0269888907001142"],"URL":"https:\/\/doi.org\/10.1017\/s0269888907001142","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}