Peter Fritz

33 papers B 2C 1Misc 1Journal 20Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Nonconservative extensions by propositional quantifiers and modal incompleteness.
J. Log. Comput.
Peter Fritz
2024 J jnl
Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.
J. Symb. Log.
Peter Fritz
2023 — conf
Modeling Behavior, Perception, and Cognition of Pilots in a Real-time Training Assistance Application.
PETRA
Christian Thomay, Peter Fritz, Benedikt Gollan, Carsten Mangasser, Michael Matscheko, Harald Schitnig
2023 J jnl
Operands and Instances.
Rev. Symb. Log.
Peter Fritz
2022 J jnl
Evaluation of medical decision support systems (DDX generators) using real medical cases of varying complexity and origin.
BMC Medical Informatics Decis. Mak.
Peter Fritz, Andreas Kleinhans, Rokai Raoufi, Atiq Sediqi, Nico Schmid, Severin Schricker, Moritz Schanz, Christine Fritz-Kuisle, Peter Dalquen, Haroon Firooz, Gerhard Stauch, Mark Dominik Alscher
2021 J jnl
Closed Structure.
J. Philos. Log.
Peter Fritz, Harvey Lederman, Gabriel Uzquiano
2021 J jnl
On Stalnaker's Simple Theory of Propositions.
J. Philos. Log.
Peter Fritz
2021 J jnl
Structure by proxy, with an application to grounding.
Synth.
Peter Fritz
2018 J jnl
Can Modalities Save Naive Set Theory?
Rev. Symb. Log.
Peter Fritz, Harvey Lederman, Tiankai Liu, Dana S. Scott
2018 J jnl
Higher-Order Contingentism, Part 2: Patterns of Indistinguishability.
J. Philos. Log.
Peter Fritz
2018 J jnl
Higher-Order Contingentism, Part 3: Expressive Limitations.
J. Philos. Log.
Peter Fritz
2017 J jnl
Counterfactuals and Propositional Contingentism.
Rev. Symb. Log.
Peter Fritz, Jeremy Goodman
2017 — conf
Getting through: modality selection in a multi-sensor-actuator industrial IoT environment.
IOT
Michael Haslgrübler, Peter Fritz, Benedikt Gollan, Alois Ferscha
2017 J jnl
Logics for Propositional Contingentism.
Rev. Symb. Log.
Peter Fritz
2017 J jnl
Medical diagnosis as a linguistic game.
BMC Medical Informatics Decis. Mak.
Peter Fritz, Andreas Kleinhans, Florian Kuisle, Patricius Albu, Christine Fritz-Kuisle, Mark Dominik Alscher
2016 J jnl
Higher-Order Contingentism, Part 1: Closure and Generation.
J. Philos. Log.
Peter Fritz, Jeremy Goodman
2016 B conf
Post Completeness in Congruential Modal Logics.
Advances in Modal Logic
Peter Fritz
2016 J jnl
Propositional Contingentism.
Rev. Symb. Log.
Peter Fritz
2015 B conf
Standard State Space Models of Unawareness (Extended Abstract).
TARK
Peter Fritz, Harvey Lederman
2014 J jnl
What is the Correct Logic of Necessity, actuality and apriority?
Rev. Symb. Log.
Peter Fritz
2013 J jnl
A logic for epistemic two-dimensional semantics.
Synth.
Peter Fritz
2013 J jnl
Modal Ontology and Generalized Quantifiers.
J. Philos. Log.
Peter Fritz
2011 — conf
A personalized medical information system.
SEHC@ICSE
Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann
2011 — conf
Meta-modeling for Manufacturing Processes.
ICIRA (2)
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
2010 Misc conf
Haptic Object Exploration Using Attention Cubes.
KI
Nicolas Gorges, Peter Fritz, Heinz Wörn
2010 — conf
Relevance based visualization of large cancer patient populations.
IHI
Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann
2009 — conf
Intelligente Methoden in der Medizin.
GI Jahrestagung
Sebastian Klenk, Peter Fritz
2009 J jnl
Interactive survival analysis with the OCDM system: From development to application.
Inf. Syst. Frontiers
Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann
2009 — conf
Medizinischer Erkenntnisgewinn aus vernetzten Datenbanken.
GI Jahrestagung
Peter Fritz, Jürgen Dippon, Andreas Kleinhans, G. Friedel, David Zakim, G. Ott, Niko Braun, P. Thon, Stefan Winter, W. Brinkmann, Mark Dominik Alscher
2008 J jnl
Underutilization of information and knowledge in everyday medical practice: Evaluation of a computer-based solution.
BMC Medical Informatics Decis. Mak.
David Zakim, Niko Braun, Peter Fritz, Mark Dominik Alscher
2007 C conf
Development of the 2007 RWTH Mandarin LVCSR system.
ASRU
Björn Hoffmeister, Christian Plahl, Peter Fritz, Georg Heigold, Jonas Lööf, Ralf Schlüter, Hermann Ney
2002 — book
A finite element framework for geotechnical applications based on object-oriented programming.
Peter Fritz, Xiong Zheng
1991 — conf
Bausteintechnik - eine durchgängige Softwaretechnologie für Prozessrechner- und Leitsysteme.
Prozeßrechnersysteme
Peter Fritz