Seuraa
Yuliya Lierler
Yuliya Lierler
Professor of Computer Science, University of Nebraska at Omaha
Vahvistettu sähköpostiosoite verkkotunnuksessa unomaha.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Cmodels-2: SAT-based answer set solver enhanced to non-tight programs
Y Lierler, M Maratea
Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004
2242004
Answer set programming based on propositional satisfiability
E Giunchiglia, Y Lierler, M Maratea
Journal of Automated reasoning 36, 345-377, 2006
2062006
SAT-based answer set programming
E Giunchiglia, Y Lierler, M Maratea
AAAI 4, 61-66, 2004
892004
Disjunctive answer set programming via satisfiability
Y Lierler
722005
Relating constraint answer set programming languages and algorithms
Y Lierler
Artificial Intelligence 207, 1-22, 2014
672014
One more decidable class of finitely ground programs
Y Lierler, V Lifschitz
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
662009
cmodels – SAT-Based Disjunctive Answer Set Solver
Y Lierler
Logic Programming and Nonmonotonic Reasoning: 8th International Conference …, 2005
642005
The winograd schema challenge and reasoning about correlation
D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael
2015 AAAI Spring Symposium Series, 2015
562015
Systems, engineering environments, and competitions
Y Lierler, M Maratea, F Ricca
AI Magazine 37 (3), 45-52, 2016
492016
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
462017
Abstract answer set solvers
Y Lierler
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
432008
Knowledge representation and question answering
M Balduccini, C Baral, Y Lierler
Foundations of Artificial Intelligence 3, 779-819, 2008
41*2008
Transition systems for model generators—a unifying approach
Y Lierler, M Truszczynski
Theory and Practice of Logic Programming 11 (4-5), 629-646, 2011
392011
A Tarskian informal semantics for answer set programming
M Denecker, Y Lierler, M Truszczynski, J Vennekens
Technical Communications of the 28th International Conference on Logic …, 2012
372012
SMT-based constraint answer set solver EZSMT (system description)
B Susman, Y Lierler
Technical Communications of the 32nd International Conference on Logic …, 2016
352016
Abstract answer set solvers with backjumping and learning
Y Lierler
Theory and Practice of Logic Programming 11 (2-3), 135-169, 2011
292011
Elementary Sets of Logic Programs.
M Gebser, J Lee, Y Lierler
AAAI, 244-249, 2006
282006
On abstract modular inference systems and solvers
Y Lierler, M Truszczynski
Artificial Intelligence 236, 65-89, 2016
232016
Parsing combinatory categorial grammar via planning in answer set programming
Y Lierler, P Schüller
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 2012
232012
Representing first-order causal theories by logic programs
P Ferraris, J Lee, Y Lierler, V Lifschitz, F Yang
Theory and Practice of Logic Programming 12 (3), 383-412, 2012
222012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20