Yuliya Lierler
4 papers
· 2016–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
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)