Resource Tableaux.

Didier Galmiche Daniel Méry David J. Pym

Published in: CSL (2002)

Keyphrases

resource allocation
resource management
decision procedures
web resources
resource constraints
computer vision
modal logic
information resources
automated reasoning
database
information retrieval
learning algorithm
evolutionary algorithm