An analysis of first-order logics of probability
From MaRDI portal
completenessundecidabilitytwo-sorted logicpossible worldsaxiomatizationsprobability modelsprobability logicfrequency conception of probabilityprobabilities of propositionsprobabilities on a domainsemantics for probabilistic reasoning within an object languagesubjective view of probabilitytype 2-probability structuretype-3 structure
Recommendations
Cites work
- scientific article; zbMATH DE number 4145875 (Why is no real title available?)
- scientific article; zbMATH DE number 3715502 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 1028834 (Why is no real title available?)
- scientific article; zbMATH DE number 3216776 (Why is no real title available?)
- scientific article; zbMATH DE number 3222419 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3321248 (Why is no real title available?)
- scientific article; zbMATH DE number 3329879 (Why is no real title available?)
- scientific article; zbMATH DE number 3060434 (Why is no real title available?)
- scientific article; zbMATH DE number 3060775 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- A probabilistic dynamic logic
- Addendum to ``Bayesian and non-Bayesian evidential updating
- Concerning measures in first order calculi
- Probabilistic logic
Cited in
(only showing first 100 items - show all)- Lifted inference for statistical statements in probabilistic answer set programming
- Probabilistic sentence satisfiability: an approach to PSAT
- A quantified coalgebraic van Benthem theorem
- Regression and progression in stochastic domains
- A Behavioral Comparison of Some Probabilistic Logic Models
- A Comparison between Two Statistical Relational Models
- scientific article; zbMATH DE number 6148082 (Why is no real title available?)
- Logics with Probability Operators
- Precise induction from statistical data
- On the relative expressiveness of Bayesian and neural networks
- Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
- Constructing Markov Logic Networks from First-Order Default Rules
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
- From statistical relational to neurosymbolic artificial intelligence: a survey
- A logic for inductive probabilistic reasoning
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
- A logic with measurable spaces for natural language semantics
- On the probability and cost of ignorance, inconsistency, nonsense and more
- A general approach to reasoning with probabilities
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models
- Curry and Howard meet Borel
- Logics with lower and upper probability operators
- On counting propositional logic and Wagner's hierarchy
- scientific article; zbMATH DE number 4187137 (Why is no real title available?)
- Quantified neural Markov logic networks
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures
- Probabilities on sentences in an expressive logic
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- KnowLang -- a formal specification model for self-adaptive systems
- A framework for management of semistructured probabilistic data
- Syntactic reasoning with conditional probabilities in deductive argumentation
- Probabilistic logic over paths
- Logical perspectives on the foundations of probability
- INTERLEAVING LOGIC AND COUNTING
- Representations of uncertainty in artificial intelligence: probability and possibility
- Elementary invariants for quantified probability logic
- The Probabilistic Description Logic
- Probabilistic Modeling of Default Reasoning
- A logic of time, chance, and action for representing plans
- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
- A logical consequence informed by probability
- The probability nesting game
- Towards logical foundations for probabilistic computation
- What to expect from a set of itemsets?
- Semiring programming: a semantic framework for generalized sum product problems
- Speeding up parameter and rule learning for acyclic probabilistic logic programs
- Markov logic networks
- Structured probabilistic inference
- Anytime deduction for probabilistic logic
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- The emergence of reasons conjecture.
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- Probabilistic description logic programs under inheritance with overriding for the semantic Web
- PR-OWL - a language for defining probabilistic ontologies
- Statistical statements in probabilistic logic programming
- Probabilistic reasoning in a classical logic
- A First-order Logic for Reasoning about Knowledge and Probability
- Some first-order probability logics
- Reference classes and relational learning
- Probabilistic generalization of formal concepts
- A logic for arguing about probabilities in measure teams
- A continuum-valued logic of degrees of probability
- A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics
- Learning probabilistic logic models from probabilistic examples
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- From statistical knowledge bases to degrees of belief
- Improving expressivity of inductive logic programming by learning different kinds of fuzzy rules
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Reasoning defeasibly about probabilities
- Tableau reasoning for description logics and its extension to probabilities
- Reasoning About Degrees of Confirmation
- Model-based exception mining for object-relational data
- MEBN: a language for first-order Bayesian knowledge bases
- Probabilistic reasoning with answer sets
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Probabilities on first order models
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Possibilistic logic: a retrospective and prospective view
- Collapsing probabilistic hierarchies. I
- Reasoning about knowledge and conditional probability
- A sequent calculus for urn logic
- In conjunction with qualitative probability
- Formal frameworks for approximate reasoning
- A logical theory of localization
- Combining probabilistic logic programming with the power of maximum entropy
- PRL: a probabilistic relational language
- Weighted positive binary decision diagrams for exact probabilistic inference
- Paraconsistent informational logic
- Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
- Can logic be combined with probability? Probably
- Information and evidence in logic systems
- Modelling relational statistics with Bayes nets
- A natural prior probability distribution derived from the propositional calculus
- Logics of imprecise comparative probability
- The independent choice logic for modelling multiple agents under uncertainty
- Consistency checking and querying in probabilistic databases under integrity constraints
- Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
- Dynamic reasoning with qualified syllogisms
- Query evaluation in probabilistic relational databases
- An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version)
This page was built for publication: An analysis of first-order logics of probability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q757340)
