Peter Fritz

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 17

Top Topics

Linearly Ordered

Medical Decision Support Systems

Extended Abstract

Top Venues

Rev. Symb. Log.

J. Philos. Log.

BMC Medical Informatics Decis. Mak.

Publications

Peter Fritz
Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames. J. Symb. Log. 89 (2) (2024)
Peter Fritz
Operands and Instances. Rev. Symb. Log. 16 (1) (2023)
Christian Thomay, Peter Fritz, Benedikt Gollan, Carsten Mangasser, Michael Matscheko, Harald Schitnig
Modeling Behavior, Perception, and Cognition of Pilots in a Real-time Training Assistance Application. PETRA (2023)
Peter Fritz, Andreas Kleinhans, R. Raoufi, A. Sediqi, Nico Schmid, Severin Schricker, Moritz Schanz, Christine Fritz-Kuisle, P. Dalquen, H. Firooz, G. Stauch, Mark Dominik Alscher
Evaluation of medical decision support systems (DDX generators) using real medical cases of varying complexity and origin. BMC Medical Informatics Decis. Mak. 22 (1) (2022)
Peter Fritz
On Stalnaker's Simple Theory of Propositions. J. Philos. Log. 50 (1) (2021)
Peter Fritz, Harvey Lederman, Gabriel Uzquiano
Closed Structure. J. Philos. Log. 50 (6) (2021)
Peter Fritz
Structure by proxy, with an application to grounding. Synth. 198 (7) (2021)
Peter Fritz, Harvey Lederman, Tiankai Liu, Dana S. Scott
Can Modalities Save Naive Set Theory? Rev. Symb. Log. 11 (1) (2018)
Peter Fritz
Higher-Order Contingentism, Part 2: Patterns of Indistinguishability. J. Philos. Log. 47 (3) (2018)
Peter Fritz
Higher-Order Contingentism, Part 3: Expressive Limitations. J. Philos. Log. 47 (4) (2018)
Peter Fritz, Jeremy Goodman
Counterfactuals and Propositional Contingentism. Rev. Symb. Log. 10 (3) (2017)
Peter Fritz
Logics for Propositional Contingentism. Rev. Symb. Log. 10 (2) (2017)
Peter Fritz, Andreas Kleinhans, Florian Kuisle, Patricius Albu, Christine Fritz-Kuisle, Mark Dominik Alscher
Medical diagnosis as a linguistic game. BMC Medical Informatics Decis. Mak. 17 (1) (2017)
Michael Haslgrübler, Peter Fritz, Benedikt Gollan, Alois Ferscha
Getting through: modality selection in a multi-sensor-actuator industrial IoT environment. IOT (2017)
Peter Fritz
Propositional Contingentism. Rev. Symb. Log. 9 (1) (2016)
Peter Fritz, Jeremy Goodman
Higher-Order Contingentism, Part 1: Closure and Generation. J. Philos. Log. 45 (6) (2016)
Peter Fritz
Post Completeness in Congruential Modal Logics. Advances in Modal Logic (2016)
Peter Fritz, Harvey Lederman
Standard State Space Models of Unawareness (Extended Abstract). TARK (2015)
Peter Fritz
What is the Correct Logic of Necessity, actuality and apriority? Rev. Symb. Log. 7 (3) (2014)
Peter Fritz
A logic for epistemic two-dimensional semantics. Synth. 190 (10) (2013)
Peter Fritz
Modal Ontology and Generalized Quantifiers. J. Philos. Log. 42 (4) (2013)
Thomas Auerbach, Marion Beckers, Guido Buchholz, Urs Eppelt, Yves-Simon Gloy, Peter Fritz, Toufik Al Khawli, Stephan Kratz, Juliane Lose, Thomas Molitor, Axel Reßmann, Ulrich Thombansen, Drazen Veselovac, Konrad Willms, Thomas Gries, Walter Michaeli, Christian Hopmann, Uwe Reisgen, Robert H. Schmitt, Fritz Klocke
Meta-modeling for Manufacturing Processes. ICIRA (2) (2011)
Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann
A personalized medical information system. SEHC@ICSE (2011)
Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann
Relevance based visualization of large cancer patient populations. IHI (2010)
Nicolas Gorges, Peter Fritz, Heinz Wörn
Haptic Object Exploration Using Attention Cubes. KI (2010)
Sebastian Klenk, Peter Fritz
Intelligente Methoden in der Medizin. GI Jahrestagung (2009)
Peter Fritz, Jürgen Dippon, Andreas Kleinhans, G. Friedel, David Zakim, G. Ott, Niko Braun, P. Thon, Stefan Winter, W. Brinkmann, Mark Dominik Alscher
Medizinischer Erkenntnisgewinn aus vernetzten Datenbanken. GI Jahrestagung (2009)
Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann
Interactive survival analysis with the OCDM system: From development to application. Inf. Syst. Frontiers 11 (4) (2009)
David Zakim, Niko Braun, Peter Fritz, Mark Dominik Alscher
Underutilization of information and knowledge in everyday medical practice: Evaluation of a computer-based solution. BMC Medical Informatics Decis. Mak. 8 (2008)
Björn Hoffmeister, Christian Plahl, Peter Fritz, Georg Heigold, Jonas Lööf, Ralf Schlüter, Hermann Ney
Development of the 2007 RWTH Mandarin LVCSR system. ASRU (2007)
Peter Fritz
Bausteintechnik - eine durchgängige Softwaretechnologie für Prozessrechner- und Leitsysteme. Prozeßrechnersysteme (1991)