1737 search results - page 116 / 348 » On Interpolation in Existence Logics |
174
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
194
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
164
click to vote
DLOG
1996
15 years 7 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
178
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-off between expressive power and efficiency. Inductive logic programming ...
170
click to vote
INTERSENSE
2006
ACM
16 years 8 days ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...