Alice Tarzariol
4 papers · 2021–2025 · 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
๐
Interdisciplinary Bridge ยท Bronze
๐ฃ
Hot Topic Early Bird
๐
Renaissance Researcher
(5)
Top co-authors
Research topics
Artificial Intelligence
(2)
Machine Learning
(2)
Computer Science
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Core AI
(1)
Core Methods
(1)
Foundations
(1)
Learning Paradigms
(1)
Optimization
(1)
Optimization & Theory
(1)
Representation
(1)
Understanding
(1)
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