Identifiers
-
name variant
Yuliya Lierler
0.60 · backfill
Papers (13)
-
Parametric Modular Answer Set Programs Made Declarative
cs.AI · 2026 · author #2
-
SMT-based Constraint Answer Set Solver EZSMT+
cs.LO · 2019 · author #2
-
The informal semantics of Answer Set Programming: A Tarskian perspective
cs.AI · 2019 · author #2
-
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories
cs.LO · 2017 · author #1
-
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
cs.AI · 2017 · author #2
-
First-Order Modular Logic Programs and their Conservative Extensions
cs.LO · 2016 · author #2
-
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey
cs.AI · 2013 · author #2
-
Abstract Modular Systems and Solvers
cs.AI · 2013 · author #1
-
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
cs.AI · 2013 · author #2
-
Transition Systems for Model Generators - A Unifying Approach
cs.AI · 2011 · author #1
-
Representing First-Order Causal Theories by Logic Programs
cs.AI · 2011 · author #3
-
On Elementary Loops of Logic Programs
cs.AI · 2010 · author #3
-
Abstract Answer Set Solvers with Learning
cs.AI · 2010 · author #1
Mentions
-
1312.7422
#2 · backfill · confidence 0.70
Yuliya Lierler
-
1312.6151
#1 · backfill · confidence 0.70
Yuliya Lierler
-
1301.2215
#2 · backfill · confidence 0.70
Yuliya Lierler
-
2605.22716
#2 · arxiv_oai · confidence 0.70
Yuliya Lierler
-
1105.0650
#1 · backfill · confidence 0.70
Yuliya Lierler
-
1103.4558
#3 · backfill · confidence 0.70
Yuliya Lierler
-
1012.5847
#3 · backfill · confidence 0.70
Yuliya Lierler
-
1001.0820
#1 · backfill · confidence 0.70
Yuliya Lierler