Skip to search formSkip to main contentSkip to account menu

Predicate (mathematical logic)

Known as: Predicate (mathematics), Boolean predicates, Predicate 
In mathematics, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. However… 
Wikipedia (opens in a new tab)

Related topics

Related topics

48 relations
All-pairs testingArtificial intelligenceAssertion (software development)Autoepistemic logic

Broader (2)

Fuzzy logicPropositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Meaningful spatial prediction and aggregation
2013
2013
Parametric Content-Based Publish/Subscribe
Content-based publish/subscribe (CPS) is an appealing abstraction for building scalable distributed systems, e.g., message boards… 
2013
2013
PoMMaDe: pushdown model-checking for malware detection
We present PoMMaDe, a Pushd own Model-checking based M alware D etector. In PoMMaDe, a binary program is modeled as a pushdown… 
Highly Cited
2010
Highly Cited
2010
QoS Aware Semantic Web Service Composition Approach Considering Pre/Postconditions
Web service composition is a topic bringing several issues to be resolved. Our work deals with the effectiveness and scalability… 
Highly Cited
2007
Highly Cited
2007
Introducing Control Flow into Vectorized Code
Single instruction multiple data (SIMD) functional units are ubiquitous in modern microprocessors. Effective use of these SIMD… 
2000
2000
A dynamic model of part-of-speech differentiation
This text approaches word classes and their categorial manifestations from the perspective of typology and language universals… 
Highly Cited
1998
Highly Cited
1998
Predicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method… 
1998
1998
Complex predicates in nonderivational syntax
Preface A. Abeillo, D. Godard, and I. Sag, "Two Kinds of Composition in French Complex Predicates" G. Bouma and G. van Noord… 
1989
1989
Neural Network Visualization
We have developed graphics to visualize static and dynamic information in layered neural network learning systems. Emphasis was… 
Highly Cited
1978
Highly Cited
1978
An evaluation of the effectiveness of symbolic testing
The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)