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

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)