Resource Guided Concurrent Deduction.

Christoph Benzmüller Mateja Jamnik Manfred Kerber Volker Sorge

Published in: ARW (2000)

Keyphrases

resource allocation
resource constraints
resource management
inference rules
web resources
theorem proving
image processing
resource selection
computer algebra
database
automated deduction
mutual exclusion
resource consumption
first order logic
higher order
artificial intelligence
real world
data sets