IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming.
M. J. FernándezManuel CarroManuel V. HermenegildoPublished in: Euro-Par, Vol. II (1996)
Keyphrases
- logic programming
- resource allocation
- logic programs
- deductive databases
- logic programming language
- programming language
- knowledge representation
- knowledge base
- answer set programming
- nonmonotonic reasoning
- resource allocation problems
- inductive logic programming
- computational logic
- scarce resources
- stable models
- constraint logic programming
- answer sets
- orders of magnitude
- default logic
- fixpoint
- game theory
- combinatorial auctions
- propositional variables
- resource allocation decisions