4573 search results - page 186 / 915 » Automated Reasoning |
104
Voted
AICOM
2010
15 years 3 months ago
2010
125
click to vote
ACSAC
2005
IEEE
15 years 9 months 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...
78
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
94
Voted
CADE
2007
Springer
16 years 3 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...
137
Voted
LICS
1999
IEEE
15 years 8 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...