282 search results - page 28 / 57 » Common knowledge in update logics |
171
click to vote
ACSC
2006
IEEE
15 years 11 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
168
click to vote
IEE
2008
15 years 5 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
172
click to vote
SP
2000
IEEE
15 years 9 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.,...
145
Voted
ATAL
2006
Springer
15 years 9 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...
135
Voted
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...