BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Italy
3 × USA
Collaborated with:
M.Truszczynski M.Balduccini V.Lifschitz ∅ B.Silverthorn M.Schneider M.Denecker J.Vennekens S.Smith A.Westlund
Talks about:
solver (3) asp (3) abstract (2) program (2) problem (2) system (2) answer (2) set (2) practition (1) methodolog (1)

Person: Yuliya Lierler

DBLP DBLP: Lierler:Yuliya

Facilitated 1 volumes:

ICLP TC 2015Ed

Contributed to:

PADL 20142014
ICLP 20122012
PADL 20122012
ICLP 20112011
ICLP 20092009
ICLP 20082008

Wrote 8 papers:

PADL-2014-LierlerT #composition
Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.
ICLP-2012-DeneckerLTV #programming #semantics #set
A Tarskian Informal Semantics for Answer Set Programming (MD, YL, MT, JV), pp. 277–289.
ICLP-2012-SilverthornLS
Surviving Solver Sensitivity: An ASP Practitioner’s Guide (BS, YL, MS), pp. 164–175.
PADL-2012-BalducciniL #aspect-oriented #tool support #using
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.
PADL-2012-LierlerSTW #declarative #problem
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.
ICLP-J-2011-LierlerT #approach #generative
Transition systems for model generators — A unifying approach (YL, MT), pp. 629–646.
ICLP-2009-LierlerL #decidability #source code
One More Decidable Class of Finitely Ground Programs (YL, VL), pp. 489–493.
ICLP-2008-Lierler #set
Abstract Answer Set Solvers (YL), pp. 377–391.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.