References

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