Yuliya Lierler

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 51

Top Topics

Prepositional Phrase

Action Language

Answer Set Programming

Modulo Theories

Top Venues

Theory Pract. Log. Program.

Publications

Yuliya Lierler
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12. CoRR (2024)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming. J. Artif. Intell. Res. 80 (2024)
Yuliya Lierler, Gang Ling, Craig Olson
Information extraction tool text2alm: From narratives to action language system descriptions and query answering. AI Commun. 37 (1) (2024)
Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. Theory Pract. Log. Program. 24 (1) (2024)
Yuliya Lierler
An abstract view on optimizations in propositional frameworks. Ann. Math. Artif. Intell. 92 (2) (2024)
Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. CoRR (2023)
Martin Gebser, Joohyung Lee, Yuliya Lierler
Elementary Sets for Logic Programs. CoRR (2023)
Yuliya Lierler
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. Theory Pract. Log. Program. 23 (1) (2023)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
External Behavior of a Logic Program and Verification of Refactoring. CoRR (2023)
Jorge Fandinno, Yuliya Lierler
Splitting Answer Set Programs with Respect to Intensionality Statements. AAAI (2023)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. 23 (4) (2023)
Yuliya Lierler
Unifying Framework for Optimizations in Non-Boolean Formalisms. Theory Pract. Log. Program. 23 (6) (2023)
Yuliya Lierler, José F. Morales
Introduction to the 38th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 22 (5) (2022)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
Arguing Correctness of ASP Programs with Aggregates. LPNMR (2022)
Yuliya Lierler
Unifying Framework for Optimizations in non-boolean Formalisms. CoRR (2022)
Liu Liu, Mirek Truszczynski, Yuliya Lierler
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. LPNMR (2022)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
Axiomatization of Aggregates in Answer Set Programming. AAAI (2022)
Yuliya Lierler
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs. Theory Pract. Log. Program. 22 (3) (2022)
Yuliya Lierler
An Abstract View on Optimizations in Propositional Frameworks. CoRR (2022)
Yuliya Lierler, José F. Morales
Introduction to the 38th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 22 (4) (2022)
Zachary Hansen, Yuliya Lierler
Semantics for Conditional Literals via the SM Operator. LPNMR (2022)
Yuliya Lierler
An Abstract View on Optimizations in SAT and ASP. JELIA (2021)
Yuliya Lierler
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. CoRR (2021)
Yuliya Lierler, Justin Robbins
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. JELIA (2021)
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
Preface. Theory Pract. Log. Program. 21 (3) (2021)
Nicholas Hippen, Yuliya Lierler
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. JELIA (2021)
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
Modular Answer Set Programming as a Formal Specification Language. CoRR (2020)
Yuliya Lierler
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. PADL (2019)
Nicholas Hippen, Yuliya Lierler
Automatic Program Rewriting in Non-Ground Answer Set Programs. PADL (2019)
Craig Olson, Yuliya Lierler
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions. ICLP Technical Communications (2019)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR (2019)
Yuliya Lierler
Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs. CoRR (2019)
Da Shen, Yuliya Lierler
SMT-based Constraint Answer Set Solver EZSMT+. CoRR (2019)
Da Shen, Yuliya Lierler
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). ICLP (Technical Communications) (2018)
Da Shen, Yuliya Lierler
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. KR (2018)
Marcello Balduccini, Yuliya Lierler
Constraint answer set solver EZCSP and why integration schemas matter. Theory Pract. Log. Program. 17 (4) (2017)
Marcello Balduccini, Yuliya Lierler
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter. CoRR (2017)
Yuliya Lierler
What is answer set programming to propositional satisfiability. Constraints An Int. J. 22 (3) (2017)
Yuliya Lierler, Benjamin Susman
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories. CoRR (2017)
Amelia Harrison, Yuliya Lierler
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). IJCAI (2017)
Yuliya Lierler, Benjamin Susman
On relation between constraint answer set programming and satisfiability modulo theories. Theory Pract. Log. Program. 17 (4) (2017)
Yuliya Lierler, Daniela Inclezan, Michael Gelfond
Action Languages and Question Answering. IWCS(2) (2017)
Yuliya Lierler, Miroslaw Truszczynski
On abstract modular inference systems and solvers. Artif. Intell. 236 (2016)
Yuliya Lierler, Benjamin Susman
Constraint Answer Set Programming versus Satisfiability Modulo Theories. IJCAI (2016)
Amelia Harrison, Yuliya Lierler
First-Order Modular Logic Programs and their Con: set servative Extensions. CoRR (2016)
Amelia Harrison, Yuliya Lierler
First-order modular logic programs and their conservative extensions. Theory Pract. Log. Program. 16 (5-6) (2016)
Broes De Cat, Yuliya Lierler
Constraint CNF: SAT and CSP Language Under One Roof. ICLP (Technical Communications) (2016)
Yuliya Lierler, Marco Maratea, Francesco Ricca
Systems, Engineering Environments, and Competitions. AI Mag. 37 (3) (2016)
Benjamin Susman, Yuliya Lierler
SMT-Based Constraint Answer Set Solver EZSMT (System Description). ICLP (Technical Communications) (2016)
Rémi Brochenin, Marco Maratea, Yuliya Lierler
Disjunctive answer set solvers via templates. Theory Pract. Log. Program. 16 (4) (2016)
Daniel Bailey, Yuliya Lierler, Benjamin Susman
Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help. IWCS (2015)
Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael
The Winograd Schema Challenge and Reasoning about Correlation. AAAI Spring Symposia (2015)
Yuliya Lierler, Miroslaw Truszczynski
An Abstract View on Modularity in Knowledge Representation. AAAI (2015)
Rémi Brochenin, Yuliya Lierler, Marco Maratea
Disjunctive Answer Set Solvers via Templates. CoRR (2015)
Matthew Buddenhagen, Yuliya Lierler
Performance Tuning in Answer Set Programming. LPNMR (2015)
Yuliya Lierler, Miroslaw Truszczynski
Abstract Modular Inference Systems and Solvers. PADL (2014)
Yuliya Lierler
Relating constraint answer set programming languages and algorithms. Artif. Intell. 207 (2014)
Rémi Brochenin, Yuliya Lierler, Marco Maratea
Abstract Disjunctive Answer Set Solvers. ECAI (2014)
Yuliya Lierler, Vladimir Lifschitz
Logic Programs vs. First-Order Formulas in Textual Inference. IWCS (2013)
Marcello Balduccini, Yuliya Lierler
Integration Schemas for Constraint Answer Set Programming: a Case Study. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Marcello Balduccini, Yuliya Lierler, Peter Schüller
Prolog and ASP Inference under One Roof. LPNMR (2013)
Michael Fink, Yuliya Lierler
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary CoRR (2013)
Yuliya Lierler, Miroslaw Truszczynski
Abstract Modular Systems and Solvers. CoRR (2013)
Michael Fink, Yuliya Lierler
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. CoRR (2013)
Yuliya Lierler, Miroslaw Truszczynski
Modular Answer Set Solving. AAAI (Late-Breaking Developments) (2013)
Marcello Balduccini, Yuliya Lierler
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. CoRR (2013)
Yuliya Lierler, Peter Schüller
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming. IWCS (2013)
Marcello Balduccini, Yuliya Lierler
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. PADL (2012)
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing first-order causal theories by logic programs. Theory Pract. Log. Program. 12 (3) (2012)
Bryan Silverthorn, Yuliya Lierler, Marius Schneider
Surviving Solver Sensitivity: An ASP Practitioner's Guide. ICLP (Technical Communications) (2012)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) (2012)
Yuliya Lierler
On the Relation of Constraint Answer Set Programming Languages and Algorithms. AAAI (2012)
Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan
Vladimir Lifschitz - A Youth at 65. Correct Reasoning (2012)
Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. PADL (2012)
Yuliya Lierler, Peter Schüller
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. Correct Reasoning (2012)
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing First-Order Causal Theories by Logic Programs CoRR (2011)
Yuliya Lierler, Vladimir Lifschitz
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR (2011)
Yuliya Lierler, Miroslaw Truszczynski
Transition Systems for Model Generators - A Unifying Approach CoRR (2011)
Yuliya Lierler, Miroslaw Truszczynski
Transition systems for model generators - A unifying approach. Theory Pract. Log. Program. 11 (4-5) (2011)
Martin Gebser, Joohyung Lee, Yuliya Lierler
On elementary loops of logic programs. Theory Pract. Log. Program. 11 (6) (2011)
Yuliya Lierler, Peter Schüller
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report CoRR (2011)
Yuliya Lierler
Abstract answer set solvers with backjumping and learning. Theory Pract. Log. Program. 11 (2-3) (2011)
Martin Gebser, Joohyung Lee, Yuliya Lierler
On Elementary Loops of Logic Programs CoRR (2010)
Yuliya Lierler
Abstract Answer Set Solvers with Learning CoRR (2010)
Yuliya Lierler, Vladimir Lifschitz
One More Decidable Class of Finitely Ground Programs. ICLP (2009)
Yuliya Lierler
Abstract Answer Set Solvers. ICLP (2008)
Martin Gebser, Joohyung Lee, Yuliya Lierler
Head-Elementary-Set-Free Logic Programs. LPNMR (2007)
Martin Gebser, Joohyung Lee, Yuliya Lierler
Elementary Sets of Logic Programs. AAAI (2006)
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. 36 (4) (2006)
Yuliya Lierler
Disjunctive Answer Set Programming via Satisfiability. Answer Set Programming (2005)
Yuliya Lierler
Cmodels for Tight Disjunctive Logic Programs. W(C)LP (2005)
Yuliya Lierler
cmodels - SAT-Based Disjunctive Answer Set Solver. LPNMR (2005)
Yuliya Lierler, Marco Maratea
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR (2004)
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
SAT-Based Answer Set Programming. AAAI (2004)
Alessandro Armando, Luca Compagna, Yuliya Lierler
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA (2004)
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
A SAT-based polynomial space algorithm for answer set programming. NMR (2004)
Yuliya Lierler, Marco Maratea
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Answer Set Programming (2003)