Decentralized Reasoning in Ambient Intelligence - José Viterbo, Markus Endler ((SpringerBriefs in Computer Science))