{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T16:28:34Z","timestamp":1676824114910},"reference-count":11,"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>Spreadsheets are a widespread tool for a variety of tasks, particularly in business settings. Spreadsheet users employ a form of programming that, although popular, is highly error-prone and has limited expressiveness. A promising approach to overcome these shortcomings is to augment spreadsheets with logic-based knowledge representation and reasoning (KR&R) functionality. In this paper, we present Logic Embedded in SpreadSheets (LESS), a system which integrates PowerLoom, a highly expressive logic-based KR&R system, with Microsoft (MS) Excel. The design of LESS provides different tiers of functionality that explore trade-offs between direct access to the underlying logic engine and user-friendly support for spreadsheets users. A prototype of LESS was implemented as an MS Excel add-in.<\/jats:p>","DOI":"10.1017\/s0269888907001178","type":"journal-article","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T15:57:11Z","timestamp":1194623831000},"page":"237-253","source":"Crossref","is-referenced-by-count":4,"title":["Implementing logic spreadsheets in LESS"],"prefix":"10.1017","volume":"22","author":[{"given":"ANDRE","family":"VALENTE","sequence":"first","affiliation":[]},{"given":"DAVID","family":"VAN BRACKLE","sequence":"additional","affiliation":[]},{"given":"HANS","family":"CHALUPSKY","sequence":"additional","affiliation":[]},{"given":"GARY","family":"EDWARDS","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2007,9,1]]},"reference":[{"key":"S0269888907001178_ref010","volume-title":"Proceedings of the IJCAI\u201999 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business","author":"Valente","year":"1999"},{"key":"S0269888907001178_ref008","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: Wings For the Mind (CHI \u201989)","author":"Spenke","year":"1989"},{"key":"S0269888907001178_ref007","volume-title":"Proceedings of EuSpRIG 2004","author":"Paine","year":"2004"},{"key":"S0269888907001178_ref002","volume-title":"PowerLoom Manual","author":"Chalupsky","year":"2006"},{"key":"S0269888907001178_ref004","volume-title":"Practical Aspects of Declarative Languages, 4th International Symposium","author":"Erwig","year":"2002"},{"key":"S0269888907001178_ref003","unstructured":"Erwig M. , Abraham R. , Cooperstein I. and Kollmansberger S. 2005 Automatic generation and maintenance of correct spreadsheets. In 27th IEEE International Conference on Software Engineering, pp. 136\u2013145."},{"key":"S0269888907001178_ref001","doi-asserted-by":"crossref","unstructured":"Abraham R. and Erwig M. 2004 Header and unit inference for spreadsheets through spatial analyses. In IEEE International Symposium on Visual Languages and Human-Centric Computing, pp. 165\u2013172.","DOI":"10.1109\/VLHCC.2004.29"},{"key":"S0269888907001178_ref011","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872767"},{"key":"S0269888907001178_ref005","volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning","author":"Genesereth","year":"1991"},{"key":"S0269888907001178_ref009","doi-asserted-by":"publisher","DOI":"10.1109\/5254.747903"},{"key":"S0269888907001178_ref006","unstructured":"MacGregor R. 1994 A description classifier for the predicate calculus. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pp. 213\u2013220."}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888907001178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T19:05:40Z","timestamp":1554059140000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888907001178\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["S0269888907001178"],"URL":"https:\/\/doi.org\/10.1017\/s0269888907001178","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}