David Tena Cucala
3 papers · 2018–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Bronze
๐
Trend Setter
Top co-authors
Research topics
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)