Artificial Intelligence
Theory of linear and integer programming
Theory of linear and integer programming
Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Journal of Complexity
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
An analysis of first-order logics of probability
Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Qualitative reasoning with imprecise probabilities
Journal of Intelligent Information Systems - Special issue: fuzzy logic and uncertainty management in information systems
Stable semantics for probabilistic deductive databases
Information and Computation
Anytime deduction for probabilistic logic
Artificial Intelligence
Decision Support Systems - Special issue on logic modeling
From statistical knowledge bases to degrees of belief
Artificial Intelligence
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computing probability intervals under independency constraints
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Many-Valued First-Order Logics with Probabilistic Semantics
Proceedings of the 12th International Workshop on Computer Science Logic
Probabilistic and Truth-Functional Many-Valued Logic Programming
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Magic inference rules for probabilistic deduction under taxonomic knowledge
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Extension of the Relational Algebra to Probabilistic Complex Values
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Probalilistic Logic Programming under Maximum Entropy
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
On the checking of G-coherence of conditional probability bounds
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
A glimpse of symbolic-statistical modeling by PRISM
Journal of Intelligent Information Systems
Tractable Reasoning with Bayesian Description Logics
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Uncertainty in the Semantic Web
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Uncertainty Reasoning for the Semantic Web
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Graphical models for imprecise probabilities
International Journal of Approximate Reasoning
New advances in logic-based probabilistic modeling by PRISM
Probabilistic inductive logic programming
Credal networks under maximum entropy
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Generalizing inference rules in a coherence-based probabilistic default reasoning
International Journal of Approximate Reasoning
Hi-index | 0.00 |
We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globally complete probabilistic deduction with conditional constraints over basic events is NP-hard. We then concentrate on the special case of probabilistic deduction in conditional constraint trees. We elaborate very efficient techniques for globally complete probabilistic deduction. In detail, for conditional constraint trees with point probabilities, we present a local approach to globally complete probabilistic deduction, which runs in linear time in the size of the conditional constraint trees. For conditional constraint trees with interval probabilities, we show that globally complete probabilistic deduction can be done in a global approach by solving nonlinear programs. We show how these nonlinear programs can be transformed into equivalent linear programs, which are solvable in polynomial time in the size of the conditional constraint trees.