Fages' Theorem and Answer Set Programming - Yuliya Babovich; Esra Erdem 001; Vladimir Lifschitz (CoRR, 2000)

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. - Yuliya Lierler; Marco Maratea (Answer Set Programming, 2003)

SAT-Based Answer Set Programming. - Enrico Giunchiglia; Yuliya Lierler; Marco Maratea (AAAI, 2004)

When Are Behaviour Networks Well-Behaved? - Bernhard Nebel; Yuliya Babovich-Lierler (ECAI, 2004)

Automatic Compilation of Protocol Insecurity Problems into Logic Programming. - Alessandro Armando; Luca Compagna; Yuliya Lierler (JELIA, 2004)

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. - Yuliya Lierler; Marco Maratea (LPNMR, 2004)

A SAT-based polynomial space algorithm for answer set programming. - Enrico Giunchiglia; Yuliya Lierler; Marco Maratea (NMR, 2004)

Disjunctive Answer Set Programming via Satisfiability. - Yuliya Lierler (Answer Set Programming, 2005)

cmodels - SAT-Based Disjunctive Answer Set Solver. - Yuliya Lierler (LPNMR, 2005)

Cmodels for Tight Disjunctive Logic Programs. - Yuliya Lierler (W(C)LP, 2005)

Elementary Sets of Logic Programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (AAAI, 2006)

Answer Set Programming Based on Propositional Satisfiability. - Enrico Giunchiglia; Yuliya Lierler; Marco Maratea (J. Autom. Reason., 2006)

Head-Elementary-Set-Free Logic Programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (LPNMR, 2007)

Abstract Answer Set Solvers. - Yuliya Lierler (ICLP, 2008)

Knowledge Representation and Question Answering. - Marcello Balduccini; Chitta Baral; Yuliya Lierler (Handbook of Knowledge Representation, 2008)

One More Decidable Class of Finitely Ground Programs. - Yuliya Lierler; Vladimir Lifschitz (ICLP, 2009)

Abstract Answer Set Solvers with Learning - Yuliya Lierler (CoRR, 2010)

Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. - Yuliya Lierler; Vladimir Lifschitz (LPNMR, 2011)

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report - Yuliya Lierler; Peter Schüller (CoRR, 2011)

On elementary loops of logic programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (Theory Pract. Log. Program., 2011)

Abstract answer set solvers with backjumping and learning. - Yuliya Lierler (Theory Pract. Log. Program., 2011)

Transition systems for model generators - A unifying approach. - Yuliya Lierler; Miroslaw Truszczynski (Theory Pract. Log. Program., 2011)

On the Relation of Constraint Answer Set Programming Languages and Algorithms. - Yuliya Lierler (AAAI, 2012)

Vladimir Lifschitz - A Youth at 65. - Neelakantan Kartha; Esra Erdem 001; Joohyung Lee 002; Paolo Ferraris; Wanwan Ren; Yuliya Lierler; Fangkai Yang; Albert Rondan (Correct Reasoning, 2012)

Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. - Yuliya Lierler; Peter Schüller (Correct Reasoning, 2012)

A Tarskian Informal Semantics for Answer Set Programming. - Marc Denecker; Yuliya Lierler; Miroslaw Truszczynski; Joost Vennekens (ICLP (Technical Communications), 2012)

Surviving Solver Sensitivity: An ASP Practitioner's Guide. - Bryan Silverthorn; Yuliya Lierler; Marius Schneider 001 (ICLP (Technical Communications), 2012)

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. - Marcello Balduccini; Yuliya Lierler (PADL, 2012)

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. - Yuliya Lierler; Shaden Smith; Miroslaw Truszczynski; Alex Westlund (PADL, 2012)

Representing first-order causal theories by logic programs. - Paolo Ferraris; Joohyung Lee 002; Yuliya Lierler; Vladimir Lifschitz; Fangkai Yang (Theory Pract. Log. Program., 2012)

Modular Answer Set Solving. - Yuliya Lierler; Miroslaw Truszczynski (AAAI (Late-Breaking Developments), 2013)

