Yuliya Lierler
Ph.D. Alumni
Homepage:
http://faculty.ist.unomaha.edu/ylierler/
Publications
     [Expand to show all 38][Minimize]
Logic Programs vs. First-Order Formulas in Textual Inference 2013
Yuliya Lierler and Vladimir Lifschitz, In 10th International Conference on Computational Semantics (IWCS), 2013.
Role of KR in Natural Language Understanding and Synergic KR 2013
Yuliya Lierler, In 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, In 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, In International Conference on Logic Programming (ICLP), 2012.
Constraint Answer Set Programming 2012
Yuliya Lierler, In ALP newsletter feautured article, 2012.
On the Relation of Constraint Answer Set Programming Languages and Algorithms 2012
Yuliya Lierler, In AAAI, 2012.
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming 2012
Yuliya Lierler and Peter Schueller, In 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, In Fourteenth International Symposium on Practical Aspects of Declarative Languages, 78-92, 2012.
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, 12(3):383-412, 2012.
Surviving Solver Sensitivity: An ASP Practitioner's Guide 2012
Bryan Silverthorn, Yuliya Lierler and Marius Schneider, In 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 , 2010. 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, Austin, TX, 2010.
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), 377-391, 2008. Springer.
Knowledge Representation and Question Answering 2008
Marcello Balduccini, Chitta Baral, Yuliya Lierler, In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, editors, Handbook of Knowledge Representation, 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, 149--161, 2007.
Answer Set Programming based on Propositional Satisfiability 2006
Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea, Journal of Automated Reasoning, 36:345-377, 2006.
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, Ulmer Informatik-Berichte(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), Lecture Notes In Artificial Intelligence, 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), 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), 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), 33-35" ) INPROCEEDINGS(bab00,, 2000. Springer.
Labs
Texas Action Group