Giuseppe Mazzotta
4 papers
· 2022–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π
Cross-Pollinator
(13)
Conferences
AAAI (3)
IJCAI (1)
Top co-authors
Keywords
answer set programming
(3)
symbolic reasoning
(1)
knowledge representation
(1)
probabilistic reasoning
(1)
most probable explanation
(1)
declarative programming
(1)
linear temporal logic
(1)
satisfiability checking
(1)
polynomial hierarchy
(1)
algebraic model counting
(1)
grounding bottleneck
(1)
aggregate compilation
(1)
ground-and-solve approach
(1)
program compilation
(1)
declarative reasoning
(1)
aggregate handling
(1)
ground and solve
(1)
minimal unsatisfiable core
(1)
quantified asp
(1)
explanations enumeration
(1)