Results 221 to 230 of about 11,089 (266)
Some of the next articles are maybe not open access.
Predicate Subtyping with Predicate Sets
2001We show how PVS-style predicate subtyping can be simulated in HOL using predicate sets, and explain how to perform subtype checking using this model. We illustrate some applications of this to specification and verification in HOL, and also demonstrate some limits of the approach.
openaire +1 more source
2018
Some sentences have a very simple structure, consisting only of a part which serves to pick out a particular object and a part which says something about the object picked out. Expressions which can be used to say something about objects picked out are called predicates. Thus ‘smokes’ in ‘Sam smokes’ is a predicate.
openaire +1 more source
Some sentences have a very simple structure, consisting only of a part which serves to pick out a particular object and a part which says something about the object picked out. Expressions which can be used to say something about objects picked out are called predicates. Thus ‘smokes’ in ‘Sam smokes’ is a predicate.
openaire +1 more source
2000
Abstract The extensional view that predicates are general terms that refer severally to the members of a set of objects that satisfy them is rejected. Instead, it is argued that predicates refer to properties, and are thus singular terms like names.
openaire +1 more source
Abstract The extensional view that predicates are general terms that refer severally to the members of a set of objects that satisfy them is rejected. Instead, it is argued that predicates refer to properties, and are thus singular terms like names.
openaire +1 more source
Discriminative predicate path mining for fact checking in knowledge graphs
Knowledge-Based Systems, 2016Baoxu Shi, Tim Weninger
exaly
Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets
IEEE Transactions on Automation Science and Engineering, 2015Jiujun Cheng +2 more
exaly