187 search results - page 3 / 38 » Generating ultrafilters in a reasonable way |
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
CSL
2001
Springer
14 years 1 days ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
TPHOL
2002
IEEE
14 years 13 days ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
WOSP
2004
ACM
14 years 29 days ago
2004
ACM
While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to deter...