Resource-Aware Scheduling of Distributed Ontological Reasoning Tasks in Wireless Sensor Networks.
Tim De PauwStijn VerstichelBruno VolckaertFilip De TurckVeerle OngenaePublished in: SUTC/UMC (2010)
Keyphrases
- reasoning tasks
- wireless sensor networks
- automated reasoning
- description logics
- logic programming
- answer set programming
- distributed systems
- temporal reasoning
- knowledge representation
- situation calculus
- sensor networks
- reasoning problems
- abductive reasoning
- artificial intelligence
- sensor nodes
- routing protocol
- peer to peer
- scheduling problem
- natural language
- belief revision
- scheduling algorithm
- logic programs
- low level