Pages that link to "Item:Q2538114"
From MaRDI portal
The following pages link to Concerning measures in first order calculi (Q2538114):
Displaying 50 items.
- The counterpart principle of analogical support by structural similarity (Q264027) (← links)
- The principle of signature exchangeability (Q266871) (← links)
- Modelling uncertain inference (Q382985) (← links)
- A survey of some recent results on spectrum exchangeability in polyadic inductive logic (Q408310) (← links)
- Second order inductive logic and Wilmers' principle (Q472798) (← links)
- Probabilities defined on standard and non-standard cylindric set algebras (Q514552) (← links)
- Equivocation axiom on first order languages (Q519855) (← links)
- A note on irrelevance in inductive logic (Q543531) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic (Q636320) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- An analysis of first-order logics of probability (Q757340) (← links)
- Measures on cylindric algebras (Q788718) (← links)
- A probabilistic dynamic logic (Q792757) (← links)
- Combining probabilistic logic programming with the power of maximum entropy (Q814608) (← links)
- Relative negations in non-commutative fuzzy structures (Q890025) (← links)
- A continuum-valued logic of degrees of probability (Q907883) (← links)
- Objective Bayesianism with predicate languages (Q935030) (← links)
- Automated compilation of object-oriented probabilistic relational models (Q962952) (← links)
- States on polyadic MV-algebras (Q965911) (← links)
- Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic (Q990965) (← links)
- Some aspects of polyadic inductive logic (Q1005942) (← links)
- Atom exchangeability and instantial relevance (Q1025576) (← links)
- On random models of finite power and monadic logic (Q1066878) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- The computational complexity of asymptotic problems. I: Partial orders (Q1115860) (← links)
- On computable beliefs of rational machines (Q1191819) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- Randomizing a model (Q1288257) (← links)
- A semantical framework for supporting subjective and conditional probabilities in deductive databases (Q1311410) (← links)
- On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic (Q1386681) (← links)
- Probability and logic. (Q1427347) (← links)
- The emergence of reasons conjecture. (Q1427348) (← links)
- Probability semantics for quantifier logic (Q1568717) (← links)
- Some observations on induction in predicate probabilistic reasoning (Q1610610) (← links)
- Combining analogical support in pure inductive logic (Q1706800) (← links)
- Semantic probabilistic inference of predictions (Q1709106) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- A logic for reasoning about probabilities (Q1813497) (← links)
- A ''definitive'' probabilistic semantics for first-order logic (Q1835912) (← links)
- Probabilistic characterisation of models of first-order theories (Q2003929) (← links)
- The entropy-limit (conjecture) for \(\Sigma_2\)-premisses (Q2021574) (← links)
- A triple uniqueness of the maximum entropy approach (Q2146064) (← links)
- Towards the entropy-limit conjecture (Q2216027) (← links)
- Symmetry in polyadic inductive logic (Q2255193) (← links)
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws (Q2283277) (← links)
- Generalized Bosbach states. I (Q2377355) (← links)
- Probabilistic description logic programs under inheritance with overriding for the semantic Web (Q2379312) (← links)
- Can logic be combined with probability? Probably (Q2390653) (← links)
