Resource Management in Linear Logic Search Revisited.

Pablo López Ernesto Pimentel

Published in: LPAR (1999)

Keyphrases

resource management
linear logic
proof search
management system
computing resources
resource allocation
grid computing
logic programming
power control
fixed point
proof theoretic
resource utilization
quality of service
intelligent agents
theorem proving
resource usage
cooperative