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
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
How to Restore Compactness into Probabilistic Logics?
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Qualitative Possibilities and Necessities
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
A probabilistic logic with polynomial weight formulas
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Probability Logic of Finitely Additive Beliefs
Journal of Logic, Language and Information
A branching time logic with two types of probability operators
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
A logic with coherent conditional probabilities
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A hybrid genetic and variable neighborhood descent for probabilistic SAT problem
HM'05 Proceedings of the Second international conference on Hybrid Metaheuristics
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A first-order dynamic probability logic
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
| Hi-index | 5.23 |