Giuseppe Mazzotta
4 papers · 2022–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
๐ 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)