Yuliya Lierler
Ph.D. Alumni
Homepage:
http://faculty.ist.unomaha.edu/ylierler/
Publications
     [Expand to show all 47][Minimize]
External Behavior of a Logic Program and Verification of Refactoring 2023
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple, Theory and Practice of Logic Programming (2023).
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.
Labs
Formerly affiliated with Texas Action Group