CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Recognizing balanced 0,±matrices
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Easy Cases of Probabilistic Satisfiability
Annals of Mathematics and Artificial Intelligence
Simplification Rules for the Coherent Probability Assessment Problem
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Axiomatization of frequent itemsets
Theoretical Computer Science
Axiomatization of Frequent Sets
ICDT '01 Proceedings of the 8th International Conference on Database Theory
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probability Logic and Optimization SAT: The PSAT and CPA Models
Annals of Mathematics and Artificial Intelligence
Computational complexity of itemset frequency satisfiability
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Approximate Inverse Frequent Itemset Mining: Privacy, Complexity, and Approximation
ICDM '05 Proceedings of the Fifth IEEE International Conference on Data Mining
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Computational complexity of queries based on itemsets
Information Processing Letters
Complexity of Fuzzy Probability Logics
Fundamenta Informaticae
Mixed Rational Assessments of Possibility and Probability Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Merging the local and global approaches to probabilistic satisfiability
International Journal of Approximate Reasoning
Expressive probabilistic description logics
Artificial Intelligence
Itemset frequency satisfiability: Complexity and axiomatization
Theoretical Computer Science
Probabilistic logic with independence
International Journal of Approximate Reasoning
An anytime deduction algorithm for the probabilistic logic and entailment problems
International Journal of Approximate Reasoning
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Uncertainty, belief, and probability
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The theory of interval probabilistic logic programs
Annals of Mathematics and Artificial Intelligence
Computational complexity of queries based on itemsets
Information Processing Letters
A refuted conjecture on probabilistic satisfiability
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Algorithms for possibility assessments: Coherence and extension
Fuzzy Sets and Systems
A logic based algorithm for solving probabilistic satisfiability
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Sequential decision making with partially ordered preferences
Artificial Intelligence
Magic inference rules for probabilistic deduction under taxonomic knowledge
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Revisiting the semantics of interval probabilistic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Probabilistic logic with strong independence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A hybrid genetic and variable neighborhood descent for probabilistic SAT problem
HM'05 Proceedings of the Second international conference on Hybrid Metaheuristics
Probabilistic satisfiability: logic-based algorithms and phase transition
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Complexity of Fuzzy Probability Logics
Fundamenta Informaticae
Probabilistic satisfiability and coherence checking through integer programming
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Solutions for hard and soft constraints using optimized probabilistic satisfiability
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
| Hi-index | 0.00 |