The authors discuss the virtues and limitations of several logics for cryptographic protocols focusing primarily on the logics of authentication. They emphasize the scope limita...
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provi...
The authors present a single exponent decision procedure for the validity of XCTL formulas, and a double exponent decision procedure for the validity of XCTL formulas over finit...
A social-psychological model is developed to examine the proposition that environmentalism represents a new way of thinking. It presumes that action in support of environmental ...
This study explored situations in which current organizational goal priorities require rewards allocation logics that contradict traditional distributive norms and the natural c...
Social media, news, blog, policy document mentions