4573 search results - page 186 / 915 » Automated Reasoning |
156
click to vote
ACSAC
2005
IEEE
16 years 5 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...
138
click to vote
CADE
2007
Springer
16 years 6 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...
170
click to vote
LICS
1999
IEEE
15 years 10 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...