979 search results - page 76 / 196 » Footprints in Local Reasoning |
164
Voted
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
134
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
119
Voted
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...
104
click to vote
LCR
2000
Springer
15 years 6 months ago
2000
Springer
By definition, a heavyweight network service requires a significant amount of computation to complete its task. Providing a heavyweight service is challenging for a number of reaso...
118
click to vote
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...