Adding Deductive Logic to a COTS Spreadsheet.
Marcelo TallisRand WaltzmanBob BalzerPublished in: AAAI Fall Symposium: Integrating Reasoning into Everyday Applications (2006)
Keyphrases
- deductive reasoning
- third party
- logic programming
- classical logic
- database languages
- information systems
- microsoft excel
- asynchronous circuits
- predicate logic
- logical framework
- multi valued
- modal logic
- decision support
- object oriented
- automated reasoning
- limited resources
- computational properties
- defeasible logic
- modal operators
- database language
- query language
- proof theory
- decision making
- search engine
- functional programs
- hypothesis formation