Classical BI: a logic for reasoning about dualising resources.
James BrotherstonCristiano CalcagnoPublished in: POPL (2009)
Keyphrases
- formal theory
- resource management
- causal reasoning
- resource allocation
- classical logic
- quantum computation
- business intelligence
- logic programming
- multi valued
- modal operators
- website
- digital circuits
- probabilistic knowledge
- qualitative reasoning
- probability theory
- information resources
- modal logic
- neural network
- deontic logic
- proof theory
- horn logic
- computational properties
- logical framework
- automated reasoning
- default reasoning
- computing resources
- limited resources
- information processing