1737 search results - page 208 / 348 » On Interpolation in Existence Logics |
159
click to vote
KI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
197
click to vote
OTM
2007
Springer
16 years 15 days ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
166
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
156
click to vote
SAS
2007
Springer
16 years 15 days ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
154
click to vote
SAT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...