Yuliya Lierler
4 papers · 2016–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(7)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (2)
IJCAI (2)
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