@article{gebser17,
  title = {Multi-shot ASP solving with clingo},
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
  journal = {CoRR},
  volume = {abs/1705.09811},
  year = {2017}
}

@article{cozman20,
  title = {The joy of Probabilistic Answer Set Programming: Semantics, complexity, expressivity, inference},
  journal = {International Journal of Approximate Reasoning},
  year = {2020},
  author = {Fabio Gagliardi Cozman and Denis Deratani Mauá},
}

@inproceedings{skryagin22,
    title     = {{Neural-Probabilistic Answer Set Programming}},
    author    = {Skryagin, Arseny and Stammer, Wolfgang and Ochs, Daniel and Dhami, Devendra Singh and Kersting, Kristian},
    booktitle = {{Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning}},
    year      = {2022},
}

@inproceedings{raedt07,
  title={ProbLog: A Probabilistic Prolog and its Application in Link Discovery},
  author={Luc De Raedt and Angelika Kimmig and Hannu (TT) Toivonen},
  booktitle={International Joint Conference on Artificial Intelligence},
  year={2007}
}

@article{baral09,
author = {Baral, Chitta and Gelfond, Michael and Rushton, Nelson},
title = {Probabilistic Reasoning with Answer Sets},
year = {2009},
journal = {Theory Pract. Log. Program.},
}

@inproceedings{Lee16,
author = {Lee, Joohyung and Wang, Yi},
title = {Weighted Rules under the Stable Model Semantics},
year = {2016},
booktitle = {Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning},
}

@article{fierens15,
  author = "Fierens, Daan and Van den Broeck, Guy and Renkens, Joris and Shterionov, Dimitar and Gutmann, Bernd and Thon, Ingo and Janssens, Gerda and De Raedt, Luc",
  title = "Inference and Learning in Probabilistic Logic Programs using Weighted {Boolean} Formulas",   
  journal = {Theory and Practice of Logic Programming},
  year = {2015},
}

@inproceedings{manhaeve18,
 author = {Manhaeve, Robin and Dumancic, Sebastijan and Kimmig, Angelika and Demeester, Thomas and De Raedt, Luc},
 booktitle = {Advances in Neural Information Processing Systems},
 title = {{DeepProbLog}:  Neural Probabilistic Logic Programming},
 year = {2018}
}

@inproceedings{yang20,
  title     = {NeurASP: Embracing Neural Networks into Answer Set Programming},
  author    = {Yang, Zhun and Ishay, Adam and Lee, Joohyung},
  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-20}},
  year      = {2020},
}

@Inbook{eiter09,
  author="Eiter, Thomas and Ianni, Giovambattista and Krennwallner, Thomas",
  editor="Tessaris, Sergio and Franconi, Enrico and Eiter, Thomas and Gutierrez, Claudio and Handschuh, Siegfried and Rousset, Marie-Christine and Schmidt, Renate A.",
  title="Answer Set Programming: A Primer",
  bookTitle="Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures",
  year="2009",
  publisher="Springer Berlin Heidelberg",
  address="Berlin, Heidelberg",
  pages="40--110",
  abstract="Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. This article is a gentle introduction to the subject; it starts with motivation and follows the historical development of the challenge of defining a semantics for logic programs with negation. It looks into positive programs over stratified programs to arbitrary programs, and then proceeds to extensions with two kinds of negation (named weak and strong negation), and disjunction in rule heads. The second part then considers the ASP paradigm itself, and describes the basic idea. It shows some programming techniques and briefly overviews Answer Set solvers. The third part is devoted to ASP in the context of the Semantic Web, presenting some formalisms and mentioning some applications in this area. The article concludes with issues of current and future ASP research.",
  isbn="978-3-642-03754-2",
  doi="10.1007/978-3-642-03754-2_2",
  url="https://doi.org/10.1007/978-3-642-03754-2_2"
}

@InProceedings{gelfond88,
  title={The Stable Model Semantics for Logic Programming},
  author={Michael Gelfond and Vladimir Lifschitz},
  booktitle={Proceedings of International Logic Programming Conference and Symposium},
  editor={Kowalski, Robert and Bowen and Kenneth},
  publisher={MIT Press},
  pages={1070-1080},
  year={1988}
}
