Event Calculus-Based Adaptive Services Composition Policy for AmI Systems.

Huibing Zhang Jingwei Zhang Ya Zhou Junyan Qian

Published in: AMT (2012)

Keyphrases

event calculus
situation calculus
temporal reasoning
reasoning tasks
partially ordered
deductive databases
ami systems
ambient intelligence
optimal policy
transitive closure
domain specific knowledge
model driven engineering
database
directed acyclic graph
context aware
logic programming
query language