Deriving minimal models for resource utilization.
Steven te BrinkeChristoph BockischLodewijk BergmansSomayeh MalakutiMehmet AksitShmuel KatzPublished in: GIBSE@AOSD (2013)
Keyphrases
- resource utilization
- minimal models
- propositional logic
- logic programs
- load balancing
- resource management
- nonmonotonic reasoning
- response time
- autoepistemic logic
- quality of service
- high availability
- network resources
- default logic
- virtual machine
- belief revision
- energy consumption
- video streaming
- first order logic
- truth maintenance systems
- fixpoint
- stable models
- data mining
- default theories
- management system
- grid computing
- mobile agents