Cooperative reasoning for preemptive execution.
Jaeheon YiCaitlin SadowskiCormac FlanaganPublished in: PPOPP (2011)
Keyphrases
- cooperative
- plan execution
- multi agent systems
- scheduling problem
- reasoning systems
- multi agent
- cooperating agents
- reasoning tasks
- game theory
- spatial reasoning
- execution model
- scheduling algorithm
- reasoning process
- automated reasoning
- default reasoning
- production rules
- rule based reasoning
- priority queue
- evolutionary algorithm
- case study
- knowledge representation and reasoning
- concurrent execution
- database
- computational properties
- data flow
- processing times
- temporal reasoning
- single machine
- wireless sensor networks
- domain knowledge