@inproceedings(Balai2016realtionship,
 author       = {Evgenii Balai and Michael Gelfond},
 year         = {2016},
 title        = {{On the Relationship between P-log and LP${\textsuperscript{MLN}}$}},
 editor       = {Subbarao Kambhampati},
 booktitle    = {Proceedings of the 25th International Joint Conference on Artificial Intelligence},
 pages        = {915--921},
)
@article(Brewka2011ASP,
 author       = {Gerhard Brewka and Thomas Eiter and Miros{\l}aw Truszczy{\'{n}}ski},
 year         = {2011},
 title        = {{Answer Set Programming at a Glance}},
 journal      = {Communications of the ACM},
 volume       = {54},
 number       = {12},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@article(Eiter2007ASPbpa,
 author       = {Thomas Eiter and Wolfgang Faber and Michael Fink and Stefan Woltran},
 year         = {2007},
 title        = {{Complexity results for answer set programming with bounded predicate arities and implications}},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {51},
 number       = {2-4},
 pages        = {123--165},
 doi          = {10.1007/s10472-008-9086-5},
)
@incollection(Eiter2004SimplifyingLP,
 author       = {Thomas Eiter and Michael Fink and Hans Tompits and Stefan Woltran},
 year         = {2004},
 title        = {{Simplifying Logic Programs Under Uniform and Strong Equivalence}},
 booktitle    = {Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning},
 pages        = {87--99},
 doi          = {10.1007/978-3-540-24609-1_10},
)
@inproceedings(Eiter2016Exploiting,
 author       = {Thomas Eiter and Tobias Kaminski},
 year         = {2016},
 title        = {{Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects}},
 editor       = {J{\"{u}}rgen Dix and Lu{\'{i}}s Fari{\~{n}}as del Cerro and Ulrich Furbach},
 booktitle    = {Proceedings of the 15th European Conference on Logics in Artificial Intelligence},
 series       = {Lecture Notes in Computer Science},
 volume       = {10021},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {223--239},
 doi          = {10.1007/978-3-319-48758-8_15},
)
@inproceedings(Gelfond1988theSM,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {{The Stable Model Semantics for Logic Programming}},
 editor       = {Robert A. Kowalski and Kenneth A. Bowen},
 booktitle    = {Proceedings of the Fifth International Conference and Symposium on Logic Programming},
 publisher    = {MIT Press},
 pages        = {1070--1080},
)
@incollection(Inoue2004EqUpdate,
 author       = {Katsumi Inoue and Chiaki Sakama},
 year         = {2004},
 title        = {{Equivalence of Logic Programs Under Updates}},
 booktitle    = {Proceedings of the 9th European Workshop on Logics in Artificial Intelligence},
 volume       = {3229},
 pages        = {174--186},
 doi          = {10.1007/978-3-540-30227-8_17},
)
@article(Lee2017ComputingLpmln,
 author       = {Joohyung Lee and Samidh Talsania and Yi Wang},
 year         = {2017},
 title        = {{Computing LP MLN using ASP and MLN solvers}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {17},
 number       = {5-6},
 pages        = {942--960},
 doi          = {10.1017/S1471068417000400},
)
@inproceedings(Lee2016Weighted,
 author       = {Joohyung Lee and Yi Wang},
 year         = {2016},
 title        = {{Weighted Rules under the Stable Model Semantics}},
 editor       = {Chitta Baral and James P. Delgrande and Frank Wolter},
 booktitle    = {Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning:},
 publisher    = {AAAI Press},
 pages        = {145--154},
)
@inproceedings(Lee2018WeightLearning,
 author       = {Joohyung Lee and Yi Wang},
 year         = {2018},
 title        = {{Weight Learning in a Probabilistic Extension of Answer Set Programs}},
 booktitle    = {Proceedings of the 16th International Conference on the Principles of Knowledge Representation and Reasoning},
 pages        = {22--31},
)
@inproceedings(Lee2017lpmln,
 author       = {Joohyung Lee and Zhun Yang},
 year         = {2017},
 title        = {{LP${\textsuperscript{MLN}}$, Weak Constraints, and P-log}},
 editor       = {Satinder P. Singh and Shaul Markovitch},
 booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence},
 publisher    = {AAAI Press},
 pages        = {1170--1177},
)
@article(Lifschitz2001Strongly,
 author       = {Valdimir Lifschitz and David Pearce and Agust{\'{\i}}n Valverde},
 year         = {2001},
 title        = {{Strongly equivalent logic programs}},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {2},
 number       = {4},
 pages        = {526--541},
 doi          = {10.1145/383779.383783},
)
@article(Lin2005Discover,
 author       = {Fangzhen Lin and Yin Chen},
 year         = {2007},
 title        = {{Discovering Classes of Strongly Equivalent Logic Programs}},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {28},
 pages        = {431--451},
 doi          = {10.1613/jair.2131},
)
@inproceedings(Osorio2001Equivalence,
 author       = {Mauricio Osorio and Juan Antonio Navarro and Jos{\'{e}} Arrazola},
 year         = {2001},
 title        = {{Equivalence in Answer Set Programming}},
 booktitle    = {Proceedings of the 11th International Workshop on Logic Based Program Synthesis and Transformation,},
 pages        = {57--75},
 doi          = {10.1007/3-540-45607-4_4},
)
@article(Richardson2006mln,
 author       = {Matthew Richardson and Pedro Domingos},
 year         = {2006},
 title        = {{Markov logic networks}},
 journal      = {Machine Learning},
 volume       = {62},
 number       = {1-2},
 pages        = {107--136},
 doi          = {10.1007/s10994-006-5833-1},
)
@inproceedings(Turner2001SE,
 author       = {Hudson Turner},
 year         = {2001},
 title        = {{Strong Equivalence for Logic Programs and Default Theories (Made Easy)}},
 booktitle    = {Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning},
 pages        = {81--92},
 doi          = {10.1007/3-540-45402-0_6},
)
@inproceedings(Wang2017ParallelLpmln,
 author       = {Bin Wang and Zhizheng Zhang},
 year         = {2017},
 title        = {{A Parallel LP${\textsuperscript{MLN}}$ Solver: Primary Report}},
 editor       = {Bart Bogaerts and Amelia Harrison},
 booktitle    = {Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms},
 publisher    = {CEUR-WS},
 address      = {Espoo, Finland},
 pages        = {1--14},
)
@inproceedings(Wang2018Splitting,
 author       = {Bin Wang and Zhizheng Zhang and Hongxiang Xu and Jun Shen},
 year         = {2018},
 title        = {{Splitting an LP${\textsuperscript{MLN}}$ Program}},
 booktitle    = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence},
 pages        = {1997--2004},
)
@inproceedings(Wu2018LPMLNModels,
 author       = {Wei Wu and Hongxiang Xu and Shutao Zhang and Jiaqi Duan and Bin Wang and Zhizheng Zhang and Chenglong He and Shiqiang Zong},
 year         = {2018},
 title        = {{LPMLNModels: A Parallel Solver for LPMLN}},
 booktitle    = {2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)},
 publisher    = {IEEE},
 pages        = {794--799},
 doi          = {10.1109/ICTAI.2018.00124},
)