@inproceedings(balai16ontherelationship,
 author       = {Evgenii Balai and Michael Gelfond},
 year         = {2016},
 title        = {On the Relationship between {P}-log and ${{\rm L}{\rm P}^{{\rm M}{\rm L}{\rm N}}}$},
 booktitle    = {Proceedings of International Joint Conference on Artificial Intelligence ({IJCAI})},
 pages        = {915--921},
)
@article(baral09probabilistic,
 author       = {Chitta Baral and Michael Gelfond and J.~Nelson Rushton},
 year         = {2009},
 title        = {Probabilistic reasoning with answer sets},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {9},
 number       = {1},
 pages        = {57--144},
 doi          = {10.1016/j.artint.2003.09.003},
)
@article(caba07,
 author       = {Pedro Cabalar and Paolo Ferraris},
 year         = {2007},
 title        = {Propositional theories are strongly equivalent to logic programs},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {7},
 number       = {6},
 pages        = {745--759},
 doi          = {10.1016/S0743-1066(97)10001-2},
)
@inproceedings(chen05selp,
 author       = {Yin Chen and Fangzhen Lin and Lei Li},
 year         = {2005},
 title        = {SELP - A System for Studying Strong Equivalence Between Logic Programs},
 booktitle    = {LPNMR},
 pages        = {442--446},
)
@inproceedings(deraedt07problog,
 author       = {De~Raedt, Luc and Angelika Kimmig and Hannu Toivonen},
 year         = {2007},
 title        = {{P}rob{L}og: A Probabilistic {P}rolog and Its Application in Link Discovery.},
 booktitle    = {IJCAI},
 volume       = {7},
 pages        = {2462--2467},
)
@inproceedings(fer05,
 author       = {Paolo Ferraris},
 year         = {2005},
 title        = {Answer sets for propositional theories},
 booktitle    = {Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning ({LPNMR})},
 pages        = {119--131},
 doi          = {10.1007/11546207_10},
)
@article(ferraris11stable,
 author       = {Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz},
 year         = {2011},
 title        = {Stable models and circumscription},
 journal      = {Artificial Intelligence},
 volume       = {175},
 pages        = {236--263},
 doi          = {10.1016/j.artint.2010.04.011},
)
@inproceedings(janhunen04lpeq,
 author       = {Tomi Janhunen and Emilia Oikarinen},
 year         = {2004},
 title        = {LPEQ and DLPEQ?translators for automated equivalence testing of logic programs},
 booktitle    = {International Conference on Logic Programming and Nonmonotonic Reasoning},
 organization = {Springer},
 pages        = {336--340},
 doi          = {10.1007/978-3-540-24609-1_30},
)
@inproceedings(leej09,
 author       = {Joohyung Lee and Ravi Palla},
 year         = {2009},
 title        = {System {\sc f2lp} -- Computing Answer Sets of First-Order Formulas},
 booktitle    = {Procedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)},
 pages        = {515--521},
 doi          = {10.1007/11546207_36},
)
@article(lee17computing,
 author       = {Joohyung Lee and Samidh Talsania and Yi~Wang},
 year         = {2017},
 title        = {Computing {L}{P}{M}{L}{N} using {A}{S}{P} and {M}{L}{N} solvers},
 journal      = {Theory and Practice of Logic Programming},
 doi          = {10.1017/S1471068417000400},
)
@inproceedings(lee16weighted,
 author       = {Joohyung Lee and Yi~Wang},
 year         = {2016},
 title        = {Weighted Rules under the Stable Model Semantics},
 booktitle    = {Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)},
 pages        = {145--154},
)
@article(lee18aprobabilistic,
 author       = {Joohyung Lee and Yi~Wang},
 year         = {2018},
 title        = {A Probabilistic Extension of Action Language {$\cal BC$}+},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {18(3--4)},
 pages        = {607--622},
 doi          = {10.1017/S1471068403001807},
)
@inproceedings(lee18weight,
 author       = {Joohyung Lee and Yi~Wang},
 year         = {2018},
 title        = {Weight Learning in a Probabilistic Extension of Answer Set Programs},
 booktitle    = {Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)},
 pages        = {22--31},
)
@inproceedings(lee17lpmln,
 author       = {Joohyung Lee and Zhun Yang},
 year         = {2017},
 title        = {{L}{P}{M}{L}{N}, Weak Constraints, and {P}-log},
 booktitle    = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
 pages        = {1170--1177},
)
@article(lif01,
 author       = {Vladimir Lifschitz and David Pearce and Agustin Valverde},
 year         = {2001},
 title        = {Strongly equivalent logic programs},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {2},
 pages        = {526--541},
 doi          = {10.1145/383779.383783},
)
@article(pearce06equilibrium,
 author       = {David Pearce},
 year         = {2006},
 title        = {Equilibrium logic},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {47},
 number       = {1-2},
 pages        = {3--41},
 doi          = {10.1007/s10472-006-9028-z},
)
@book(pearl00causality,
 author       = {Judea Pearl},
 year         = {2000},
 title        = {Causality: models, reasoning and inference},
 volume       = {29},
 publisher    = {Cambridge Univ Press},
 doi          = {10.1017/CBO9780511803161},
)
@article(richardson06markov,
 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(wang17parallel,
 author       = {Bin Wang and Zhizheng Zhang},
 year         = {2017},
 title        = {A Parallel {L}{P}{M}{L}{N} Solver: Primary Report},
 booktitle    = {{\em Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)}},
)