Login / Signup
Duy Nhu
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Theorem Prover
Formal Proofs
Natural Language
Question Answering
Top Venues
Description Logics
</>
Publications
</>
Stefan Borgwardt
,
Vera Demberg
,
Mayank Jobanputra
,
Alisa Kovtunova
,
Duy Nhu
Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language.
Description Logics
(2024)