{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:35:40Z","timestamp":1767638140195,"version":"3.48.0"},"reference-count":11,"publisher":"Maximum Academic Press","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":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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&amp;R) functionality. In this paper, we present Logic Embedded in SpreadSheets (LESS), a system which integrates PowerLoom, a highly expressive logic-based KR&amp;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-09T10:57:11Z","timestamp":1194605831000},"page":"237-253","source":"Crossref","is-referenced-by-count":4,"title":["Implementing logic spreadsheets in LESS"],"prefix":"10.48130","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":"27968","published-online":{"date-parts":[[2007,9,1]]},"reference":[{"volume-title":"Proceedings of the IJCAI\u201999 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business","year":"1999","author":"Valente","key":"S0269888907001178_ref010"},{"volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: Wings For the Mind (CHI \u201989)","year":"1989","author":"Spenke","key":"S0269888907001178_ref008"},{"volume-title":"Proceedings of EuSpRIG 2004","year":"2004","author":"Paine","key":"S0269888907001178_ref007"},{"volume-title":"PowerLoom Manual","year":"2006","author":"Chalupsky","key":"S0269888907001178_ref002"},{"volume-title":"Practical Aspects of Declarative Languages, 4th International Symposium","year":"2002","author":"Erwig","key":"S0269888907001178_ref004"},{"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"},{"volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning","year":"1991","author":"Genesereth","key":"S0269888907001178_ref005"},{"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":[[2026,1,5]],"date-time":"2026-01-05T14:43:43Z","timestamp":1767624223000},"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":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}