Adding deductive logic to a COTS spreadsheet.
Marcelo TallisRand WaltzmanRobert BalzerPublished in: Knowl. Eng. Rev. (2007)
Keyphrases
- deductive reasoning
- third party
- microsoft excel
- logic programming
- modal logic
- classical logic
- multi valued
- databases
- functional programs
- proof theory
- automated reasoning
- machine learning
- abductive inference
- database language
- set theory
- explanation based learning
- limited resources
- case study
- probability theory
- predicate logic
- software components
- software systems
- decision support
- software development