Artificial Intelligence
Journal of Complexity
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Anytime deduction for probabilistic logic
Artificial Intelligence
A genetic local search algorithm for random binary constraint satisfaction problems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Some first-order probability logics
Theoretical Computer Science
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Using Genetic Algorithms to Solve NP-Complete Problems
Proceedings of the 3rd International Conference on Genetic Algorithms
A Superior Evolutionary Algorithm for 3-SAT
EP '98 Proceedings of the 7th International Conference on Evolutionary Programming VII
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A hybrid genetic and variable neighborhood descent for probabilistic SAT problem
HM'05 Proceedings of the Second international conference on Hybrid Metaheuristics
Hi-index | 0.00 |
This paper introduces a genetic algorithm for satisfiability problem in a probabilistic logic. A local search based improvement procedure is integrated in the algorithm. A test methodology is presented and some results are given. The results indicate that this approach could work well Some directions for further research are described.