Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,400,050 papers from all fields of science
Search
Sign In
Create Free Account
Logical spreadsheet
Known as:
Logical Spreadsheets
A logical spreadsheet is a spreadsheet in which formulas take the form of logical constraints rather than function definitions. In traditional…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
List of spreadsheet software
Spreadsheet
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The Logical Spreadsheet
I. Cervesato
2013
Corpus ID: 62275257
This chapter provides a logical interpretation of the resulting relational spreadsheet as the nonrecursive fragment of a suitable…
Expand
Review
2012
Review
2012
Final Notes on Configuration Solving
C. Petrie
2012
Corpus ID: 61690714
This conclusion reviews the lessons learned; outstanding issues; the relevance of academic research to industrial development…
Expand
2010
2010
Logical Spreadsheets
M. Genesereth
International Web Rule Symposium
2010
Corpus ID: 36548767
Logical spreadsheets are spreadsheets in which formulas are written as logical constraints rather than function definitions…
Expand
2007
2007
An introduction to logical spreadsheets
Michael Kassoff
,
A. Valente
Knowledge engineering review (Print)
2007
Corpus ID: 7797478
Abstract A logical spreadsheet is a spreadsheet in which the formula language is composed of logical expressions. Logical…
Expand
2007
2007
PrediCalc: a logical spreadsheet management system
Michael Kassoff
,
M. Genesereth
Knowledge engineering review (Print)
2007
Corpus ID: 10217555
Abstract In this article, we describe PrediCalc, a logical spreadsheet that allows for many-to-many constraints and propagation…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE