Francesco Ricca
11 papers
· 2015–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(22)
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(9)
π§¬
Topic Evolution
π
Century Club
(11)
β
The Questioner
Conferences
IJCAI (7)
AAAI (4)
Top co-authors
Keywords
answer set programming
(7)
knowledge representation
(3)
linear temporal logic
(2)
grounding bottleneck
(2)
declarative specification
(2)
minimal unsatisfiable core
(2)
program synthesis
(1)
code generation
(1)
symbolic reasoning
(1)
natural language
(1)
quantified boolean formula
(1)
phase transition
(1)
formal specification
(1)
sat solver
(1)
probabilistic reasoning
(1)
logic programming
(1)
constraint propagation
(1)
declarative programming
(1)
most probable explanation
(1)
automated reasoning
(1)
Papers
2-ASP(Q) Solving Based on CEGAR
AAAI 2026
Compilation of Aggregates in ASP Systems
AAAI 2022