Evgenii Balai & Michael Gelfond (2016):
On the Relationship between P-log and LP^MLN.
In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI),
pp. 915–921.
Chitta Baral, Michael Gelfond & J. Nelson Rushton (2009):
Probabilistic reasoning with answer sets.
Theory and Practice of Logic Programming 9(1),
pp. 57–144,
doi:10.1016/j.artint.2003.09.003.
Pedro Cabalar & Paolo Ferraris (2007):
Propositional theories are strongly equivalent to logic programs.
Theory and Practice of Logic Programming 7(6),
pp. 745–759,
doi:10.1016/S0743-1066(97)10001-2.
Yin Chen, Fangzhen Lin & Lei Li (2005):
SELP - A System for Studying Strong Equivalence Between Logic Programs.
In: LPNMR,
pp. 442–446.
Luc De Raedt, Angelika Kimmig & Hannu Toivonen (2007):
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery..
In: IJCAI 7,
pp. 2462–2467.
Paolo Ferraris (2005):
Answer sets for propositional theories.
In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
pp. 119–131,
doi:10.1007/11546207_10.
Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz (2011):
Stable models and circumscription.
Artificial Intelligence 175,
pp. 236–263,
doi:10.1016/j.artint.2010.04.011.
Tomi Janhunen & Emilia Oikarinen (2004):
LPEQ and DLPEQ?translators for automated equivalence testing of logic programs.
In: International Conference on Logic Programming and Nonmonotonic Reasoning.
Springer,
pp. 336–340,
doi:10.1007/978-3-540-24609-1_30.
Joohyung Lee & Ravi Palla (2009):
System f2lp – Computing Answer Sets of First-Order Formulas.
In: Procedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
pp. 515–521,
doi:10.1007/11546207_36.
Joohyung Lee, Samidh Talsania & Yi Wang (2017):
Computing LPMLN using ASP and MLN solvers.
Theory and Practice of Logic Programming,
doi:10.1017/S1471068417000400.
Joohyung Lee & Yi Wang (2016):
Weighted Rules under the Stable Model Semantics.
In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR),
pp. 145–154.
Joohyung Lee & Yi Wang (2018):
A Probabilistic Extension of Action Language BC+.
Theory and Practice of Logic Programming 18(3–4),
pp. 607–622,
doi:10.1017/S1471068403001807.
Joohyung Lee & Yi Wang (2018):
Weight Learning in a Probabilistic Extension of Answer Set Programs.
In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR),
pp. 22–31.
Joohyung Lee & Zhun Yang (2017):
LPMLN, Weak Constraints, and P-log.
In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI),
pp. 1170–1177.
Vladimir Lifschitz, David Pearce & Agustin Valverde (2001):
Strongly equivalent logic programs.
ACM Transactions on Computational Logic 2,
pp. 526–541,
doi:10.1145/383779.383783.
David Pearce (2006):
Equilibrium logic.
Annals of Mathematics and Artificial Intelligence 47(1-2),
pp. 3–41,
doi:10.1007/s10472-006-9028-z.
Judea Pearl (2000):
Causality: models, reasoning and inference 29.
Cambridge Univ Press,
doi:10.1017/CBO9780511803161.
Matthew Richardson & Pedro Domingos (2006):
Markov logic networks.
Machine Learning 62(1-2),
pp. 107–136,
doi:10.1007/s10994-006-5833-1.
Bin Wang & Zhizheng Zhang (2017):
A Parallel LPMLN Solver: Primary Report.
In: Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP).
eptcs@eptcs.org