Alice Tarzariol
4 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 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)
Papers
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
IJCAI 2025
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming
AAAI 2023
A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming
IJCAI 2022
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
IJCAI 2021