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.
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… 
2007
2007
Probe Minimization by Schedule Optimization: Supporting Top-K Queries with Expensive Predicates
This paper addresses the problem of evaluating ranked top-k queries with expensive predicates. As major DBMSs now all support… 
2003
2003
Integrating Description Logics and Answer Set Programming
We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support… 
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… 
Highly Cited
1997
Highly Cited
1997
Horizontal Class Partitioning in Object-Oriented Databases
The Horizontal Fragmentation (HF) is a process for reducing the number of disk access to execute a query by reducing the number… 
1989
1989
Neural Network Visualization
We have developed graphics to visualize static and dynamic information in layered neural network learning systems. Emphasis was… 
1984
1984
Towards multi-level and modular conceptual schema specifications
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)