Sciweavers

140 search results - page 3 / 28
» A Quantitative Model of Counterfactual Reasoning
Sort
View
ISSTA
2012
ACM
11 years 7 months ago
A quantitative study of accuracy in system call-based malware detection
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...
Davide Canali, Andrea Lanzi, Davide Balzarotti, Ch...
ATAL
2005
Springer
13 years 11 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...
ICAI
2003
13 years 6 months ago
A Quantitative Model of Capabilities in Multi-Agent Systems
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
Linli He, Thomas R. Ioerger
AISC
2004
Springer
13 years 10 months ago
Singularities in Qualitative Reasoning
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...
Björn Gottfried