Separateness of Variables - A Novel Perspective on Decidable First-Order Fragments.
Marco VoigtPublished in: CoRR (2019)
Keyphrases
- first order logic
- universally quantified
- existentially quantified
- function symbols
- higher order
- mazurkiewicz traces
- guarded fragment
- variable selection
- expressive power
- situation calculus
- viewpoint
- causal relationships
- real numbers
- input variables
- propositional logic
- horn clauses
- independent variables
- quantifier elimination
- inference rules
- horizontal fragmentation
- knowledge representation
- function free horn
- probabilistic model