Relbacoess

From International Center for Computational Logic

Relbacoess

Talk by Rui Zhang
A brief talk on the research work on formal modeling access control via description logics, modeling ontology evolution via Pi calculus and a current project in the recent years and possible topics to collaborate on.