Unifying logical and statistical AI

DOI10.1145/2933575.2935321MaRDI QIDQ4635857zbMATH OpenOpenAlexFDO

Authors Pedro Domingos, Daniel Lowd, S. Kok, Aniruddh Nath, Hoifung Poon, Matthew Richardson, Parag Singla

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2935321

zbMATH Keywords

first-order logicmachine learningMarkov chain Monte CarloMarkov networksprobabilistic graphical modelsprobabilistic inference

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Recommendations

• Algorithmic Learning Theory
• Markov logic. An interface layer for artificial intelligence. With contributions by Jesse Davis, Tuyen Huynh, Stanley Kok, Lilyana Mihalkova, Raymond J. Mooney, Aniruddh Nath, Hoifung Poon, Matthew Richardson, Parag Singla, Marc Sumner, and Jue Wang
• Introduction to the special issue on probability, logic and learning
• Markov Logic
• Markov logic networks

Cited in

(11)

• Structured machine learning: the next ten years
• Learning action models from plan examples using weighted MAX-SAT
• Confidences for commonsense reasoning
• Semiring programming: a semantic framework for generalized sum product problems
• Unifying logic and probability: a new dawn for AI?
• Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
• Markov logic. An interface layer for artificial intelligence. With contributions by Jesse Davis, Tuyen Huynh, Stanley Kok, Lilyana Mihalkova, Raymond J. Mooney, Aniruddh Nath, Hoifung Poon, Matthew Richardson, Parag Singla, Marc Sumner, and Jue Wang
• Generic inference in latent Gaussian process models
• Markov Logic
• Algorithmic Learning Theory
• Forecasting with jury-based probabilistic argumentation

Describes a project that uses

Uses Software

• Alchemy
• WinBUGS

This page was built for publication: Unifying logical and statistical AI

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635857)