Lierler, Yuliya

9 publications

JAIR 2024 Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming Jorge Fandinno, Zachary Hansen, Yuliya Lierler

AAAI 2023 Splitting Answer Set Programs with Respect to Intensionality Statements Jorge Fandinno, Yuliya Lierler

AAAI 2022 Axiomatization of Aggregates in Answer Set Programming Jorge Fandinno, Zachary Hansen, Yuliya Lierler

IJCAI 2017 First-Order Modular Logic Programs and Their Conservative Extensions (Extended Abstract) Amelia Harrison, Yuliya Lierler

IJCAI 2016 Constraint Answer Set Programming Versus Satisfiability Modulo Theories Yuliya Lierler, Benjamin Susman

AAAI 2015 An Abstract View on Modularity in Knowledge Representation Yuliya Lierler, Miroslaw Truszczynski

AAAI 2012 On the Relation of Constraint Answer Set Programming Languages and Algorithms Yuliya Lierler

AAAI 2006 Elementary Sets of Logic Programs Martin Gebser, Joohyung Lee, Yuliya Lierler

AAAI 2004 SAT-Based Answer Set Programming Enrico Giunchiglia, Yuliya Lierler, Marco Maratea