242 search results - page 49 / 49 » Reasoning about Rationality and Beliefs |
AI
2005
Springer
13 years 5 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...