3515 search results - page 221 / 703 » On the semantics of Strategy Logic |
183
Voted
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
186
Voted
WWW
2003
ACM
16 years 8 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
193
Voted
RR
2007
Springer
16 years 1 months 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...
183
click to vote
AIMSA
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
203
Voted
PPDP
2004
Springer
16 years 23 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...