Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,292,342 papers from all fields of science
Search
Sign In
Create Free Account
Predicate variable
Known as:
Predicate
, Predicate symbol
In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Domain of discourse
First-order logic
Propositional function
Propositional variable
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language
Seyed Mehran Kazemi
,
D. Poole
International Conference on Principles of…
2016
Corpus ID: 38399649
Algorithms based on first-order knowledge compilation are currently the state-of-the-art for lifted inference. These algorithms…
Expand
2010
2010
A Logical Proof of the Free Will Theorem
I. Reznikoff
2010
Corpus ID: 119581798
We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics…
Expand
2009
2009
Literal Projection and Circumscription – Extended Version , July 4 , 2009 –
C. Wernhard
2009
Corpus ID: 16861086
We develop a formal framework intended as a preliminary step for a single knowledge representation system that provides different…
Expand
2006
2006
Compositional Semantics for the Procedural Interpretation of Logic
M. H. Emden
International Conference on Logic Programming
2006
Corpus ID: 2558223
Semantics of logic programs has been given by proof theory, model theory and by fixpoint of the immediate-consequence operator…
Expand
2003
2003
Explicit versus implicit representations of subsets of the Herbrand universe
R. Pichler
Theoretical Computer Science
2003
Corpus ID: 44591501
2001
2001
Semantics for Fuzzy Disjunctive Programs with Weak Similarity
Dušan Guller
International Conference on Health Information…
2001
Corpus ID: 5505222
In the paper, we present declarative, model, and fixpoint semantics for fuzzy disjunctive programs with weak similarity — sets of…
Expand
1999
1999
Solving Equational Problems Efficiently
R. Pichler
CADE
1999
Corpus ID: 21276140
Equational problems (i.e.: first-order formulae with quantifier prefix ∃* ∀*, whose only predicate symbol is syntactic equality…
Expand
1992
1992
Negation Elimination in Equational Formulae
Hubert Comon-Lundh
,
M. Fernández
International Symposium on Mathematical…
1992
Corpus ID: 40891697
An equational formula is a first order formula over an alphabet F of function symbols and the equality predicate symbol. Such…
Expand
1991
1991
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code
Fausto Giunchiglia
,
P. Traverso
International Joint Conference on Artificial…
1991
Corpus ID: 12629153
The goal of this paper is to present a theorem prover where the underlying code has been written to behave as the procedural…
Expand
1987
1987
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
M. Takano
Studia Logica: An International Journal for…
1987
Corpus ID: 2043383
Let EOA be the elementary ontology augmented by an additional axiom ∃S (S ɛ S), and let LS be the monadic second-order predicate…
Expand
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)
ACCEPT & CONTINUE