#### Filter Results:

- Full text PDF available (61)

#### Publication Year

2000

2017

- This year (2)
- Last 5 years (40)
- Last 10 years (54)

#### Publication Type

#### Co-author

#### Publication Venue

#### Data Set Used

#### Key Phrases

Learn More

- Yuliya Lierler, Marco Maratea
- LPNMR
- 2004

- Yuliya Lierler
- Answer Set Programming
- 2005

Using SAT solvers as inference engines in answer set programming systems showed to be a promising approach in building efficient systems. Nowadays SAT based answer set programming systems successfully work with nondis-junctive programs. This paper proposes a way to use SAT solvers for finding answer sets for disjunctive logic programs. We implement two… (More)

- Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
- J. Autom. Reasoning
- 2006

Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the availability of efficient solvers for propo-sitional satisfiability (SAT), various reductions from logic programs to SAT were introduced in the past. All these reductions either… (More)

- Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
- AAAI
- 2004

The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boost of SAT solvers during last years. Various translations from ASP to SAT are known but the resulting SAT formula either includes many new variables or may have an unpractical… (More)

By introducing the concepts of a loop and a loop formula, Lin and Zhao showed that the answer sets of a nondisjunctive logic program are exactly the models of its Clark's completion that satisfy the loop formulas of all loops. Recently, Gebser and Schaub showed that the Lin-Zhao theorem remains correct even if we restrict loop formulas to a special class of… (More)

- Benjamin Susman, Yuliya Lierler
- ICLP
- 2016

Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. Recently, the formal link between this research area and satisfiability modulo theories (or SMT) was established. This link allows the cross-fertilization between traditionally different solving technologies. The paper… (More)

- Martin Gebser, Joohyung Lee, Yuliya Lierler
- TPLP
- 2011

Using the notion of an elementary loop, Gebser and Schaub refined the theorem on loop formulas due to Lin and Zhao by considering loop formulas of elementary loops only. In this article, we reformulate their definition of an elementary loop, extend it to disjunc-tive programs, and study several properties of elementary loops, including how maximal… (More)

- Yuliya Lierler
- LPNMR
- 2005

- Yuliya Lierler, Vladimir Lifschitz
- ICLP
- 2009

When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiation precise for the case of disjunctive programs with function symbols, and introduced the class of " finitely ground " programs that can be efficiently instantiated. Since that… (More)

- Yuliya Lierler
- TPLP
- 2011

Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe enhancements of the Davis-Putnam-Logemann-Loveland algorithm using transition systems, instead of pseu-docode. We design a similar framework for several algorithms that generate answer sets for logic programs: smodels, smodelscc, asp-sat with Learning (cmodels), and a newly designed and… (More)