1328 search results - page 111 / 266 » Cut-free common knowledge |
163
Voted
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
104
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Tcl/Tk is an attractive language for the design of intelligent agents because it allows the quick construction of prototypes and user interfaces; new scripts can easily be bound at...
121
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r...
132
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
115
click to vote
ECBS
2004
IEEE
15 years 7 months ago
2004
IEEE
Adoption of the most suitable Requirements Engineering (RE) process and selection of the most appropriate RE techniques for a given project is a common challenge faced by industry...