Miriam Polzer

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 4

Top Topics

Clinical Decision Making

Resource Bounded

Rule Based Reasoning

Clinical Practice

Top Venues

Publications

Miriam Polzer, Sergey Goncharov
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. FoSSaCS (2020)
Miriam Polzer, Sergey Goncharov
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. CoRR (2020)
Daniel Gorín, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schröder
Ontological Modelling of a Psychiatric Clinical Practice Guideline. KI (2017)
Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein
Negative Translations and Normal Modality. FSCD (2017)