Francesco Ricca
11 papers · 2015–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π 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
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
AAAI 2026
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
AAAI 2026
2-ASP(Q) Solving Based on CEGAR
AAAI 2026
Are Large Language Models Fluent in Declarative Process Mining?
IJCAI 2025
Most Probable Explanation in Probabilistic Answer Set Programming
IJCAI 2025
Towards Automatic Composition of ASP Programs from Natural Language Specifications
IJCAI 2024
Compilation of Aggregates in ASP Systems
AAAI 2022
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators
IJCAI 2020
Evaluation Techniques and Systems for Answer Set Programming: a Survey
IJCAI 2018
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
IJCAI 2017
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
IJCAI 2015