Alice Tarzariol
4 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(11)
🌈
Renaissance Researcher
(6)
🌉
Interdisciplinary Bridge
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
answer set programming
(3)
inductive logic programming
(2)
symmetry breaking
(2)
combinatorial optimization
(2)
first-order logic
(1)
symmetry-breaking constraint
(1)
constraint lifting
(1)
propositional constraint
(1)
controlled natural language
(1)
constraint learning
(1)
grammar generation
(1)
knowledge representation
(1)
formal methods
(1)
constraint satisfaction
(1)