Results 261 to 270 of about 48,321 (304)
ACM SIGPLAN Notices, 2004 Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate guard specifying the conditions under ...
Todd Millstein
exaly +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
1981
In this chapter we introduce some of the built-in predicates that a Prolog system might provide. What do we mean when we say that a predicate is built-in? We mean that the predicate’s definition is provided in advance by the Prolog system, instead of by your own clauses.
William F. Clocksin +1 more
openaire +1 more source
In this chapter we introduce some of the built-in predicates that a Prolog system might provide. What do we mean when we say that a predicate is built-in? We mean that the predicate’s definition is provided in advance by the Prolog system, instead of by your own clauses.
William F. Clocksin +1 more
openaire +1 more source
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic, 2002
The author has suggested earlier that the various nonmonotonic reasoning formalisms are converging towards probability. Here, he discusses the idea of randomness: using a definition by Kyburg as a benchmark, he describes how it appears in various nonmonotonic reasoning formalisms, in particular, circumscription.
openaire +1 more source
The author has suggested earlier that the various nonmonotonic reasoning formalisms are converging towards probability. Here, he discusses the idea of randomness: using a definition by Kyburg as a benchmark, he describes how it appears in various nonmonotonic reasoning formalisms, in particular, circumscription.
openaire +1 more source
Synthese, 2010
A familiar strategy of argument to the effect that natural-language predicates are semantically context dependent rests on constructing what I term Travis cases: different contexts for the use of a predicate are imagined in which its semantic (typically, truth-conditional) properties are claimed to differ.
openaire +1 more source
A familiar strategy of argument to the effect that natural-language predicates are semantically context dependent rests on constructing what I term Travis cases: different contexts for the use of a predicate are imagined in which its semantic (typically, truth-conditional) properties are claimed to differ.
openaire +1 more source
Predicate Liftings Versus Nabla Modalities [PDF]
Electronic Notes in Theoretical Computer Science, 2008 We compare Moss' language and languages with predicate liftings. We prove that every monadic predicate lifting for a Kripke polynomial functor can be translated into Moss' language.
Leal, Raul Andres, Leal, R.A.
exaly +2 more sources
Predication and extensionality
Journal of Philosophical Logic, 1974"Predication," writes W. V. Quine, "joins a general term and a singular term to form a sentence that is true or false according as the general term is true or false of the object, if any, to which the singular term refers".1 The view of predication expressed by Quine in the quoted passage is not restricted to Quine; P. F.
openaire +2 more sources
Complex predicates and predicate raising
Lingua, 2003This paper discusses major issues that have arisen in the analysis of sentences with complex predicates in Japanese from early transformational grammar to the present minimalist program. Particular emphasis is placed on the treatment of the causative construction to assess the influence of the lexicalist hypothesis and its aftermath.
openaire +1 more source
2009
AbstractWhether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer.
openaire +1 more source
AbstractWhether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer.
openaire +1 more source
New Generation Computing, 1989
This paper explores the possibilities of programming with graphical representations of logic programs. Two example programs are given in the concurrent logic language FGDC but many languages based on rewrite rules would be suitable for the same treatment.
openaire +1 more source
This paper explores the possibilities of programming with graphical representations of logic programs. Two example programs are given in the concurrent logic language FGDC but many languages based on rewrite rules would be suitable for the same treatment.
openaire +1 more source
2015
AbstractThis chapter discusses a grammatically defined sub-class of focus: that on verbal predicates and on functional elements in the extended verbal projection. The phenomena falling under the label of predicate focus are introduced, and it is shown that predicate focus is interpretable on a par with argument or term focus on DPs and PPs.
openaire +2 more sources
AbstractThis chapter discusses a grammatically defined sub-class of focus: that on verbal predicates and on functional elements in the extended verbal projection. The phenomena falling under the label of predicate focus are introduced, and it is shown that predicate focus is interpretable on a par with argument or term focus on DPs and PPs.
openaire +2 more sources