Probabilistic logic
From MaRDI portal
Publication:1073782
DOI10.1016/0004-3702(86)90031-7zbMath0589.03007OpenAlexW2914728526MaRDI QIDQ1073782
Publication date: 1986
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(86)90031-7
Related Items
Projection, consistency, and George Boole, Graphoid properties of epistemic irrelevance and independence, Probabilistic logic under coherence: complexity and algorithms, Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs, Coincidence of the sets of minimal and irreducible join graphs over primary structure of algebraic Bayesian networks, A quantitative approach to belief revision in structured probabilistic argumentation, Anytime deduction for probabilistic logic, Coherence graphs, Characterizing consistency in probabilistic logic for a class of Horn clauses, Aggregate operations in the information source tracking method, Inferences in probability logic, On the modal logic of Jeffrey conditionalization, Direct algorithms for checking consistency and making inferences from conditional probability assessments, Assignment methods for incidence calculus, Probabilistic modelling, inference and learning using logical theories, Two characterizations of a minimum-information principle for possibilistic reasoning, Boole's conditions of possible experience and reasoning under uncertainty, Resolution and the integrality of satisfiability problems, Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models, Modelling default and likelihood reasoning as probabilistic reasoning., The relationship between knowledge, belief, and certainty, A linear programming approach to reasoning about probabilities, Probabilistic satisfiability, Tableau reasoning for description logics and its extension to probabilities, \(p\)-adic probability logics, Borel probabilistic and quantitative logic, On the applicability of maximum entropy to inexact reasoning, SPIRIT and Léa Sombé: A study in probabilistic reasoning, Possibilistic Petri nets as a basis for agent service description language, \(n\)-tuple algebra-based probabilistic logic, A probabilistic logic based on the acceptability of gambles, Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation, Weighted positive binary decision diagrams for exact probabilistic inference, A new probabilistic constraint logic programming language based on a generalised distribution semantics, Fuzzy functional dependencies and Bayesian networks, On implicative closure operators in approximate reasoning., Tabulation proof procedures for fuzzy linguistic logic programming, Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation, A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics, Probabilistic satisfiability: algorithms with the presence and absence of a phase transition, Generalizing inference rules in a coherence-based probabilistic default reasoning, The logical view of conditioning and its application to possibility and evidence theories, Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems, Sequent calculus for classical logic probabilized, Optimization and probabilistic satisfiability on nested and co-nested formulas, A logic-based analysis of Dempster-Shafer theory, Focused most probable world computations in probabilistic logic programs, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, Hierarchies of probabilistic logics, GPS trajectory data segmentation based on probabilistic logic, Graded hypothesis theories, How much do you believe!, Generalized probabilistic satisfiability, Revision with probability, An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version), Bayesian diagnosis in expert systems, Relational linear programming, When upper probabilities are possibility measures, Belief revision in structured probabilistic argumentation, model and application to cyber security, An anytime deduction algorithm for the probabilistic logic and entailment problems, Constraint reasoning based on interval arithmetic: The tolerance propagation approach, Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm, Probabilistic logic programming, Using probabilistic argumentation for key validation in public-key cryptography, A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications, Value differences using second-order distributions, Probability logic and optimization SAT: The PSAT and CPA models, The complexity of satisfiability in non-iterated and iterated probabilistic logics, Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking, Measures of inconsistency and defaults, Sensitivity statistical estimates for local a posteriori inference matrix-vector equations in algebraic Bayesian networks over quantum propositions, A semantic study of the first-order predicate logic with uncertainty involved, \(\mathcal R\mathcal E\mathcal S\) - a logic for relative evidential support, Conditional probability and fuzzy information, Perspectives on the theory and practice of belief functions, Applause: An implementation of the Collins-Michalski theory of plausible reasoning, A logic for reasoning about probabilities, A behavioral foundation for fuzzy measures, Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs, An analysis of first-order logics of probability, Probabilities and reasoning about possibilities, The theory of interval probabilistic logic programs, Credal networks, A framework for analysing decisions under risk, Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem, On consistency in probabilistic logic for logical formulas represented by \(B\)-hypertrees, Logic optimality for multi-objective optimization, Axiomatization of frequent itemsets, New methods for computing inferences in first order logic, A heuristic in rules-based systems, A semantical framework for supporting subjective and conditional probabilities in deductive databases, A model of belief, A realistic (non-associative) logic and a possible explanations of \(7\pm 2\) law, Axiomatization and completeness of uncountably valued approximation logic, Probabilistic satisfiability with imprecise probabilities, Computing posterior upper expectations, A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments, Approximate reasoning by similarity-based SLD resolution., Additive models of probabilistic processes, Combining probabilistic logic programming with the power of maximum entropy, Theory and algorithms for analysing the consistent region in probabilistic logic, Reasoning about probabilistic sequential programs, An exercise on the generation of many-valued dynamic logics, Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases, Unnamed Item, Approximate algorithms for credal networks with binary variables, Probabilistic logic with independence, Probabilistic description logic programs under inheritance with overriding for the semantic Web, Specifying and reasoning about uncertain agents, A logic with approximate conditional probabilities that can model default reasoning, Adding proof calculi to epistemic logics with structured knowledge, On cautious probabilistic inference and default detachment, A p-adic probability logic, The computational complexity of probabilistic inference using Bayesian belief networks, Graphical models for imprecise probabilities, Fuzzy sets in approximate reasoning. II: Logical approaches, Expressive probabilistic description logics, On propositional definability, Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence, Probabilistic argumentation, Probabilistic reasoning in a classical logic, A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic, Fuzzy conditional logic, Measures of uncertainty in expert systems, Matrix equations for normalizing factors in local a posteriori inference of truth estimates in algebraic Bayesian networks, The differential of probabilistic entailment, Probabilities, possibilities, and fuzzy sets, On the completeness of incidence calculus, Logics with lower and upper probability operators, Inconsistency-tolerant reasoning over linear probabilistic knowledge bases, Argument strength in probabilistic argumentation based on defeasible rules, Super-Solutions, A propositional probabilistic logic with discrete linear time for reasoning about evidence, An Equation-Based Classical Logic, On the hardness of approximate reasoning, Probabilistic logic revisited, Lattice-theoretic models of conjectures, hypotheses and consequences, Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities, Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds, Balanced matrices, Entropy and monotonicity in artificial intelligence, The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference, Thirty years of credal networks: specification, algorithms and complexity, Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics, Best second order bounds for two-terminal network reliability with dependent edge failures, Interpolative Boolean Logic, Probabilities on sentences in an expressive logic, Dynamics of inductive inference in a unified framework, Consistency checking and querying in probabilistic databases under integrity constraints, Weak nonmonotonic probabilistic logics, Entailment with near surety of scaled assertions of high conditional probability, On the complexity of inference about probabilistic relational models, Quantitative Logic Reasoning, The complexity of satisfying constraints on databases of transactions, Deciding Koopman's qualitative probability, Aggregating disparate estimates of chance, A Survey of First-Order Probabilistic Models, Compatibility, desirability, and the running intersection property, Towards classifying propositional probabilistic logics, Probabilization of logics: completeness and decidability, Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics, Itemset frequency satisfiability: complexity and axiomatization, Probabilistic logic with minimum perplexity: Application to language modeling, Safe projections of binary data sets, Markov logic networks, Weakly complete axiomatization of exogenous quantum propositional logic, Merging the local and global approaches to probabilistic satisfiability, Foundation of credibilistic logic, Rota's Fubini lectures: the first problem, Incomplete probability assessments in decision analysis, On the semantics of fuzzy logic, Processing expertise systematically, Probability logic in the twentieth century, The modal logic of Bayesian belief revision, A general approach to reasoning with probabilities, Probabilistic reasoning with answer sets, Probabilistic sentence satisfiability: an approach to PSAT, Completeness theorems for \(\sigma \)-additive probabilistic semantics, Automated non-monotonic reasoning in System \textbf{P}, Probabilistic abstract argumentation frameworks, a possible world view, On the relative expressiveness of Bayesian and neural networks, A polynomial-time fragment of epistemic probabilistic argumentation, Regression and progression in stochastic domains, A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics, Abduction with probabilistic logic programming under the distribution semantics, Interval-Valued Degrees of Belief: Applications of Interval Computations to Expert Systems and Intelligent Control, Stochastic Decision Theory, How to Restore Compactness into Probabilistic Logics?, Epistemic logics with structured knowledge, AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS, SECOND-ORDER DECISION ANALYSIS, A logic for inductive probabilistic reasoning, Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding, Protocol Composition Logic (PCL), Probabilistic satisfiability and coherence checking through integer programming, Survey on mining signal temporal logic specifications, Exogenous Probabilistic Computation Tree Logic, Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers, A simple logic for reasoning about incomplete knowledge, Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions, PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT, Extended possibilistic truth values, Graph decompositions and tree automata in reasoning with uncertainty, Note on a six-valued extension of three-valued logic, Information and evidence in logic systems, On consequence in approximate reasoning, Modelling a public-key infrastructure, Reasoning About Degrees of Confirmation, Probabilistic concurrent constraint programming, Generalizing probabilistic material implication and Bayesian conditionals, Intuitionistic propositional probability logic, On counting propositional logic and Wagner's hierarchy, Syntactic reasoning with conditional probabilities in deductive argumentation, A further step for efficient corrections of inconsistent probabilistic data sets, On the progression of belief, Unified decomposition-aggregation (UDA) rules: dynamic, schematic, novel axioms, A NON-NUMERIC APPROACH TO UNCERTAIN REASONING, What to expect from a set of itemsets?, Is there an alternative to parsimonious semantics?, Some considerations on the logics PFD A logic combining modality and probability, MODELLING UNCERTAINTY IN MULTIMEDIA DATABASE SYSTEMS: AN EXTENDED POSSIBILISTIC APPROACH, Approximate reasoning with credible subsets, Physical Computational Complexity and First-order Logic, Using Histograms to Better Answer Queries to Probabilistic Logic Programs, UNCERTAINTY AND ESTIMATION IN RECONSTRUCTABILITY ANALYSIS, How to fully represent expert information about imprecise properties in a computer system: random sets, fuzzy sets, and beyond: an overview, Cost-bounded argumentation, Ranking of admissible alternatives in interval decision making, A possibilistic-logic-based approach to integrating imprecise and uncertain information, Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches, Probability and Tempered Modal Eliminativism, Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: A case study, Automatic derivation of probabilistic inference rules, Precise induction from statistical data, A framework for building knowledge-bases under uncertainty, A Hybrid Method for Probabilistic Satisfiability, New Advances in Logic-Based Probabilistic Modeling by PRISM, Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP, Unnamed Item, Qualitative Possibilities and Necessities, Proof systems for probabilistic uncertain reasoning, Unnamed Item, Credal Calculi, Evidence, and Consistency, Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy, Logics with Probability Operators, Justification Logics with Probability Operators, Explaining by evidence
Cites Work
