Gabriele Venturato
3 papers
· 2024–2025
· 1 conference
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(16)
π§
Keyword Pioneer
π
Cross-Pollinator
(14)
Conferences
AAAI (3)
Top co-authors
Keywords
reinforcement learning
(1)
probabilistic modeling
(1)
bayesian inference
(1)
probabilistic logic
(1)
markov decision process
(1)
sequential model
(1)
knowledge compilation
(1)
markov model
(1)
game ai
(1)
dynamic bayesian network
(1)
neurosymbolic ai
(1)
neurosymbolic reasoning
(1)
gradient-based learning
(1)
logical constraint
(1)
algebraic model counting
(1)
dynamic decision network
(1)
differentiable circuit
(1)
neurosymbolic learning
(1)
safety properties
(1)
relational logic
(1)