Yuliya Lierler

Yuliya Babovich-Lierler, Yuliya Babovich

	2012
25		Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund: Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. PADL 2012: 63-77
	2011
24		Yuliya Lierler, Vladimir Lifschitz: Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR 2011: 205-210
23		Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang: Representing First-Order Causal Theories by Logic Programs CoRR abs/1103.4558: (2011)
22		Yuliya Lierler, Miroslaw Truszczynski: Transition Systems for Model Generators - A Unifying Approach CoRR abs/1105.0650: (2011)
21		Yuliya Lierler, Peter Schüller: Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report CoRR abs/1108.5567: (2011)
20		Yuliya Lierler: Abstract answer set solvers with backjumping and learning. TPLP 11(2-3): 135-169 (2011)
19		Yuliya Lierler, Miroslaw Truszczynski: Transition systems for model generators - A unifying approach. TPLP 11(4-5): 629-646 (2011)
18		Martin Gebser, Joohyung Lee, Yuliya Lierler: On elementary loops of logic programs. TPLP 11(6): 953-988 (2011)
	2010
17		Yuliya Lierler: Abstract Answer Set Solvers with Learning CoRR abs/1001.0820: (2010)
16		Martin Gebser, Joohyung Lee, Yuliya Lierler: On Elementary Loops of Logic Programs CoRR abs/1012.5847: (2010)
	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: 244-249
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	Paolo Ferraris	[23]
5	Martin Gebser	[12] [13] [16] [18]
6	Enrico Giunchiglia	[3] [7] [11]
7	Joohyung Lee	[12] [13] [16] [18] [23]
8	Vladimir Lifschitz	[1] [15] [23] [24]
9	Marco Maratea	[2] [3] [4] [7] [11]
10	Bernhard Nebel	[6]
11	Peter Schüller	[21]
12	Shaden Smith	[25]
13	Miroslaw Truszczynski	[19] [22] [25]
14	Alex Westlund	[25]
15	Fangkai Yang	[23]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page