Formalise Knowledge Life Cycles
type Activity Instance
Description Defining a formal life cycle calculus with a semantic based on the Barwise-Seligman Information Flow theory, and implementing a prototype based on the theory.
Actor Marco Schorlemmer
Relevant Input
Main Research Area Formal Methods, Knowledge Lifecycle
Relevant Research Area Knowledge Engineering, Knowledge Management, Knowledge Reuse
Start Time Jan 2001
Current Status The formal description of the knowledge life cycle is finished, currently exploring further uses of the life cycle calculus.
Source Provider(real world)
Cross References