Yuliya Lierler

According to our database, Yuliya Lierler authored at least 88 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

An abstract view on optimizations in propositional frameworks.

Yuliya Lierler

Ann. Math. Artif. Intell., April, 2024

System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics.

Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler

Theory Pract. Log. Program., January, 2024

Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12.

Yuliya Lierler

Theory Pract. Log. Program., 2024

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

J. Artif. Intell. Res., 2024

Information extraction tool text2alm: From narratives to action language system descriptions and query answering.

Yuliya Lierler, Gang Ling, Craig Olson

AI Commun., 2024

tExplain: Information Extraction with Explanations.

Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Unifying Framework for Optimizations in Non-Boolean Formalisms.

Yuliya Lierler

Theory Pract. Log. Program., November, 2023

External Behavior of a Logic Program and Verification of Refactoring.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple

Theory Pract. Log. Program., July, 2023

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches.

Yuliya Lierler

Theory Pract. Log. Program., 2023

Splitting Answer Set Programs with Respect to Intensionality Statements.

Jorge Fandinno, Yuliya Lierler

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Introduction to the 38th International Conference on Logic Programming Special Issue II.

Yuliya Lierler, José F. Morales

Theory Pract. Log. Program., 2022

Introduction to the 38th International Conference on Logic Programming Special Issue.

Yuliya Lierler, José F. Morales

Theory Pract. Log. Program., 2022

Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs.

Yuliya Lierler

Theory Pract. Log. Program., 2022

A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection.

Liu Liu, Mirek Truszczynski, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Semantics for Conditional Literals via the SM Operator.

Zachary Hansen, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Arguing Correctness of ASP Programs with Aggregates.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Axiomatization of Aggregates in Answer Set Programming.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Preface.

Marcello Balduccini, Yuliya Lierler, Stefan Woltran

Theory Pract. Log. Program., 2021

DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework.

Yuliya Lierler, Justin Robbins

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

An Abstract View on Optimizations in SAT and ASP.

Yuliya Lierler

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics.

Nicholas Hippen, Yuliya Lierler

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Modular Answer Set Programming as a Formal Specification Language.

Pedro Cabalar, Jorge Fandinno, Yuliya Lierler

Theory Pract. Log. Program., 2020

2019

Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions.

Craig Olson, Yuliya Lierler

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

SMT-based Constraint Answer Set Solver EZSMT+.

Da Shen, Yuliya Lierler

CoRR, 2019

Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs.

Yuliya Lierler

CoRR, 2019

The informal semantics of Answer Set Programming: A Tarskian perspective.

Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens

CoRR, 2019

Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs.

Yuliya Lierler

Proceedings of the Practical Aspects of Declarative Languages, 2019

Automatic Program Rewriting in Non-Ground Answer Set Programs.

Nicholas Hippen, Yuliya Lierler

Proceedings of the Practical Aspects of Declarative Languages, 2019

2018

SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.

Da Shen, Yuliya Lierler

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description).

Da Shen, Yuliya Lierler

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

On relation between constraint answer set programming and satisfiability modulo theories.

Yuliya Lierler, Benjamin Susman

Theory Pract. Log. Program., 2017

Constraint answer set solver EZCSP and why integration schemas matter.

Marcello Balduccini, Yuliya Lierler

Theory Pract. Log. Program., 2017

What is answer set programming to propositional satisfiability.

Yuliya Lierler

Constraints An Int. J., 2017

Action Languages and Question Answering.

Yuliya Lierler, Daniela Inclezan, Michael Gelfond

Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19, 2017

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract).

Amelia Harrison, Yuliya Lierler

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

First-order modular logic programs and their conservative extensions.

Amelia Harrison, Yuliya Lierler

Theory Pract. Log. Program., 2016

Disjunctive answer set solvers via templates.

Rémi Brochenin, Marco Maratea, Yuliya Lierler

Theory Pract. Log. Program., 2016

First-Order Modular Logic Programs and their Con: set servative Extensions.

Amelia Harrison, Yuliya Lierler

CoRR, 2016

Systems, Engineering Environments, and Competitions.

Yuliya Lierler, Marco Maratea, Francesco Ricca

AI Mag., 2016

On abstract modular inference systems and solvers.

Yuliya Lierler, Miroslaw Truszczynski

Artif. Intell., 2016

Constraint Answer Set Programming versus Satisfiability Modulo Theories.

Yuliya Lierler, Benjamin Susman

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

SMT-Based Constraint Answer Set Solver EZSMT (System Description).

Benjamin Susman, Yuliya Lierler

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Constraint CNF: SAT and CSP Language Under One Roof.

Broes De Cat, Yuliya Lierler

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Performance Tuning in Answer Set Programming.

Matthew Buddenhagen, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help.

