Life logs include people's experiences collected from various sources. It is used to support user's memory. There are many studies that collect and store life log for per...
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...