Jori Bomanson & Alex Brik (2019):
Diagnosing Data Pipeline Failures Using Action Languages.
In: Marcello Balduccini, Yuliya Lierler & Stefan Woltran: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings,
Lecture Notes in Computer Science 11481.
Springer,
pp. 181–194,
doi:10.1007/978-3-030-20528-7_14.
Piero A. Bonatti (2008):
Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111].
Artif. Intell. 172(15),
pp. 1833–1835,
doi:10.1016/j.artint.2008.07.002.
Alex Brik & Jeffrey B. Remmel (2011):
Hybrid ASP.
In: John P. Gallagher & Michael Gelfond: ICLP (Technical Communications),
LIPIcs 11.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 40–50.
Available at http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.40.
Alex Brik & Jeffrey B. Remmel (2012):
Computing a Finite Horizon Optimal Strategy Using Hybrid ASP.
In: 14th International Workshop on Non-Monotonic Reasoning, NMR 2012, Rome, Italy, June 8-10, 2012. Procedings.
Alex Brik & Jeffrey B. Remmel (2015):
Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP.
In: Francesco Calimeri, Giovambattista Ianni & Miroslaw Truszczynski: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings,
Lecture Notes in Computer Science 9345.
Springer,
pp. 173–185,
doi:10.1007/978-3-319-23264-5.
Alex Brik & Jeffrey B. Remmel (2017):
Action Language Hybrid AL.
In: Marcello Balduccini & Tomi Janhunen: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings,
Lecture Notes in Computer Science 10377.
Springer,
pp. 322–335,
doi:10.1007/978-3-319-61660-5_29.
Alex Brik & Jeffrey Xu (2020):
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report.
In: Ekaterina Komendantskaya & Yanhong Annie Liu: Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings,
Lecture Notes in Computer Science 12007.
Springer,
pp. 73–81,
doi:10.1007/978-3-030-39197-3_5.
Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub & Joachim Selbig (2008):
Modeling Biological Networks by Action Languages via Answer Set Programming.
Constraints 13(1-2),
pp. 21–65,
doi:10.1007/s10601-007-9031-y.
Maarten H. van Emden & Robert A. Kowalski (1976):
The Semantics of Predicate Logic as a Programming Language.
J. ACM 23(4),
pp. 733–742.
Available at http://doi.acm.org/10.1145/321978.321991.
Michael Gelfond & Vladimir Lifschitz (1988):
The Stable Model Semantics for Logic Programming.
In: ICLP/SLP,
pp. 1070–1080.
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.