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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

Algorithms based on first-order knowledge compilation are currently the state-of-the-art for lifted inference. These algorithms…

2010

We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics…

2009

We develop a formal framework intended as a preliminary step for a single knowledge representation system that provides different…

2003

2001

In the paper, we present declarative, model, and fixpoint semantics for fuzzy disjunctive programs with weak similarity — sets of…

1999

Equational problems (i.e.: first-order formulae with quantifier prefix ∃* ∀*, whose only predicate symbol is syntactic equality…

1993

By assigning numerical values to the atomic parts of a given artifact and, then, assigning the maximum of them to the artifact…

1992

An equational formula is a first order formula over an alphabet F of function symbols and the equality predicate symbol. Such…

1987

Let EOA be the elementary ontology augmented by an additional axiom ∃S (S ɛ S), and let LS be the monadic second-order predicate…

1976

The theory of abelian groups with an additional predicate denoting a subgroup is undecidable. 0. Introduction. Let L be the first…