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