Daniel Bailey, Yuliya Lierler, Benjamin Susman

Proceedings of the 11th International Conference on Computational Semantics, 2015

The Winograd Schema Challenge and Reasoning about Correlation.

Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael

Proceedings of the 2015 AAAI Spring Symposia, 2015

An Abstract View on Modularity in Knowledge Representation.

Yuliya Lierler, Miroslaw Truszczynski

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Relating constraint answer set programming languages and algorithms.

Yuliya Lierler

Artif. Intell., 2014

Abstract Disjunctive Answer Set Solvers.

Rémi Brochenin, Yuliya Lierler, Marco Maratea

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Integration Schemas for Constraint Answer Set Programming: a Case Study.

Marcello Balduccini, Yuliya Lierler

Theory Pract. Log. Program., 2013

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary

Michael Fink, Yuliya Lierler

CoRR, 2013

Abstract Modular Systems and Solvers.

Yuliya Lierler, Miroslaw Truszczynski

CoRR, 2013

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey.

Michael Fink, Yuliya Lierler

CoRR, 2013

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.

Marcello Balduccini, Yuliya Lierler

CoRR, 2013

Prolog and ASP Inference under One Roof.

Marcello Balduccini, Yuliya Lierler, Peter Schüller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming.

Yuliya Lierler, Peter Schüller

Proceedings of the 10th International Conference on Computational Semantics, 2013

Logic Programs vs. First-Order Formulas in Textual Inference.

Yuliya Lierler, Vladimir Lifschitz

Proceedings of the 10th International Conference on Computational Semantics, 2013

Modular Answer Set Solving.

Yuliya Lierler, Miroslaw Truszczynski

Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

2012

Representing first-order causal theories by logic programs.

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Theory Pract. Log. Program., 2012

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.

Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund

Proceedings of the Practical Aspects of Declarative Languages, 2012

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools.

Marcello Balduccini, Yuliya Lierler

Proceedings of the Practical Aspects of Declarative Languages, 2012

Surviving Solver Sensitivity: An ASP Practitioner's Guide.

Bryan Silverthorn, Yuliya Lierler, Marius Schneider

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

A Tarskian Informal Semantics for Answer Set Programming.

Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.

Yuliya Lierler, Peter Schüller

Proceedings of the Correct Reasoning, 2012

Vladimir Lifschitz - A Youth at 65.

Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan

Proceedings of the Correct Reasoning, 2012

On the Relation of Constraint Answer Set Programming Languages and Algorithms.

Yuliya Lierler

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Transition systems for model generators - A unifying approach.

Yuliya Lierler, Miroslaw Truszczynski

Theory Pract. Log. Program., 2011

Abstract answer set solvers with backjumping and learning.

Yuliya Lierler

Theory Pract. Log. Program., 2011

On elementary loops of logic programs.

Martin Gebser, Joohyung Lee, Yuliya Lierler

Theory Pract. Log. Program., 2011

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report

Yuliya Lierler, Peter Schüller

CoRR, 2011

Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations.

Yuliya Lierler, Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

Abstract Answer Set Solvers with Learning

Yuliya Lierler

CoRR, 2010

2009

One More Decidable Class of Finitely Ground Programs.

Yuliya Lierler, Vladimir Lifschitz

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Knowledge Representation and Question Answering.

Marcello Balduccini, Chitta Baral, Yuliya Lierler

Proceedings of the Handbook of Knowledge Representation, 2008

Abstract Answer Set Solvers.

Yuliya Lierler

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Head-Elementary-Set-Free Logic Programs.

Martin Gebser, Joohyung Lee, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006

Answer Set Programming Based on Propositional Satisfiability.

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

J. Autom. Reason., 2006

Elementary Sets of Logic Programs.

Martin Gebser, Joohyung Lee, Yuliya Lierler

Proceedings of the Proceedings, 2006

2005

Cmodels for Tight Disjunctive Logic Programs.

Yuliya Lierler

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

cmodels - SAT-Based Disjunctive Answer Set Solver.

Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Disjunctive Answer Set Programming via Satisfiability.

Yuliya Lierler

Proceedings of the Answer Set Programming, 2005

2004

A SAT-based polynomial space algorithm for answer set programming.

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.

Yuliya Lierler, Marco Maratea

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Automatic Compilation of Protocol Insecurity Problems into Logic Programming.

Alessandro Armando, Luca Compagna, Yuliya Lierler

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

When Are Behaviour Networks Well-Behaved?

Bernhard Nebel, Yuliya Babovich-Lierler

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

SAT-Based Answer Set Programming.

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.

Yuliya Lierler, Marco Maratea

Proceedings of the Answer Set Programming, 2003

2000

Fages' Theorem and Answer Set Programming

Yuliya Babovich, Esra Erdem, Vladimir Lifschitz

CoRR, 2000