External Behavior of a Logic Program and Verification of Refactoring | 2023 |

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple, unpublished. |

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) | 2017 |

Amelia Harrison and Yuliya Lierler, To Appear In *Proceedings of the 2017 International Joint Conference on Artificial Intelligence* 2017. |

First-Order Modular Logic Programs and their Conservative Extensions | 2016 |

Amelia Harrison and Yuliya Lierler, *Theory and Practice of Logic Programming*, Vol. 16, 5-6 (2016), pp. 755--770. |

The Winograd Schema Challenge and Reasoning about Correlation | 2015 |

Daniel Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, and Julian Michael, In *Working Notes of the Symposium on Logical Formalizations of Commonsense Reasoning* 2015. AAAI Press. |

Abstract Modular Systems and Solvers | 2013 |

Yuliya Lierler, Miroslaw Truszczynski, In *Proceedings of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)* 2013. |

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration | 2013 |

Marcello Balduccini, Yuliya Lierler , In *Proceedings of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)* 2013. |

Integration Schemas for Constraint Answer Set Programming: a Case Study (technical communications) | 2013 |

Marcello Balduccini, Yuliya Lierler, *Theory and Practice of Logic Programming, On-line Supplement* (2013). |

Logic Programs vs. First-Order Formulas in Textual Inference | 2013 |

Yuliya Lierler and Vladimir Lifschitz, *10th International Conference on Computational Semantics (IWCS)* (2013). |

Modular Answer Set Solving | 2013 |

Yuliya Lierler, Miroslaw Truszczynski, In *Proceedings of Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)* 2013. |

Prolog and ASP Inference Under One Roof | 2013 |

Marcello Balduccini, Yuliya Lierler, Peter Schueller, In *Proceedings of 12th International Conference on Logic Programming and Nonmonotonic Reasoning* 2013. |

Role of KR in Natural Language Understanding and Synergic KR | 2013 |

Yuliya Lierler, *NSF Workshop: Research Challenges and Opportunities in Knowledge Representation * (2013). |

Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming | 2013 |

Yuliya Lierler and Peter Schueller, *10th International Conference on Computational Semantics (IWCS)* (2013). |

A Tarskian Informal Semantics for Answer Set Programming | 2012 |

Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens, *International Conference on Logic Programming (ICLP)* (2012). |

Constraint Answer Set Programming | 2012 |

Yuliya Lierler, *ALP newsletter feautured article* (2012). |

On the Relation of Constraint Answer Set Programming Languages and Algorithms | 2012 |

Yuliya Lierler, *AAAI* (2012). |

Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming | 2012 |

Yuliya Lierler and Peter Schueller, *Correct Reasoning: Essays on Logic-based AI* (2012). Springer. |

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools | 2012 |

Marcello Balduccini and Yuliya Lierler, *Fourteenth International Symposium on Practical Aspects of Declarative Languages* (2012), pp. 78-92. |

Representing First-Order Causal Theories by Logic Programs | 2012 |

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang, *Theory and Practice of Logic Programming*, Vol. 12, 3 (2012), pp. 383-412. |

Surviving Solver Sensitivity: An ASP Practitioner's Guide | 2012 |

Bryan Silverthorn, Yuliya Lierler and Marius Schneider, *International Conference on Logic Programming (ICLP)* (2012). |

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem Oriented Solving | 2012 |

Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund, In *Fourteenth International Symposium on Practical Aspects of Declarative Languages* 2012. |

A Transition System for AC Language Algorithms | 2011 |

Yuliya Lierler and Yuanlin Zhang, In *Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)*, 2011 2011. |

Abstract Answer Set Solvers with Backjumping and Learning | 2011 |

Yuliya Lierler, *Theory and Practice of Logic Programming* (2011). |

ASP-Based Problem Solving with Cutting-Edge Tools | 2011 |

Marcello Balduccini and Yuliya Lierler, In *Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) * 2011. |

On Elementary Loops of Logic Programs | 2011 |

Martin Gebser, Joohyung Lee, Yuliya Lierler, *Theory and Practice of Logic Programming* (2011). |

Termination of Grounding is Not Preserved by Strongly Equivalent Transformations | 2011 |

Yuliya Lierler and Vladimir Lifschitz, In *Logic Programming and Nonmonotonic Reasoning (LPNMR)* 2011. |

Transition Systems for Model Generators --- A Unifying Approach | 2011 |

