Efficient Resource Management for Linear Logic Proof Search.
Iliano CervesatoJoshua S. HodasFrank PfenningPublished in: ELP (1996)
Keyphrases
- linear logic
- resource management
- proof search
- management system
- fixed point
- sequent calculus
- cut elimination
- resource allocation
- intuitionistic logic
- theorem prover
- quality of service
- theorem proving
- logic programming
- inference rules
- desirable properties
- intelligent agents
- machine learning
- natural deduction
- stereo matching
- knowledge representation
- multi agent systems