Logic Programs vs. First-Order Formulas in Textual Inference. - Yuliya Lierler; Vladimir Lifschitz (IWCS, 2013)

Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming. - Yuliya Lierler; Peter Schüller (IWCS, 2013)

Prolog and ASP Inference under One Roof. - Marcello Balduccini; Yuliya Lierler; Peter Schüller (LPNMR, 2013)

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. - Marcello Balduccini; Yuliya Lierler (CoRR, 2013)

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. - Michael Fink 001; Yuliya Lierler (CoRR, 2013)

Abstract Modular Systems and Solvers. - Yuliya Lierler; Miroslaw Truszczynski (CoRR, 2013)

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary - Michael Fink 001; Yuliya Lierler (CoRR, 2013)

Integration Schemas for Constraint Answer Set Programming: a Case Study. - Marcello Balduccini; Yuliya Lierler (Theory Pract. Log. Program., 2013)

Abstract Disjunctive Answer Set Solvers. - Rémi Brochenin; Yuliya Lierler; Marco Maratea (ECAI, 2014)

Relating constraint answer set programming languages and algorithms. - Yuliya Lierler (Artif. Intell., 2014)

An Abstract View on Modularity in Knowledge Representation. - Yuliya Lierler; Miroslaw Truszczynski (AAAI, 2015)

The Winograd Schema Challenge and Reasoning about Correlation. - Daniel Bailey; Amelia J. Harrison; Yuliya Lierler; Vladimir Lifschitz; Julian Michael (AAAI Spring Symposia, 2015)

Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help. - Daniel Bailey; Yuliya Lierler; Benjamin Susman (IWCS, 2015)

Performance Tuning in Answer Set Programming. - Matthew Buddenhagen; Yuliya Lierler (LPNMR, 2015)

Constraint CNF: SAT and CSP Language Under One Roof. - Broes De Cat; Yuliya Lierler (ICLP (Technical Communications), 2016)

SMT-Based Constraint Answer Set Solver EZSMT (System Description). - Benjamin Susman; Yuliya Lierler (ICLP (Technical Communications), 2016)

Constraint Answer Set Programming versus Satisfiability Modulo Theories. - Yuliya Lierler; Benjamin Susman (IJCAI, 2016)

On abstract modular inference systems and solvers. - Yuliya Lierler; Miroslaw Truszczynski (Artif. Intell., 2016)

Systems, Engineering Environments, and Competitions. - Yuliya Lierler; Marco Maratea; Francesco Ricca (AI Mag., 2016)

First-Order Modular Logic Programs and their Con: set servative Extensions. - Amelia Harrison; Yuliya Lierler (CoRR, 2016)

Disjunctive answer set solvers via templates. - Rémi Brochenin; Marco Maratea; Yuliya Lierler (Theory Pract. Log. Program., 2016)

First-order modular logic programs and their conservative extensions. - Amelia Harrison; Yuliya Lierler (Theory Pract. Log. Program., 2016)

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). - Amelia Harrison; Yuliya Lierler (IJCAI, 2017)

Action Languages and Question Answering. - Yuliya Lierler; Daniela Inclezan; Michael Gelfond (IWCS(2), 2017)

What is answer set programming to propositional satisfiability. - Yuliya Lierler (Constraints An Int. J., 2017)

Constraint answer set solver EZCSP and why integration schemas matter. - Marcello Balduccini; Yuliya Lierler (Theory Pract. Log. Program., 2017)

On relation between constraint answer set programming and satisfiability modulo theories. - Yuliya Lierler; Benjamin Susman (Theory Pract. Log. Program., 2017)

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). - Da Shen; Yuliya Lierler (ICLP (Technical Communications), 2018)

SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. - Da Shen; Yuliya Lierler (KR, 2018)

Automatic Program Rewriting in Non-Ground Answer Set Programs. - Nicholas Hippen; Yuliya Lierler (PADL, 2019)

Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. - Yuliya Lierler (PADL, 2019)

