3776 search results - page 266 / 756 » Partition-Based Logical Reasoning |
140
click to vote
AMAI
2005
Springer
15 years 4 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
123
click to vote
CSL
2002
Springer
15 years 4 months ago
2002
Springer
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...
187
click to vote
LPNMR
2011
Springer
14 years 7 months ago
2011
Springer
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
159
click to vote
FCSC
2010
15 years 1 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
113
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...