E-LIB Suche - Ergebnisse für: LIERLER, YULIYA

1

An abstract view on optimizations in propositional framewor..:

Lierler, Yuliya
Annals of Mathematics and Artificial Intelligence. 92 (2023) 2 - p. 355-391 , 2023

2

External Behavior of a Logic Program and Verification of Re..:

FANDINNO, JORGE ; HANSEN, ZACHARY ; LIERLER, YULIYA..
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 933-947 , 2023

Link: https://doi.org/10.1017/..

3

System Predictor: Grounding Size Estimator for Logic Progra..:

BRESNAHAN, DANIEL ; HIPPEN, NICHOLAS ; LIERLER, YULIYA
Theory and Practice of Logic Programming. 24 (2023) 1 - p. 132-156 , 2023

Link: https://doi.org/10.1017/..

4

Unifying Framework for Optimizations in Non-Boolean Formali..:

LIERLER, YULIYA
Theory and Practice of Logic Programming. 23 (2022) 6 - p. 1248-1280 , 2022

Link: https://doi.org/10.1017/..

5

Semantics for Conditional Literals via the SM Operator:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Hansen, Zachary ; Lierler, Yuliya - p. 259-272 , 2022

Link: https://doi.org/10.1007/..

6

A Machine Learning System to Improve the Performance of ASP..:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Liu, Liu ; Truszczynski, Mirek ; Lierler, Yuliya - p. 415-428 , 2022

Link: https://doi.org/10.1007/..

7

Introduction to the 38th International Conference on Logic ..:

LIERLER, YULIYA ; MORALES, JOSE F.
Theory and Practice of Logic Programming. 22 (2022) 5 - p. 640-640 , 2022

Link: https://doi.org/10.1017/..

8

Introduction to the 38th International Conference on Logic ..:

LIERLER, YULIYA ; MORALES, JOSE F.
Theory and Practice of Logic Programming. 22 (2022) 4 - p. 499-504 , 2022

Link: https://doi.org/10.1017/..

9

Arguing Correctness of ASP Programs with Aggregates:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Fandinno, Jorge ; Hansen, Zachary ; Lierler, Yuliya - p. 190-202 , 2022

Link: https://doi.org/10.1007/..

10

Strong Equivalence and Program Structure in Arguing Essenti..:

LIERLER, YULIYA
Theory and Practice of Logic Programming. 22 (2022) 3 - p. 335-366 , 2022

Link: https://doi.org/10.1017/..

11

An Abstract View on Optimizations in SAT and ASP:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Lierler, Yuliya - p. 377-392 , 2021

Link: https://doi.org/10.1007/..

12

DualGrounder: Lazy Instantiation via Clingo Multi-shot Fram..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Lierler, Yuliya ; Robbins, Justin - p. 435-441 , 2021

Link: https://doi.org/10.1007/..

13

Constraint Answer Set Programming: Integrational and Transl..:

LIERLER, YULIYA
Theory and Practice of Logic Programming. 23 (2021) 1 - p. 195-225 , 2021

Link: https://doi.org/10.1017/..

14

Estimating Grounding Sizes of Logic Programs Under Answer S..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Hippen, Nicholas ; Lierler, Yuliya - p. 346-361 , 2021

Link: https://doi.org/10.1007/..

15

Preface:

BALDUCCINI, MARCELLO ; LIERLER, YULIYA ; WOLTRAN, STEFAN
Theory and Practice of Logic Programming. 21 (2021) 3 - p. 293-295 , 2021

Link: https://doi.org/10.1017/..