「predicates」の共起表現一覧(1語右で並び替え)
predicates
1語右で並び替え
該当件数:37件
- nd variables which were bound in the unified predicates also occur in other predicates in the two cl
- ic programming, such as infinite trees, lazy predicates, and concurrent communicating predicates.
- te Prolog applications that use Java foreign predicates and that make use of multi-threading.
- Predicates and functions of real numbers need to be def
- Even when restricted to predicates and proper classes definable in first order
- odes of knowledge representation like terms, predicates and very complex propositional systems like
- tely analyzed in terms or monadic and dyadic predicates, and (b) triads are sufficient because there
- In the §-Calculus, syntactic predicates are originally called simply predicates, but
- In set theory, predicates are understood to be characteristic function
- covering as many previously uncovered design predicates as possible with each new test.
- ed not to English adjectives, but to English predicates, as this is how they function grammatically
- d-order logic keeps the requirement that all predicates be unary, but allows for quantification over
- can be used in a goal literal and arbitrary predicates can occur in conditions of equations.
- Semantic predicates extend this capability to interesting non-co
- imes real, furnishes us the means of turning predicates from being signs that we think or think thro
- Each of the four types of design predicates have an associated integration complexity ra
- is a conjunctive query without distinguished predicates, i.e., a query in the form , where each Ri i
- The effects of actions are given using the predicates Initiates and Terminates.
- onary semantic theories that avoid analysing predicates like "x is true" as expressing a real proper
- The predicates locked and open represent the conditions of
- Also, some combinations of design predicates might be logically impossible.
- The module system controls the visibility of predicates, non-logical stores, source transformations
- where D, M and H denote the predicates of being, respectively, a dog, a mammal, and
- RCGs aim to reduce a start predicate (which predicates of a terminal string) to the empty string, w
- mmutativity of conjunction demonstrates that predicates on both sides of a logical conjunction opera
- tablishment of the state of Israel, which he predicates on the commission of atrocities against the
- he domain, the fluents are modeled as either predicates or functions.
- ng the feasibility of conjunctions of theory predicates passed on to it from the SAT solver as it ex
- a lightweight protocol (few OWL classes and predicates; see the SSWAP Protocol) and the concept of
- ions and processes to their operands to form predicates, statements, and relational phrases.
- ws the extension writer to support any query predicates that they choose.
- les governing the order of elements, Boolean predicates that the content must satisfy, data types go
- Set-builder notation makes use of predicates to define sets.
- ccountability, he is author of Microeconomic Predicates to Law and Economics (Anderson Pub.
- annot nest usefully if there are no polyadic predicates to relate the bound variables.
- predicates, which are functions that return proposition
