Artur d'Avila Garcez
3 papers
· 2017–2026
· 3 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(6)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(14)
Conferences
AAAI (1)
EACL (1)
IJCAI (1)
Top co-authors
Keywords
object detection
(1)
logical reasoning
(1)
knowledge representation
(1)
energy minimization
(1)
ontology alignment
(1)
statistical relational learning
(1)
knowledge graph
(1)
restricted boltzmann machine
(1)
propositional logic
(1)
neurosymbolic ai
(1)
neurosymbolic reasoning
(1)
neurosymbolic integration
(1)
fuzzy logic
(1)
semantic mapping
(1)
large language model
(1)
logic tensor network
(1)
semantic image interpretation
(1)