4573 search results - page 186 / 915 » Automated Reasoning |
145
Voted
AICOM
2010
15 years 6 months ago
2010
167
Voted
ACSAC
2005
IEEE
16 years 18 days ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
152
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
185
Voted
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as pr...