Login / Signup
Thomas Flinkow
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Inference Rules
Classical Logic
Expressive Power
Learning Systems
Top Venues
CoRR
DSN-S
</>
Publications
</>
Thomas Flinkow
,
Barak A. Pearlmutter
,
Rosemary Monahan
Comparing Differentiable Logics for Learning with Logical Constraints.
CoRR
(2024)
Thomas Flinkow
,
Barak A. Pearlmutter
,
Rosemary Monahan
Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems.
DSN-S
(2023)
Thomas Flinkow
,
Barak A. Pearlmutter
,
Rosemary Monahan
Comparing Differentiable Logics for Learning Systems: A Research Preview.
CoRR
(2023)