The informal semantics of Answer Set Programming: A Tarskian perspective. - Marc Denecker; Yuliya Lierler; Miroslaw Truszczynski; Joost Vennekens (CoRR, 2019)

Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs. - Yuliya Lierler (CoRR, 2019)

SMT-based Constraint Answer Set Solver EZSMT+. - Da Shen; Yuliya Lierler (CoRR, 2019)

Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions. - Craig Olson; Yuliya Lierler (ICLP Technical Communications, 2019)

Modular Answer Set Programming as a Formal Specification Language. - Pedro Cabalar; Jorge Fandinno; Yuliya Lierler (Theory Pract. Log. Program., 2020)

Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. - Nicholas Hippen; Yuliya Lierler (JELIA, 2021)

An Abstract View on Optimizations in SAT and ASP. - Yuliya Lierler (JELIA, 2021)

DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. - Yuliya Lierler; Justin Robbins (JELIA, 2021)

Preface. - Marcello Balduccini; Yuliya Lierler; Stefan Woltran (Theory Pract. Log. Program., 2021)

Axiomatization of Aggregates in Answer Set Programming. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler (AAAI, 2022)

Arguing Correctness of ASP Programs with Aggregates. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler (LPNMR, 2022)

Semantics for Conditional Literals via the SM Operator. - Zachary Hansen; Yuliya Lierler (LPNMR, 2022)

A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. - Liu Liu; Mirek Truszczynski; Yuliya Lierler (LPNMR, 2022)

Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs. - Yuliya Lierler (Theory Pract. Log. Program., 2022)

Introduction to the 38th International Conference on Logic Programming Special Issue. - Yuliya Lierler; José F. Morales 001 (Theory Pract. Log. Program., 2022)

Introduction to the 38th International Conference on Logic Programming Special Issue II. - Yuliya Lierler; José F. Morales 001 (Theory Pract. Log. Program., 2022)

Splitting Answer Set Programs with Respect to Intensionality Statements. - Jorge Fandinno; Yuliya Lierler (AAAI, 2023)

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. - Yuliya Lierler (Theory Pract. Log. Program., 2023)

External Behavior of a Logic Program and Verification of Refactoring. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler; Vladimir Lifschitz; Nathan Temple (Theory Pract. Log. Program., 2023)

Unifying Framework for Optimizations in Non-Boolean Formalisms. - Yuliya Lierler (Theory Pract. Log. Program., 2023)

tExplain: Information Extraction with Explanations. - Pedro Cabalar; Adrian Dorsey; Jorge Fandinno; Yuliya Lierler; Brais Muñiz; Joel Sare (LPNMR, 2024)

Information extraction tool text2alm: From narratives to action language system descriptions and query answering. - Yuliya Lierler; Gang Ling; Craig Olson (AI Commun., 2024)

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler (J. Artif. Intell. Res., 2024)

Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12. - Yuliya Lierler (Theory Pract. Log. Program., 2024)

System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. - Daniel Bresnahan; Nicholas Hippen; Yuliya Lierler (Theory Pract. Log. Program., 2024)

An abstract view on optimizations in propositional frameworks. - Yuliya Lierler (Ann. Math. Artif. Intell., 2024)

SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. - Zachary Hansen; Yuliya Lierler (PADL, 2025)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version). - Jorge Fandinno; Yuliya Lierler (CoRR, 2025)

A Community-driven vision for a new Knowledge Resource for AI. - Vinay K. Chaudhri; Chaitan Baru; Brandon Bennett; Mehul Bhatt; Darion Cassel; Anthony G. Cohn 001; Rina Dechter; Esra Erdem 001; David A. Ferrucci; Kenneth D. Forbus; Gregory Gelfond; Michael R. Genesereth; et al. (CoRR, 2025)

Anthem 2.0: Automated Reasoning for Answer Set Programming. - Jorge Fandinno; Christoph Glinzer; Zachary Hansen; Jan Heuer; Yuliya Lierler; Vladimir Lifschitz; Torsten Schaub; Tobias Stolzmann (CoRR, 2025)