IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
From information to knowledge: harvesting entities and relationships from web sources
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logic-based representation, reasoning and machine learning for event recognition
Proceedings of the Fourth ACM International Conference on Distributed Event-Based 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
Unsupervised ontology induction from text
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Machine reading at the University of Washington
FAM-LbR '10 Proceedings of the NAACL HLT 2010 First International Workshop on Formalisms and Methodology for Learning by Reading
Jointly modeling WSD and SRL with Markov logic
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics
Exploiting causal independence in Markov logic networks: combining undirected and directed models
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II
Implementing First-Order Variables in a Graphical Cognitive Architecture
Proceedings of the 2010 conference on Biologically Inspired Cognitive Architectures 2010: Proceedings of the First Annual Meeting of the BICA Society
Scalable knowledge harvesting with high precision and high recall
Proceedings of the fourth ACM international conference on Web search and data mining
Tuffy: scaling up statistical inference in Markov logic networks using an RDBMS
Proceedings of the VLDB Endowment
Learning statistical models from relational data
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Implementing weighted abduction in Markov logic
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Statistical relational learning in student modeling for intelligent tutoring systems
AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
On complex event processing for real-time situational awareness
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Semantic translation for rule-based knowledge in data mining
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Learning the parameters of probabilistic logic programs from interpretations
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part I
Online structure learning for Markov logic networks
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part II
Probabilistic logic reasoning about traffic scenes
TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
Probabilistic logics in expert systems: approaches, implementations, and applications
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
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
DC proposal: ontology learning from noisy linked data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Probabilistic event calculus based on Markov logic networks
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Picard: a creative and social online flashcard learning game
Proceedings of the International Conference on the Foundations of Digital Games
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Rethinking cognitive architecture via graphical models
Cognitive Systems Research
Event processing under uncertainty
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Probabilistic databases with MarkoViews
Proceedings of the VLDB Endowment
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section: Extended Version of SASO 2011 Best Paper
Recognizing Inference in Texts with Markov Logic Networks
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on RITE
Learning to "read between the lines" using Bayesian logic programs
ACL '12 Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1
Knowledge extraction and joint inference using tractable Markov logic
AKBC-WEKEX '12 Proceedings of the Joint Workshop on Automatic Knowledge Base Construction and Web-scale Knowledge Extraction
The dichotomy of probabilistic inference for unions of conjunctive queries
Journal of the ACM (JACM)
Discovering logical knowledge for deep question answering
Proceedings of the 21st ACM international conference on Information and knowledge management
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
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
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
Simple decision forests for multi-relational classification
Decision Support Systems
Towards high-throughput gibbs sampling at scale: a study across storage managers
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Knowledge harvesting in the big-data era
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Programming with personalized pagerank: a locally groundable first-order probabilistic logic
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Automated reasoning, fast and slow
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Modelling relational statistics with Bayes Nets
Machine Learning
Hi-index | 0.00 |
Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface layer requires combining both. Markov logic is a powerful new language that accomplishes this by attaching weights to first-order formulas and treating them as templates for features of Markov random fields. Most statistical models in wide use are special cases of Markov logic, and first-order logic is its infinite-weight limit. Inference algorithms for Markov logic combine ideas from satisfiability, Markov chain Monte Carlo, belief propagation, and resolution. Learning algorithms make use of conditional likelihood, convex optimization, and inductive logic programming. Markov logic has been successfully applied to problems in information extraction and integration, natural language processing, robot mapping, social networks, computational biology, and others, and is the basis of the open-source Alchemy system.