One More Decidable Class of Finitely Ground Programs (2009) Yuliya Lierler and Vladimir Lifschitz
Knowledge Representation and Question Answering (2008) Marcello Balduccini, Chitta Baral, Yuliya Lierler
Logic Programs vs. First-order Formulas in Textual Inference (2008) Yuliya Lierler and Vladimir Lifschitz
Abstract Answer Set Solvers (2008) Yuliya Lierler
Head-Elementary-Set-Free Logic Programs (2007) Martin Gebser, Joohyung Lee, and Yuliya Lierler
Cmodels: SAT-based Answer Set Programming System (2007) Yuliya Lierler and Marco Maratea
Elementary Sets for Logic Programs (2006) Martin Gebser, Joohyung Lee, and Yuliya Lierler
Answer Set Programming based on Propositional Satisfiability (2006) Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea
Model Generation for Generalized Quantifiers via Answer Set Programming (2006) Yuliya Lierler and Guenther Goerz
Experiments with SAT-based Answer Set Programming (2006) Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, and Armando Tacchella
Cmodels for Tight Disjunctive Logic programs (2005) Yuliya Lierler
Disjunctive Answer Set Programming via Satisfiability (2005) Yuliya Lierler
Cmodels -- SAT-based Disjunctive Answer Set Solver (2005) Yuliya Lierler
SAT-Based Answer Set Programming (2004) Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
Goal-Converging Behavior Networks and Self-Solving Planning Domains (2004) Bernhard Nebel and Yuliya Lierler
Cmodels-2: SAT-based Answer Sets Solver Enhanced to Non-tight Programs (2004) Yuliya Lierler and Marco Maratea
Automatic Compilation of Protocol Insecurity Problems into Logic Programming (2004) Alesandro Armando, Luca Compagna, and Yuliya Lierler
Computing Answer Sets of a Logic Program via Enumeration of SAT Certificates (2003) Yuliya Lierler and Marco Maratea
Fages' Theorem and Answer Set Programming (2000) Yuliya Lierler, Esra Erdem and Vladimir Lifschitz