Yuliya Lierler and Miroslaw Truszczynski, In *International Conference on Logic Programming (ICLP)* 2011. |

Declarative Query Tuning and Optimization using Answer Set Programming | 2010 |

Yuliya Lierler, Philip Cannata , unpublished. Unpublished draft. |

Representing Synonymity in Causal Logic and in Logic Programming | 2010 |

Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang, In *Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)* 2010. |

SAT-Based Answer Set Programming | 2010 |

Yuliya Lierler, PhD Thesis, Department of Computer Sciences, The University of Texas at Austin. |

One More Decidable Class of Finitely Ground Programs | 2009 |

Yuliya Lierler and Vladimir Lifschitz, In *Proc. International Conference on Logic Programming (ICLP)* 2009. |

Abstract Answer Set Solvers | 2008 |

Yuliya Lierler, In *Proceedings of International Conference on Logic Programming (ICLP'08)*, pp. 377-391 2008. Springer. |

Knowledge Representation and Question Answering | 2008 |

Marcello Balduccini, Chitta Baral, Yuliya Lierler, In *Handbook of Knowledge Representation*, Frank van Harmelen and Vladimir Lifschitz and Bruce Porter (Eds.), pp. 779-820 2008. Elsevier. |

Cmodels: SAT-based Answer Set Programming System | 2007 |

Yuliya Lierler and Marco Maratea, In *ALP Newsletter* 2007. |

Head-Elementary-Set-Free Logic Programs | 2007 |

Martin Gebser, Joohyung Lee, and Yuliya Lierler, In *Logic Programming and Nonmonotonic Reasoning*, pp. 149--161 2007. |

Answer Set Programming based on Propositional Satisfiability | 2006 |

Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea, *Journal of Automated Reasoning*, Vol. 36 (2006), pp. 345-377. |

Elementary Sets for Logic Programs | 2006 |

Martin Gebser, Joohyung Lee, and Yuliya Lierler, In *Proceedings of National Conference on Artificial Intelligence (AAAI)* 2006. |

Experiments with SAT-based Answer Set Programming | 2006 |

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, and Armando Tacchella, In *Search and Logic: Answer Set Programming and SAT, LaSh-06, A Workshop affiliated with ICLP, as part of FLoC* 2006. |

Model Generation for Generalized Quantifiers via Answer Set Programming | 2006 |

Yuliya Lierler and Guenther Goerz, In *8th Conference on Natural Language Processing (KONVENS)* 2006. |

Cmodels -- SAT-based Disjunctive Answer Set Solver | 2005 |

Yuliya Lierler, In *8th International Conference on Logic Programming and Nonmonotonic Reasoning* 2005. |

Cmodels for Tight Disjunctive Logic programs | 2005 |

Yuliya Lierler, In *19th Workshop on (Constraint) Logic Programming W(C)LP 2005*, 2005-01 2005. http://www.informatik.uni-ulm.de/epin/pw/11541. |

Disjunctive Answer Set Programming via Satisfiability | 2005 |

Yuliya Lierler, In *3rd Intl. Workshop on Answer Set Programming: Advances in Theory and Implementation* 2005. |

Automatic Compilation of Protocol Insecurity Problems into Logic Programming | 2004 |

Alesandro Armando, Luca Compagna, and Yuliya Lierler, In *Proceedings of 9th {E}uropean Conference in Logics in Artificial Intelligence (JELIA-04)*, pp. 617-627 2004. Springer. |

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs | 2004 |

Yuliya Lierler and Marco Maratea, In *Procedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)*, pp. 346-350 2004. |

Goal-Converging Behavior Networks and Self-Solving Planning Domains | 2004 |

Bernhard Nebel and Yuliya Lierler, In *16th European Conference on Artificial Intelligence* 2004. |

SAT-Based Answer Set Programming | 2004 |

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, In *Proceedings of National Conference on Artificial Intelligence (AAAI)*, pp. 61-66 2004. |

Computing Answer Sets of a Logic Program via Enumeration of SAT Certificates | 2003 |

Yuliya Lierler and Marco Maratea, In *2nd International Workshop on Answer Set Programming* 2003. |

Fages' Theorem and Answer Set Programming | 2000 |

Yuliya Lierler, Esra Erdem and Vladimir Lifschitz, In *Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)*, pp. 33-35 2000. Springer. |