@article(alviano2018aggregates,
 author       = {Mario Alviano and Wolfgang Faber},
 year         = {2018},
 title        = {Aggregates in Answer Set Programming},
 journal      = {K{\"{u}}nstliche Intell.},
 volume       = {32},
 number       = {2-3},
 pages        = {119--124},
 doi          = {10.1007/s13218-018-0545-9},
)
@article(baral2009probabilistic,
 author       = {Chitta Baral and Michael Gelfond and J. Nelson Rushton},
 year         = {2009},
 title        = {Probabilistic reasoning with answer sets},
 journal      = {Theory Pract. Log. Program.},
 volume       = {9},
 number       = {1},
 pages        = {57--144},
 doi          = {10.1017/S1471068408003645},
)
@inproceedings(bartholomew2010decidable,
 author       = {Michael Bartholomew and Joohyung Lee},
 year         = {2010},
 title        = {A Decidable Class of Groundable Formulas in the General Theory of Stable Models},
 editor       = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
 booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010},
 publisher    = {{AAAI} Press},
 pages        = {477--485},
 url          = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1375},
)
@inproceedings(beck2016equivalent,
 author       = {Harald Beck and Dao{-}Tran, Minh and Thomas Eiter},
 year         = {2016},
 title        = {Equivalent Stream Reasoning Programs},
 editor       = {Subbarao Kambhampati},
 booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016},
 publisher    = {{IJCAI/AAAI} Press},
 pages        = {929--935},
 url          = {http://www.ijcai.org/Abstract/16/136},
)
@article(beck2018lars,
 author       = {Harald Beck and Dao{-}Tran, Minh and Thomas Eiter},
 year         = {2018},
 title        = {{LARS:} {A} Logic-based framework for Analytic Reasoning over Streams},
 journal      = {Artif. Intell.},
 volume       = {261},
 pages        = {16--70},
 doi          = {10.1016/j.artint.2018.04.003},
)
@inproceedings(bistarelli1997semiring,
 author       = {Stefano Bistarelli and Ugo Montanari and Francesca Rossi},
 year         = {1997},
 title        = {Semiring-based Constraint Logic Programming},
 booktitle    = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
 publisher    = {Morgan Kaufmann},
 pages        = {352--357},
 url          = {http://ijcai.org/Proceedings/97-1/Papers/055.pdf},
)
@inproceedings(buccafurri1997strong,
 author       = {Francesco Buccafurri and Nicola Leone and Pasquale Rullo},
 year         = {1997},
 title        = {Strong and Weak Constraints in Disjunctive Datalog},
 editor       = {J{\"{u}}rgen Dix and Ulrich Furbach and Anil Nerode},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1265},
 publisher    = {Springer},
 pages        = {2--17},
 doi          = {10.1007/3-540-63255-7\_2},
)
@inproceedings(cabalar2020uniform,
 author       = {Pedro Cabalar and Jorge Fandinno and Torsten Schaub and Philipp Wanko},
 year         = {2020},
 title        = {A Uniform Treatment of Aggregates and Constraints in Hybrid {ASP}},
 editor       = {Diego Calvanese and Esra Erdem and Michael Thielscher},
 booktitle    = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020},
 pages        = {193--202},
 doi          = {10.24963/kr.2020/20},
)
@article(cabalar2018temporal,
 author       = {Pedro Cabalar and Roland Kaminski and Torsten Schaub and Anna Schuhmann},
 year         = {2018},
 title        = {Temporal Answer Set Programming on Finite Traces},
 journal      = {Theory Pract. Log. Program.},
 volume       = {18},
 number       = {3-4},
 pages        = {406--420},
 doi          = {10.1017/S1471068418000297},
)
@inproceedings(DBLP:conf/lpnmr/CabalarPV09,
 author       = {Pedro Cabalar and David Pearce and Agust{\'{\i}}n Valverde},
 year         = {2009},
 title        = {A Revised Concept of Safety for General Answer Set Programs},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
 pages        = {58--70},
 doi          = {10.1007/978-3-642-04238-6\_8},
)
@inproceedings(dell2003aggregate,
 author       = {Tina Dell'Armi and Wolfgang Faber and Giuseppe Ielpa and Nicola Leone and Gerald Pfeifer},
 year         = {2003},
 title        = {Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in {DLV}},
 editor       = {Georg Gottlob and Toby Walsh},
 booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
 publisher    = {Morgan Kaufmann},
 pages        = {847--852},
 url          = {http://ijcai.org/Proceedings/03/Papers/122.pdf},
)
@article(droste2007weighted,
 author       = {Manfred Droste and Paul Gastin},
 year         = {2007},
 title        = {Weighted automata and weighted logics},
 journal      = {Theor. Comput. Sci.},
 volume       = {380},
 number       = {1-2},
 pages        = {69--86},
 doi          = {10.1016/j.tcs.2007.02.055},
)
@inproceedings(efkr2013-aaai,
 author       = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl},
 year         = {2013},
 title        = {{Liberal Safety Criteria for HEX-Programs}},
 editor       = {Marie desJardins and Michael Littman},
 booktitle    = {Twenty-Seventh AAAI Conference (AAAI 2013), July 14--18, 2013, Bellevue, Washington, USA},
 publisher    = {AAAI Press},
 pages        = {267--275},
 url          = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6209},
)
@article(DBLP:journals/tplp/EiterK20,
 author       = {Thomas Eiter and Rafael Kiesel},
 year         = {2020},
 title        = {ASP(AC): Answer Set Programming with Algebraic Constraints},
 journal      = {Theory Pract. Log. Program.},
 volume       = {20},
 number       = {6},
 pages        = {895--910},
 doi          = {10.1017/S1471068420000393},
)
@inproceedings(DBLP:conf/ecai/EiterK20,
 author       = {Thomas Eiter and Rafael Kiesel},
 year         = {2020},
 title        = {Weighted {LARS} for Quantitative Stream Reasoning},
 editor       = {Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Bugar{\'{\i}}n, Alberto and J{\'{e}}r{\^{o}}me Lang},
 booktitle    = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)},
 series       = {Frontiers in Artificial Intelligence and Applications},
 volume       = {325},
 publisher    = {{IOS} Press},
 pages        = {729--736},
 doi          = {10.3233/FAIA200160},
)
@inproceedings(DBLP:conf/aaai/EiterK21,
 author       = {Thomas Eiter and Rafael Kiesel},
 year         = {2021},
 title        = {On the Complexity of Sum-of-Products Problems over Semirings},
 booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021},
 publisher    = {{AAAI} Press},
 pages        = {6304--6311},
 url          = {https://ojs.aaai.org/index.php/AAAI/article/view/16783},
)
@article(ferraris2011logic,
 author       = {Paolo Ferraris},
 year         = {2011},
 title        = {Logic programs with propositional connectives and aggregates},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {12},
 number       = {4},
 pages        = {25:1--25:40},
 doi          = {10.1145/1970398.1970401},
)
@article(DBLP:journals/tplp/GebserHKLS15,
 author       = {Martin Gebser and Amelia Harrison and Roland Kaminski and Vladimir Lifschitz and Torsten Schaub},
 year         = {2015},
 title        = {Abstract gringo},
 journal      = {{TPLP}},
 volume       = {15},
 number       = {4-5},
 pages        = {449--463},
 doi          = {10.1017/S1471068415000150},
)
@article(gelfond2014vicious,
 author       = {Michael Gelfond and Yuanlin Zhang},
 year         = {2014},
 title        = {Vicious Circle Principle and Logic Programs with Aggregates},
 journal      = {Theory Pract. Log. Program.},
 volume       = {14},
 number       = {4-5},
 pages        = {587--601},
 doi          = {10.1017/S1471068414000222},
)
@inproceedings(kimmig2011algebraic,
 author       = {Angelika Kimmig and Guy Van den Broeck and Luc De Raedt},
 year         = {2011},
 title        = {An Algebraic Prolog for Reasoning about Possible Worlds},
 editor       = {Wolfram Burgard and Dan Roth},
 booktitle    = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
 publisher    = {{AAAI} Press},
 pages        = {209--214},
 url          = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3685},
)
@inproceedings(lee2017lpmln,
 author       = {Joohyung Lee and Zhun Yang},
 year         = {2017},
 title        = {LPMLN, Weak Constraints, and P-log},
 editor       = {Satinder P. Singh and Shaul Markovitch},
 booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}},
 publisher    = {{AAAI} Press},
 pages        = {1170--1177},
 url          = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14547},
)
@article(lierler2014relating,
 author       = {Yuliya Lierler},
 year         = {2014},
 title        = {Relating constraint answer set programming languages and algorithms},
 journal      = {Artif. Intell.},
 volume       = {207},
 pages        = {1--22},
 doi          = {10.1016/j.artint.2013.10.004},
)
@inproceedings(lierler2009one,
 author       = {Yuliya Lierler and Vladimir Lifschitz},
 year         = {2009},
 title        = {One More Decidable Class of Finitely Ground Programs},
 editor       = {Patricia M. Hill and David Scott Warren},
 booktitle    = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5649},
 publisher    = {Springer},
 pages        = {489--493},
 doi          = {10.1007/978-3-642-02846-5\_40},
)
@inproceedings(lifschitz2008answer,
 author       = {Vladimir Lifschitz},
 year         = {2008},
 title        = {What Is Answer Set Programming?},
 editor       = {Dieter Fox and Carla P. Gomes},
 booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
 publisher    = {{AAAI} Press},
 pages        = {1594--1597},
 url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-270.php},
)
@inproceedings(DBLP:conf/iclp/Lifschitz16,
 author       = {Vladimir Lifschitz},
 year         = {2016},
 title        = {Intelligent Instantiation and Supersafe Rules},
 booktitle    = {Technical Communications of the 32nd International Conference on Logic Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City, {USA}},
 pages        = {7:1--7:14},
 doi          = {10.4230/OASIcs.ICLP.2016.7},
)
@article(lifschitz2001strongly,
 author       = {Vladimir Lifschitz and David Pearce and Agust{\'{\i}}n Valverde},
 year         = {2001},
 title        = {Strongly equivalent logic programs},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {2},
 number       = {4},
 pages        = {526--541},
 doi          = {10.1145/383779.383783},
)
@inproceedings(lifschitz1994splitting,
 author       = {Vladimir Lifschitz and Hudson Turner},
 year         = {1994},
 title        = {Splitting a Logic Program},
 editor       = {Pascal Van Hentenryck},
 booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
 publisher    = {{MIT} Press},
 pages        = {23--37},
)
@inproceedings(nickles2015system,
 author       = {Matthias Nickles and Alessandra Mileo},
 year         = {2015},
 title        = {A System for Probabilistic Inductive Answer Set Programming},
 editor       = {Christoph Beierle and Alex Dekhtyar},
 booktitle    = {Scalable Uncertainty Management - 9th International Conference, {SUM} 2015, Qu{\'{e}}bec City, QC, Canada, September 16-18, 2015. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9310},
 publisher    = {Springer},
 pages        = {99--105},
 doi          = {10.1007/978-3-319-23540-0\_7},
)
@inproceedings(niemela1999stable,
 author       = {Ilkka Niemel{\"{a}} and Patrik Simons and Timo Soininen},
 year         = {1999},
 title        = {Stable Model Semantics of Weight Constraint Rules},
 editor       = {Michael Gelfond and Nicola Leone and Gerald Pfeifer},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1730},
 publisher    = {Springer},
 pages        = {317--331},
 doi          = {10.1007/3-540-46767-X\_23},
)
@article(DBLP:journals/ijar/NievesL15,
 author       = {Juan Carlos Nieves and Helena Lindgren},
 year         = {2015},
 title        = {Possibilistic nested logic programs and strong equivalence},
 journal      = {Int. J. Approx. Reasoning},
 volume       = {59},
 pages        = {1--19},
 doi          = {10.1016/j.ijar.2015.01.004},
)
@inproceedings(pearce2004towards,
 author       = {David Pearce and Agust{\'{\i}}n Valverde},
 year         = {2004},
 title        = {Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning},
 editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite},
 booktitle    = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3229},
 publisher    = {Springer},
 pages        = {147--160},
 doi          = {10.1007/978-3-540-30227-8\_15},
)
@inproceedings(10.1007/978-3-540-89982-2_46,
 author       = {David Pearce and Agust{\'i}n Valverde},
 year         = {2008},
 title        = {Quantified Equilibrium Logic and Foundations for Answer Set Programs},
 editor       = {Garcia de la Banda, Maria and Enrico Pontelli},
 booktitle    = {Proc.\ ICLP'08},
 publisher    = {Springer},
 pages        = {546--560},
 doi          = {10.1007/978-3-540-89982-2\_46},
)
@inproceedings(de2007problog,
 author       = {Luc De Raedt and Angelika Kimmig and Hannu Toivonen},
 year         = {2007},
 title        = {ProbLog: {A} Probabilistic Prolog and Its Application in Link Discovery},
 editor       = {Manuela M. Veloso},
 booktitle    = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
 pages        = {2462--2467},
 url          = {http://ijcai.org/Proceedings/07/Papers/396.pdf},
)
@inproceedings(eiter2021treewidth,
 author       = {Thomas Eiter, Markus Hecher and Rafael Kiesel},
 year         = {2021 (to appear)},
 title        = {Treewidth-aware Cycle Breaking for Algebraic Answer Set Counting},
 booktitle    = {Eighteenth International Conference on the Principles of Knowledge Representation and Reasoning},
)
@inproceedings(tsamoura2020beyond,
 author       = {Efthymia Tsamoura and Guti{\'{e}}rrez{-}Basulto, V{\'{\i}}ctor and Angelika Kimmig},
 year         = {2020},
 title        = {Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs},
 booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020},
 publisher    = {{AAAI} Press},
 pages        = {10284--10291},
 url          = {https://aaai.org/ojs/index.php/AAAI/article/view/6591},
)