A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation.
Stefano BragagliaStefano Di MontePaola MelloPublished in: CISIS (2014)
Keyphrases
- distributed systems
- event calculus
- reasoning about actions and change
- situation calculus
- deductive databases
- temporal reasoning
- partially ordered
- domain specific knowledge
- reasoning tasks
- mobile agents
- concurrent systems
- transitive closure
- software architecture
- domain independent
- artificial intelligence
- graphical models
- software engineering