Detail

Time and context: a declarative approach

Contextual Logic Programming (CxLP) is a simple yet powerful language that extends logic programming with mechanisms for modularity and object orientation. Temporal CxLP deeply integrates modularity with temporal reasoning making the usage of a module time dependent. In this talk besides presenting CxLP and its temporal extension we also illustrate how it can be used to develop and maintain temporal organization information systems. Finally, we discuss several possible developments including the construction of context-aware pervasive systems.