Yuliya Lierler
Title
Cited by
Cited by
Year
Cmodels-2: SAT-based answer set solver enhanced to non-tight programs
Y Lierler, M Maratea
International Conference on Logic Programming and NonMonotonic Reasoning …, 2004
2082004
Answer set programming based on propositional satisfiability
E Giunchiglia, Y Lierler, M Maratea
Journal of Automated reasoning 36 (4), 345, 2006
1892006
SAT-based answer set programming
E Giunchiglia, Y Lierler, M Maratea
AAAI, 61-66, 2004
832004
Disjunctive answer set programming via satisfiability
Y Lierler
732005
cmodels – SAT-Based Disjunctive Answer Set Solver
Y Lierler
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
692005
One more decidable class of finitely ground programs
Y Lierler, V Lifschitz
International Conference on Logic Programming, 489-493, 2009
592009
Relating constraint answer set programming languages and algorithms
Y Lierler
Artificial Intelligence 207, 1-22, 2014
542014
Abstract answer set solvers
Y Lierler
International Conference on Logic Programming, 377-391, 2008
432008
Knowledge representation and question answering
M Balduccini, C Baral, Y Lierler
Foundations of Artificial Intelligence 3, 779-819, 2008
41*2008
Systems, engineering environments, and competitions
Y Lierler, M Maratea, F Ricca
AI Magazine 37 (3), 45-52, 2016
402016
The Winograd Schema Challenge and Reasoning about Correlation.
D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael
AAAI Spring Symposia, 2015
372015
Transition systems for model generators-a unifying approach
Y Lierler, M Truszczynski
arXiv preprint arXiv:1105.0650, 2011
372011
A Tarskian informal semantics for answer set programming
M Denecker, Y Lierler, M Truszczynsky, J Vennekens
Technical Communications of the 28th International Conference on Logic …, 2012
352012
Abstract answer set solvers with backjumping and learning
Y Lierler
Theory and Practice of Logic Programming 11 (2-3), 135, 2011
282011
Impact of meteorological factors on the prevalence of porcine pasteurellosis in the southcentral of Mainland China
X Gao, J Xiao, H Qin, Z Cao, H Wang
Preventive Veterinary Medicine 125, 75-81, 2016
26*2016
SMT-based constraint answer set solver EZSMT (system description)
B Susman, Y Lierler
Technical Communications of the 32nd International Conference on Logic …, 2016
252016
Elementary Sets of Logic Programs
M Gebser, J Lee, Y Lierler
AAAI, 244-249, 2006
252006
Constraint answer set solver EZCSP and why integration schemas matter
M Balduccini, Y Lierler
Theory and Practice of Logic Programming 17 (4), 462-515, 2017
222017
Representing first-order causal theories by logic programs
P Ferraris, J Lee, Y Lierler, V Lifschitz, F Yang
arXiv preprint arXiv:1103.4558, 2011
222011
Parsing combinatory categorial grammar via planning in answer set programming
Y Lierler, P Schüller
Correct Reasoning, 436-453, 2012
192012
The system can't perform the operation now. Try again later.
Articles 1–20