Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
On the hardness of approximate reasoning
Artificial Intelligence
Efficient clustering of high-dimensional data sets with application to reference matching
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining
Using weighted MAX-SAT engines to solve MPE
Eighteenth national conference on Artificial intelligence
Mixtures of deterministic-probabilistic networks and their AND/OR search space
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Machine Learning
Towards efficient sampling: exploiting random walk strategies
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Discriminative training of Markov logic networks
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
New advances in inference by recursive conditioning
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Automatically refining the wikipedia infobox ontology
Proceedings of the 17th international conference on World Wide Web
Discriminative structure and parameter learning for Markov logic networks
Proceedings of the 25th international conference on Machine learning
Efficient Weight Learning for Markov Logic Networks
PKDD 2007 Proceedings of the 11th European conference on Principles and Practice of Knowledge Discovery in Databases
Discriminative Structure Learning of Markov Logic Networks
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Just Add Weights: Markov Logic for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Learning Markov logic network structure via hypergraph lifting
ICML '09 Proceedings of the 26th Annual International Conference on Machine Learning
Artificial General Intelligence through Large-Scale, Multimodal Bayesian Learning
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Structure Learning of Markov Logic Networks through Iterated Local Search
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Unifying logical and statistical AI
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Language ID in the context of harvesting language data off the web
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics
Joint unsupervised coreference resolution with Markov logic
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Chinese named entity recognition with cascaded hybrid model
NAACL-Short '07 Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers
Learning to Disambiguate Search Queries from Short Sessions
ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part II
ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part II
Max-Margin Weight Learning for Markov Logic Networks
ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part I
Mapping and revising Markov logic networks for transfer learning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Joint inference in information extraction
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Integrating multiple learning components through Markov logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A general method for reducing the complexity of relational inference and its application to MCMC
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
An integrated discriminative probabilistic approach to information extraction
Proceedings of the 18th ACM conference on Information and knowledge management
Transfer learning from minimal target data by mapping across relational domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
High Performing Algorithms for MAP and Conditional Inference in Markov Logic
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
EMNLP '09 Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 - Volume 1
Equipping robot control programs with first-order probabilistic reasoning capabilities
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Extracting ontology concept hierarchies from text using Markov logic
Proceedings of the 2010 ACM Symposium on Applied Computing
Probabilistic inductive logic programming
CLP(BN): constraint logic programming for probabilistic knowledge
Probabilistic inductive logic programming
Semantic fusion of laser and vision in pedestrian detection
Pattern Recognition
Towards performing everyday manipulation activities
Robotics and Autonomous Systems
Joint inference for knowledge extraction from biomedical literature
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Towards relational POMDPs for adaptive dialogue management
ACLstudent '10 Proceedings of the ACL 2010 Student Research Workshop
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Soft evidential update via Markov chain Monte Carlo inference
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Speeding up inference in statistical relational learning by clustering similar query literals
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Generative Structure Learning for Markov Logic Networks
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Planning with noisy probabilistic relational rules
Journal of Artificial Intelligence Research
Boosting learning and inference in Markov logic through metaheuristics
Applied Intelligence
Tuffy: scaling up statistical inference in Markov logic networks using an RDBMS
Proceedings of the VLDB Endowment
Grammatical error simulation for computer-assisted language learning
Knowledge-Based Systems
Database foundations for scalable RDF processing
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
ELOG: a probabilistic reasoner for OWL EL
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Constraint propagation for efficient inference in Markov logic
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Gibbs sampling with deterministic dependencies
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Probabilistic databases with MarkoViews
Proceedings of the VLDB Endowment
Location-based reasoning about complex multi-agent behavior
Journal of Artificial Intelligence Research
Monte Carlo MCMC: efficient inference by approximate sampling
EMNLP-CoNLL '12 Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning
Monte Carlo MCMC: efficient inference by sampling factors
AKBC-WEKEX '12 Proceedings of the Joint Workshop on Automatic Knowledge Base Construction and Web-scale Knowledge Extraction
Combining subjective probabilities and data in training markov logic networks
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
Synthesis of tiled patterns using factor graphs
ACM Transactions on Graphics (TOG)
Automated reasoning, fast and slow
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.01 |
Reasoning with both probabilistic and deterministic dependencies is important for many real-world problems, and in particular for the emerging field of statistical relational learning. However, probabilistic inference methods like MCMC or belief propagation tend to give poor results when deterministic or near-deterministic dependencies are present, and logical ones like satisfiability testing are inapplicable to probabilistic ones. In this paper we propose MC-SAT, an inference algorithm that combines ideas from MCMC and satisfiability. MC-SAT is based on Markov logic, which defines Markov networks using weighted clauses in first-order logic. From the point of view of MCMC, MC-SAT is a slice sampler with an auxiliary variable per clause, and with a satisfiability-based method for sampling the original variables given the auxiliary ones. From the point of view of satisfiability, MCSAT wraps a procedure around the SampleSAT uniform sampler that enables it to sample from highly non-uniform distributions over satisfying assignments. Experiments on entity resolution and collective classification problems show that MC-SAT greatly outperforms Gibbs sampling and simulated tempering over a broad range of problem sizes and degrees of determinism.