Towards a Context Theory for Context-aware systems
Proceedings of the 2007 conference on Advances in Ambient Intelligence
A Theorem Prover with Dependent Types for Reasoning about Actions
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Goal reasoning with context record types
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Hi-index | 0.00 |