| 2008 |
|---|
| 14 | EE | Yuliya Lierler:
Abstract Answer Set Solvers.
ICLP 2008: 377-391 |
| 2007 |
|---|
| 13 | EE | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
Head-Elementary-Set-Free Logic Programs.
LPNMR 2007: 149-161 |
| 2006 |
|---|
| 12 | | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
Elementary Sets of Logic Programs.
AAAI 2006 |
| 11 | EE | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability.
J. Autom. Reasoning 36(4): 345-377 (2006) |
| 2005 |
|---|
| 10 | EE | Yuliya Lierler:
Disjunctive Answer Set Programming via Satisfiability.
Answer Set Programming 2005 |
| 9 | EE | Yuliya Lierler:
cmodels - SAT-Based Disjunctive Answer Set Solver.
LPNMR 2005: 447-451 |
| 8 | | Yuliya Lierler:
Cmodels for Tight Disjunctive Logic Programs.
W(C)LP 2005: 163-166 |
| 2004 |
|---|
| 7 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
SAT-Based Answer Set Programming.
AAAI 2004: 61-66 |
| 6 | | Bernhard Nebel,
Yuliya Babovich-Lierler:
When Are Behaviour Networks Well-Behaved?
ECAI 2004: 672-676 |
| 5 | EE | Alessandro Armando,
Luca Compagna,
Yuliya Lierler:
Automatic Compilation of Protocol Insecurity Problems into Logic Programming.
JELIA 2004: 617-627 |
| 4 | EE | Yuliya Lierler,
Marco Maratea:
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.
LPNMR 2004: 346-350 |
| 3 | EE | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming.
NMR 2004: 189-196 |
| 2003 |
|---|
| 2 | EE | Yuliya Lierler,
Marco Maratea:
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
Answer Set Programming 2003 |
| 2000 |
|---|
| 1 | EE | Yuliya Babovich,
Esra Erdem,
Vladimir Lifschitz:
Fages' Theorem and Answer Set Programming
CoRR cs.AI/0003042: (2000) |
