242 search results - page 49 / 49 » Reasoning about Rationality and Beliefs |
AI
2005
Springer
14 years 9 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...
102
Voted
ISSTA
2012
ACM
12 years 12 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...