Implementing Logic Spreadsheets in LESS.
André ValenteDavid Van BrackleHans ChalupskyGary EdwardsPublished in: AAAI Fall Symposium: Integrating Reasoning into Everyday Applications (2006)
Keyphrases
- modal logic
- logic programming
- classical logic
- multi valued
- sound and complete axiomatization
- data structure
- information extraction
- case study
- automated reasoning
- labor intensive
- logical framework
- predicate logic
- database systems
- query language
- social networks
- neural network
- databases
- unstructured text
- epistemic logic
- database