Login / Signup
Nianheng Wu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Recognition Scheme
First Order Logic
Formal Semantics
Top Venues
CoRR
</>
Publications
</>
Fritz Hohl
,
Nianheng Wu
,
Martina Galletti
,
Remi van Trijp
MetaSRL++: A Uniform Scheme for Modelling Deeper Semantics.
CoRR
(2023)