David Tena Cucala
3 papers
· 2018–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🐝
Cross-Pollinator
(5)
🌈
Renaissance Researcher
(6)
🌉
Interdisciplinary Bridge
📈
Trend Setter
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
knowledge representation
(1)
formal verification
(1)
message passing
(1)
logical representation
(1)
first-order logic
(1)
neural theorem proving
(1)
description logic
(1)
consequence-based reasoning
(1)
ontology reasoning
(1)
logical deduction
(1)
ontological reasoning
(1)
graph neural network
(1)
fixpoint logic
(1)
interactive theorem prover
(1)
recurrent graph neural network
(1)
message-passing iteration
(1)
graph-size gnn
(1)