| 2026 | KR | A Normal Form for Rules Containing Arithmetic Operations. | Jorge Fandinno, Yuliya Lierler, Vladimir Lifschitz |
| 2025 | PADL | SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. | Zachary Hansen, Yuliya Lierler |
| 2024 | LPNMR | tExplain: Information Extraction with Explanations. | Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muiz, Joel Sare |
| 2023 | AAAI | Splitting Answer Set Programs with Respect to Intensionality Statements. | Jorge Fandinno, Yuliya Lierler |
| 2022 | AAAI | Axiomatization of Aggregates in Answer Set Programming. | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
| 2022 | LPNMR | Arguing Correctness of ASP Programs with Aggregates. | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
| 2022 | LPNMR | Semantics for Conditional Literals via the SM Operator. | Zachary Hansen, Yuliya Lierler |
| 2022 | LPNMR | A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. | Liu Liu, Mirek Truszczynski, Yuliya Lierler |
| 2021 | JELIA | Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. | Nicholas Hippen, Yuliya Lierler |
| 2021 | JELIA | An Abstract View on Optimizations in SAT and ASP. | Yuliya Lierler |
| 2021 | JELIA | DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. | Yuliya Lierler, Justin Robbins |
| 2019 | PADL | Automatic Program Rewriting in Non-Ground Answer Set Programs. | Nicholas Hippen, Yuliya Lierler |
| 2019 | PADL | Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. | Yuliya Lierler |
| 2018 | ICLP | SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). | Da Shen, Yuliya Lierler |
| 2018 | KR | SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. | Da Shen, Yuliya Lierler |
| 2017 | IJCAI | First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). | Amelia Harrison, Yuliya Lierler |
| 2016 | ICLP | Constraint CNF: SAT and CSP Language Under One Roof. | Broes De Cat, Yuliya Lierler |
| 2016 | ICLP | SMT-Based Constraint Answer Set Solver EZSMT (System Description). | Benjamin Susman, Yuliya Lierler |
| 2016 | IJCAI | Constraint Answer Set Programming versus Satisfiability Modulo Theories. | Yuliya Lierler, Benjamin Susman |
| 2015 | AAAI | An Abstract View on Modularity in Knowledge Representation. | Yuliya Lierler, Miroslaw Truszczynski |
| 2015 | LPNMR | Performance Tuning in Answer Set Programming. | Matthew Buddenhagen, Yuliya Lierler |
| 2014 | ECAI | Abstract Disjunctive Answer Set Solvers. | Rmi Brochenin, Yuliya Lierler, Marco Maratea |
| 2014 | PADL | Abstract Modular Inference Systems and Solvers. | Yuliya Lierler, Miroslaw Truszczynski |
| 2013 | AAAI | Modular Answer Set Solving. | Yuliya Lierler, Miroslaw Truszczynski |
| 2013 | LPNMR | Prolog and ASP Inference under One Roof. | Marcello Balduccini, Yuliya Lierler, Peter Schller |
| 2012 | AAAI | On the Relation of Constraint Answer Set Programming Languages and Algorithms. | Yuliya Lierler |
| 2012 | ICLP | A Tarskian Informal Semantics for Answer Set Programming. | Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens |
| 2012 | ICLP | Surviving Solver Sensitivity: An ASP Practitioner's Guide. | Bryan Silverthorn, Yuliya Lierler, Marius Schneider |
| 2012 | PADL | Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. | Marcello Balduccini, Yuliya Lierler |
| 2012 | PADL | Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. | Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |
| 2011 | LPNMR | Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. | Yuliya Lierler, Vladimir Lifschitz |
| 2009 | ICLP | One More Decidable Class of Finitely Ground Programs. | Yuliya Lierler, Vladimir Lifschitz |
| 2008 | ICLP | Abstract Answer Set Solvers. | Yuliya Lierler |
| 2007 | LPNMR | Head-Elementary-Set-Free Logic Programs. | Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2006 | AAAI | Elementary Sets of Logic Programs. | Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2005 | LPNMR | cmodels - SAT-Based Disjunctive Answer Set Solver. | Yuliya Lierler |
| 2004 | AAAI | SAT-Based Answer Set Programming. | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
| 2004 | JELIA | Automatic Compilation of Protocol Insecurity Problems into Logic Programming. | Alessandro Armando, Luca Compagna, Yuliya Lierler |
| 2004 | LPNMR | Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. | Yuliya Lierler, Marco Maratea |