Yuliya Lierler

113 papers A* 9A 1B 17C 7Journal 57Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Community-driven vision for a new Knowledge Resource for AI.
CoRR
Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025 J jnl
A community-driven vision for a new knowledge resource for AI.
AI Mag.
Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025 J jnl
ANTHEM 2.0: Automated Reasoning for Answer Set Programming.
Theory Pract. Log. Program.
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmann, Vladimir Lifschitz
2025 J jnl
Anthem 2.0: Automated Reasoning for Answer Set Programming.
CoRR
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
2025 C conf
SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic.
PADL
Zachary Hansen, Yuliya Lierler
2025 J jnl
SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic.
CoRR
Zachary Hansen, Yuliya Lierler
2025 J jnl
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version).
CoRR
Jorge Fandinno, Yuliya Lierler
2024 J jnl
An abstract view on optimizations in propositional frameworks.
Ann. Math. Artif. Intell.
Yuliya Lierler
2024 J jnl
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming.
J. Artif. Intell. Res.
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2024 J jnl
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12.
CoRR
Yuliya Lierler
2024 J jnl
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12.
Theory Pract. Log. Program.
Yuliya Lierler
2024 J jnl
Information extraction tool text2alm: From narratives to action language system descriptions and query answering.
AI Commun.
Yuliya Lierler, Gang Ling, Craig Olson
2024 J jnl
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics.
Theory Pract. Log. Program.
Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
2024 B conf
tExplain: Information Extraction with Explanations.
LPNMR
Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare
2023 J jnl
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches.
Theory Pract. Log. Program.
Yuliya Lierler
2023 J jnl
Elementary Sets for Logic Programs.
CoRR
Martin Gebser, Joohyung Lee, Yuliya Lierler
2023 J jnl
External Behavior of a Logic Program and Verification of Refactoring.
CoRR
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023 J jnl
External Behavior of a Logic Program and Verification of Refactoring.
Theory Pract. Log. Program.
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023 A* conf
Splitting Answer Set Programs with Respect to Intensionality Statements.
AAAI
Jorge Fandinno, Yuliya Lierler
2023 J jnl
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics.
CoRR
Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
2023 J jnl
Unifying Framework for Optimizations in Non-Boolean Formalisms.
Theory Pract. Log. Program.
Yuliya Lierler
2022 B conf
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection.
LPNMR
Liu Liu, Mirek Truszczynski, Yuliya Lierler
2022 J jnl
An Abstract View on Optimizations in Propositional Frameworks.
CoRR
Yuliya Lierler
2022 B conf
Arguing Correctness of ASP Programs with Aggregates.
LPNMR
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2022 A* conf
Axiomatization of Aggregates in Answer Set Programming.
AAAI
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2022 J jnl
Introduction to the 38th International Conference on Logic Programming Special Issue II.
Theory Pract. Log. Program.
Yuliya Lierler, José F. Morales
2022 J jnl
Introduction to the 38th International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program.
Yuliya Lierler, José F. Morales
2022 — ed.
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.
ICLP Technical Communications / Doctoral Consortium
Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle
2022 B conf
Semantics for Conditional Literals via the SM Operator.
LPNMR
Zachary Hansen, Yuliya Lierler
2022 J jnl
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs.
Theory Pract. Log. Program.
Yuliya Lierler
2022 J jnl
Unifying Framework for Optimizations in non-boolean Formalisms.
CoRR
Yuliya Lierler
2021 B conf
An Abstract View on Optimizations in SAT and ASP.
JELIA
Yuliya Lierler
2021 J jnl
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches.
CoRR
Yuliya Lierler
2021 B conf
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework.
JELIA
Yuliya Lierler, Justin Robbins
2021 B conf
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics.
JELIA
Nicholas Hippen, Yuliya Lierler
2021 J jnl
Preface.
Theory Pract. Log. Program.
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
2020 J jnl
Modular Answer Set Programming as a Formal Specification Language.
CoRR
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
2020 J jnl
Modular Answer Set Programming as a Formal Specification Language.
Theory Pract. Log. Program.
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
2019 C conf
Automatic Program Rewriting in Non-Ground Answer Set Programs.
PADL
Nicholas Hippen, Yuliya Lierler
2019 — conf
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions.
ICLP Technical Communications
Craig Olson, Yuliya Lierler
2019 B ed.
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
LPNMR
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
2019 J jnl
SMT-based Constraint Answer Set Solver EZSMT+.
CoRR
Da Shen, Yuliya Lierler
2019 C conf
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs.
PADL
Yuliya Lierler
2019 J jnl
Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs.
CoRR
Yuliya Lierler
2019 J jnl
The informal semantics of Answer Set Programming: A Tarskian perspective.
CoRR
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2018 — conf
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description).
ICLP (Technical Communications)
Da Shen, Yuliya Lierler
2018 A* conf
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.
KR
Da Shen, Yuliya Lierler
2017 — conf
Action Languages and Question Answering.
IWCS(2)
Yuliya Lierler, Daniela Inclezan, Michael Gelfond
2017 J jnl
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter.
CoRR
Marcello Balduccini, Yuliya Lierler
2017 J jnl
Constraint answer set solver EZCSP and why integration schemas matter.
Theory Pract. Log. Program.
Marcello Balduccini, Yuliya Lierler
2017 A* conf
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract).
IJCAI
Amelia Harrison, Yuliya Lierler
2017 J jnl
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories.
CoRR
Yuliya Lierler, Benjamin Susman
2017 J jnl
On relation between constraint answer set programming and satisfiability modulo theories.
Theory Pract. Log. Program.
Yuliya Lierler, Benjamin Susman
2017 C ed.
Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
PADL
Yuliya Lierler, Walid Taha
2017 J jnl
What is answer set programming to propositional satisfiability.
Constraints An Int. J.
Yuliya Lierler
2016 A* conf
Constraint Answer Set Programming versus Satisfiability Modulo Theories.
IJCAI
Yuliya Lierler, Benjamin Susman
2016 — conf
Constraint CNF: SAT and CSP Language Under One Roof.
ICLP (Technical Communications)
Broes De Cat, Yuliya Lierler
2016 J jnl
Disjunctive answer set solvers via templates.
Theory Pract. Log. Program.
Rémi Brochenin, Marco Maratea, Yuliya Lierler
2016 J jnl
First-Order Modular Logic Programs and their Con: set servative Extensions.
CoRR
Amelia Harrison, Yuliya Lierler
2016 J jnl
First-order modular logic programs and their conservative extensions.
Theory Pract. Log. Program.
Amelia Harrison, Yuliya Lierler
2016 J jnl
On abstract modular inference systems and solvers.
Artif. Intell.
Yuliya Lierler, Miroslaw Truszczynski
2016 — conf
SMT-Based Constraint Answer Set Solver EZSMT (System Description).
ICLP (Technical Communications)
Benjamin Susman, Yuliya Lierler
2016 J jnl
Systems, Engineering Environments, and Competitions.
AI Mag.
Yuliya Lierler, Marco Maratea, Francesco Ricca
2015 A* conf
An Abstract View on Modularity in Knowledge Representation.
AAAI
Yuliya Lierler, Miroslaw Truszczynski
2015 J jnl
Disjunctive Answer Set Solvers via Templates.
CoRR
Rémi Brochenin, Yuliya Lierler, Marco Maratea
2015 B conf
Performance Tuning in Answer Set Programming.
LPNMR
Matthew Buddenhagen, Yuliya Lierler
2015 — conf
Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help.
IWCS
Daniel Bailey, Yuliya Lierler, Benjamin Susman
2015 — ed.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015.
ICLP (Technical Communications)
Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni
2015 — conf
The Winograd Schema Challenge and Reasoning about Correlation.
AAAI Spring Symposia
Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael
2014 A conf
Abstract Disjunctive Answer Set Solvers.
ECAI
Rémi Brochenin, Yuliya Lierler, Marco Maratea
2014 C conf
Abstract Modular Inference Systems and Solvers.
PADL
Yuliya Lierler, Miroslaw Truszczynski
2014 J jnl
Relating constraint answer set programming languages and algorithms.
Artif. Intell.
Yuliya Lierler
2013 J jnl
Abstract Modular Systems and Solvers.
CoRR
Yuliya Lierler, Miroslaw Truszczynski
2013 J jnl
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.
CoRR
Marcello Balduccini, Yuliya Lierler
2013 J jnl
Integration Schemas for Constraint Answer Set Programming: a Case Study.
Theory Pract. Log. Program.
Marcello Balduccini, Yuliya Lierler
2013 — conf
Logic Programs vs. First-Order Formulas in Textual Inference.
IWCS
Yuliya Lierler, Vladimir Lifschitz
2013 — conf
Modular Answer Set Solving.
AAAI (Late-Breaking Developments)
Yuliya Lierler, Miroslaw Truszczynski
2013 J jnl
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
CoRR
Michael Fink, Yuliya Lierler
2013 J jnl
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey.
CoRR
Michael Fink, Yuliya Lierler
2013 B conf
Prolog and ASP Inference under One Roof.
LPNMR
Marcello Balduccini, Yuliya Lierler, Peter Schüller
2013 — conf
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming.
IWCS
Yuliya Lierler, Peter Schüller
2012 — conf
A Tarskian Informal Semantics for Answer Set Programming.
ICLP (Technical Communications)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2012 — ed.
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning
Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
2012 A* conf
On the Relation of Constraint Answer Set Programming Languages and Algorithms.
AAAI
Yuliya Lierler
2012 — conf
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.
Correct Reasoning
Yuliya Lierler, Peter Schüller
2012 C conf
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools.
PADL
Marcello Balduccini, Yuliya Lierler
2012 J jnl
Representing first-order causal theories by logic programs.
Theory Pract. Log. Program.
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
2012 — conf
Surviving Solver Sensitivity: An ASP Practitioner's Guide.
ICLP (Technical Communications)
Bryan Silverthorn, Yuliya Lierler, Marius Schneider
2012 — conf
Vladimir Lifschitz - A Youth at 65.
Correct Reasoning
Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan
2012 C conf
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.
PADL
Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund
2011 J jnl
Abstract answer set solvers with backjumping and learning.
Theory Pract. Log. Program.
Yuliya Lierler
2011 J jnl
On elementary loops of logic programs.
Theory Pract. Log. Program.
Martin Gebser, Joohyung Lee, Yuliya Lierler
2011 J jnl
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report
CoRR
Yuliya Lierler, Peter Schüller
2011 J jnl
Representing First-Order Causal Theories by Logic Programs
CoRR
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
2011 B conf
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations.
LPNMR
Yuliya Lierler, Vladimir Lifschitz
2011 J jnl
Transition Systems for Model Generators - A Unifying Approach
CoRR
Yuliya Lierler, Miroslaw Truszczynski
2011 J jnl
Transition systems for model generators - A unifying approach.
Theory Pract. Log. Program.
Yuliya Lierler, Miroslaw Truszczynski
2010 J jnl
Abstract Answer Set Solvers with Learning
CoRR
Yuliya Lierler
2010 J jnl
On Elementary Loops of Logic Programs
CoRR
Martin Gebser, Joohyung Lee, Yuliya Lierler
2009 B conf
One More Decidable Class of Finitely Ground Programs.
ICLP
Yuliya Lierler, Vladimir Lifschitz
2008 B conf
Abstract Answer Set Solvers.
ICLP
Yuliya Lierler
2008 — ch.
Knowledge Representation and Question Answering.
Handbook of Knowledge Representation
Marcello Balduccini, Chitta Baral, Yuliya Lierler
2007 B conf
Head-Elementary-Set-Free Logic Programs.
LPNMR
Martin Gebser, Joohyung Lee, Yuliya Lierler
2006 J jnl
Answer Set Programming Based on Propositional Satisfiability.
J. Autom. Reason.
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2006 A* conf
Elementary Sets of Logic Programs.
AAAI
Martin Gebser, Joohyung Lee, Yuliya Lierler
2005 — conf
Cmodels for Tight Disjunctive Logic Programs.
W(C)LP
Yuliya Lierler
2005 — conf
Disjunctive Answer Set Programming via Satisfiability.
Answer Set Programming
Yuliya Lierler
2005 B conf
cmodels - SAT-Based Disjunctive Answer Set Solver.
LPNMR
Yuliya Lierler
2004 — conf
A SAT-based polynomial space algorithm for answer set programming.
NMR
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2004 B conf
Automatic Compilation of Protocol Insecurity Problems into Logic Programming.
JELIA
Alessandro Armando, Luca Compagna, Yuliya Lierler
2004 B conf
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.
LPNMR
Yuliya Lierler, Marco Maratea
2004 A* conf
SAT-Based Answer Set Programming.
AAAI
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2003 — conf
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
Answer Set Programming
Yuliya Lierler, Marco Maratea