291 citations · 595 across the 20 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 1 cited
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5
Tivadar Papai, Henry Kautz, Daniel Stefankovic
We propose modal Markov logic as an extension of propositional Markov logic to reason under the principle of maximum entropy for modal logics K45, KD45, and S5. Analogous to propos…
cs.AI2013★ 116 cited
A Bayesian Approach to Tackling Hard Computational Problems
Eric J. Horvitz, Yongshao Ruan, Carla P. Gomes +3
We are developing a general framework for using learned Bayesian models for decision-theoretic control of search and reasoningalgorithms. We illustrate the approach on the specific…