Peter Fritz

According to our database, Peter Fritz authored at least 32 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.

Peter Fritz

J. Symb. Log., 2024

2023

Operands and Instances.

Peter Fritz

Rev. Symb. Log., March, 2023

Modeling Behavior, Perception, and Cognition of Pilots in a Real-time Training Assistance Application.

Christian Thomay, Peter Fritz, Benedikt Gollan, Carsten Mangasser, Michael Matscheko, Harald Schitnig

Proceedings of the 16th International Conference on PErvasive Technologies Related to Assistive Environments, 2023

2022

Evaluation of medical decision support systems (DDX generators) using real medical cases of varying complexity and origin.

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

BMC Medical Informatics Decis. Mak., December, 2022

2021

Structure by proxy, with an application to grounding.

Peter Fritz

Synth., 2021

Closed Structure.

Peter Fritz, Harvey Lederman, Gabriel Uzquiano

J. Philos. Log., 2021

On Stalnaker's Simple Theory of Propositions.

Peter Fritz

J. Philos. Log., 2021

2018

Can Modalities Save Naive Set Theory?

Peter Fritz, Harvey Lederman, Tiankai Liu, Dana S. Scott

Rev. Symb. Log., 2018

Higher-Order Contingentism, Part 3: Expressive Limitations.

Peter Fritz

J. Philos. Log., 2018

Higher-Order Contingentism, Part 2: Patterns of Indistinguishability.

Peter Fritz

J. Philos. Log., 2018

2017

Counterfactuals and Propositional Contingentism.

Peter Fritz, Jeremy Goodman

Rev. Symb. Log., 2017

Logics for Propositional Contingentism.

Peter Fritz

Rev. Symb. Log., 2017

Medical diagnosis as a linguistic game.

Peter Fritz, Andreas Kleinhans, Florian Kuisle, Patricius Albu, Christine Fritz-Kuisle, Mark Dominik Alscher

BMC Medical Informatics Decis. Mak., 2017

Getting through: modality selection in a multi-sensor-actuator industrial IoT environment.

Michael Haslgrübler, Peter Fritz, Benedikt Gollan, Alois Ferscha

Proceedings of the Seventh International Conference on the Internet of Things, 2017

2016

Propositional Contingentism.

Peter Fritz

Rev. Symb. Log., 2016

Higher-Order Contingentism, Part 1: Closure and Generation.

Peter Fritz, Jeremy Goodman

J. Philos. Log., 2016

Post Completeness in Congruential Modal Logics.

Peter Fritz

Proceedings of the Advances in Modal Logic 11, 2016

2015

Standard State Space Models of Unawareness (Extended Abstract).

Peter Fritz, Harvey Lederman

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

2014

What is the Correct Logic of Necessity, actuality and apriority?

Peter Fritz

Rev. Symb. Log., 2014

2013

A logic for epistemic two-dimensional semantics.

Peter Fritz

Synth., 2013

Modal Ontology and Generalized Quantifiers.

Peter Fritz

J. Philos. Log., 2013

2011

A personalized medical information system.

Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Meta-modeling for Manufacturing Processes.

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

Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011

2010

Haptic Object Exploration Using Attention Cubes.

Nicolas Gorges, Peter Fritz, Heinz Wörn

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

Relevance based visualization of large cancer patient populations.

Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann

Proceedings of the ACM International Health Informatics Symposium, 2010

2009

Interactive survival analysis with the OCDM system: From development to application.

Sebastian Klenk, Jürgen Dippon, Peter Fritz, Gunther Heidemann

Inf. Syst. Frontiers, 2009

Intelligente Methoden in der Medizin.

Sebastian Klenk, Peter Fritz

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Medizinischer Erkenntnisgewinn aus vernetzten Datenbanken.

Peter Fritz, Jürgen Dippon, Andreas Kleinhans, G. Friedel, David Zakim, G. Ott, Niko Braun, P. Thon, Stefan Winter, W. Brinkmann, Mark Dominik Alscher

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008

Underutilization of information and knowledge in everyday medical practice: Evaluation of a computer-based solution.

David Zakim, Niko Braun, Peter Fritz, Mark Dominik Alscher

BMC Medical Informatics Decis. Mak., 2008

2007

Development of the 2007 RWTH Mandarin LVCSR system.

Björn Hoffmeister, Christian Plahl, Peter Fritz, Georg Heigold, Jonas Lööf, Ralf Schlüter, Hermann Ney

Proceedings of the IEEE Workshop on Automatic Speech Recognition & Understanding, 2007

2002

A finite element framework for geotechnical applications based on object-oriented programming.

Peter Fritz, Xiong Zheng

Publications of the Division of Geotechnical Engineering (IGT) / Swiss Federal Institute of Technology, Zürich 217, vdf, ISBN: 978-3-7281-2828-7, 2002

1991

Bausteintechnik - eine durchgängige Softwaretechnologie für Prozessrechner- und Leitsysteme.

Peter Fritz

Proceedings of the Prozeßrechnersysteme '91, 1991