Yuliya Lierler

Yuliya Babovich-Lierler, Yuliya Babovich

	2009
15		Yuliya Lierler, Vladimir Lifschitz: One More Decidable Class of Finitely Ground Programs. ICLP 2009: 489-493
	2008
14		Yuliya Lierler: Abstract Answer Set Solvers. ICLP 2008: 377-391
	2007
13		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		Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reasoning 36(4): 345-377 (2006)
	2005
10		Yuliya Lierler: Disjunctive Answer Set Programming via Satisfiability. Answer Set Programming 2005
9		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		Alessandro Armando, Luca Compagna, Yuliya Lierler: Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA 2004: 617-627
4		Yuliya Lierler, Marco Maratea: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR 2004: 346-350
3		Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196
	2003
2		Yuliya Lierler, Marco Maratea: Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Answer Set Programming 2003
	2000
1		Yuliya Babovich, Esra Erdem, Vladimir Lifschitz: Fages' Theorem and Answer Set Programming CoRR cs.AI/0003042: (2000)

Coauthor Index

1	Alessandro Armando	[5]
2	Luca Compagna	[5]
3	Esra Erdem	[1]
4	Martin Gebser	[12] [13]
5	Enrico Giunchiglia	[3] [7] [11]
6	Joohyung Lee	[12] [13]
7	Vladimir Lifschitz	[1] [15]
8	Marco Maratea	[2] [3] [4] [7] [11]
9	Bernhard Nebel	[6]

Colors in the list of coauthors