Yuliya Lierler
4 papers · 2016–2023 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
Research topics
Keywords
answer set programming
(3)
logic programming
(2)
stable model
(1)
formal semantics
(1)
modular program
(1)
answer set program
(1)
program splitting
(1)
intensionality statement
(1)
logic program decomposition
(1)
conservative extension
(1)
aggregate operation
(1)
logic program splitting
(1)
predicate dependencies
(1)
aggregate function
(1)
axiomatic system
(1)
Papers
Splitting Answer Set Programs with Respect to Intensionality Statements
AAAI 2023
Axiomatization of Aggregates in Answer Set Programming
AAAI 2022
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)
IJCAI 2017
Constraint Answer Set Programming versus Satisfiability Modulo Theories
IJCAI 2016