3776 search results - page 634 / 756 » Partition-Based Logical Reasoning |
RSP
1998
IEEE
14 years 6 days ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
AMAST
1998
Springer
14 years 5 days ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
SIGMOD
1998
ACM
14 years 5 days ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
SAS
1993
Springer
14 years 1 days ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
AUSAI
2007
Springer
13 years 12 months ago
2007
Springer
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...