Isolating Resource Consumption in Linear Logic Proof Search.
Pablo LópezErnesto PimentelJoshua S. HodasJeffrey PolakowLubomira StoilovaPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- resource consumption
- linear logic
- proof search
- resource allocation
- logic programming
- fixed point
- solution quality
- cut elimination
- sequent calculus
- desirable properties
- response time
- processing times
- logical framework
- data transfer
- intuitionistic logic
- quality of service
- query execution
- inference rules
- scheduling algorithm
- knowledge representation
- belief propagation
- markov random field
- database systems