Alert button
Picture for Yuliya Lierler

Yuliya Lierler

Alert button

Elementary Sets for Logic Programs

Add code
Bookmark button
Alert button
Jul 15, 2023
Martin Gebser, Joohyung Lee, Yuliya Lierler

Viaarxiv icon

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

Add code
Bookmark button
Alert button
Mar 29, 2023
Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler

Figure 1 for System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
Figure 2 for System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
Figure 3 for System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
Figure 4 for System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
Viaarxiv icon

Proceedings 38th International Conference on Logic Programming

Add code
Bookmark button
Alert button
Aug 04, 2022
Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle

Viaarxiv icon

Unifying Framework for Optimizations in non-boolean Formalisms

Add code
Bookmark button
Alert button
Jun 16, 2022
Yuliya Lierler

Figure 1 for Unifying Framework for Optimizations in non-boolean Formalisms
Viaarxiv icon

An Abstract View on Optimizations in Propositional Frameworks

Add code
Bookmark button
Alert button
Jun 13, 2022
Yuliya Lierler

Viaarxiv icon

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

Add code
Bookmark button
Alert button
Jul 17, 2021
Yuliya Lierler

Figure 1 for Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
Figure 2 for Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
Figure 3 for Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
Figure 4 for Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
Viaarxiv icon

Modular Answer Set Programming as a Formal Specification Language

Add code
Bookmark button
Alert button
Aug 07, 2020
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler

Figure 1 for Modular Answer Set Programming as a Formal Specification Language
Figure 2 for Modular Answer Set Programming as a Formal Specification Language
Viaarxiv icon

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

Add code
Bookmark button
Alert button
Sep 18, 2019
Craig Olson, Yuliya Lierler

Figure 1 for Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
Figure 2 for Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
Figure 3 for Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
Figure 4 for Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
Viaarxiv icon

SMT-based Constraint Answer Set Solver EZSMT+

Add code
Bookmark button
Alert button
Jun 03, 2019
Da Shen, Yuliya Lierler

Figure 1 for SMT-based Constraint Answer Set Solver EZSMT+
Figure 2 for SMT-based Constraint Answer Set Solver EZSMT+
Viaarxiv icon

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

Add code
Bookmark button
Alert button
Jan 26, 2019
Yuliya Lierler

Figure 1 for Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs
Figure 2 for Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs
Figure 3 for Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs
Figure 4 for Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs
Viaarxiv icon