Anzahl der Publikationen auf dieser Ebene: 75
13206
Grilletti, Gianluca und Quadrellaro, Davide Emilio
(2022):
Lattices of Intermediate Theories via Ruitenburg’s Theorem.
13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019.
In: Language, Logic, and Computation. 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers, Lecture Notes in Computer Science
Bd. 13206
Cham: Springer. S. 297-322
12897
9726
Beebe, Cameron
(2016):
Model-Based Computation.
In: Amos, Martyn (Hrsg.):
Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9726. Cham: Springer. S. 75-86
9394
Klein, Dominik; Gratzl, Norbert und Roy, Olivier
(2015):
Introspection, Normality and Agglomeration.
In: Hoek, Wiebe van der; Holliday, H. Wesley und Wang, Wen-fang (Hrsg.):
Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Bd. 9394. Berlin, Heidelberg: Springer Berlin Heidelberg. S. 195-206
8196
Gratzl, Norbert
(2013):
Sequent Calculi for Multi-modal Logic with Interaction.
In: Grossi, Davide; Roy, Olivier und Huang, Huaxin (Hrsg.):
Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Bd. 8196. Berlin, Heidelberg: Springer Berlin Heidelberg. S. 124-134
7393
Roy, Olivier; Anglberger, Albert J. J. und Gratzl, Norbert
(2012):
The Logic of Obligation as Weakest Permission.
In: Ågotnes, Thomas; Broersen, Jan und Elgesem, Dag (Hrsg.):
Deontic Logic in Computer Science. Lecture Notes in Computer Science, Bd. 7393. Berlin, Heidelberg: Springer Berlin Heidelberg. S. 139-150
6158
Paris, Jeff B. und Rafiee Rad, Soroush
(2010):
A Note on the Least Informative Model of a Theory.
In: Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira und Mendes Gomes, Luís (Hrsg.):
Programs, Proofs, Processes. Lecture Notes in Computer Science, Bd. 6158. Springer Berlin Heidelberg. S. 342-351
5110
Koiran, Pascal; Landes, Jürgen; Portier, Natacha und Yao, Penghui
(2008):
Adversary Lower Bounds for Nonadaptive Quantum Algorithms.
In: Hodges, Wilfrid und de Queiroz, Ruy (Hrsg.):
Logic, Language, Information and Computation ; 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008 ; proceedings. Lecture notes in computer science, Bd. 5110. Berlin, Heidelberg: Springer. S. 226-237
Paris, Jeff B. und Rafiee Rad, Soroush
(2008):
Inference Processes for Quantified Predicate Knowledge.
In: Hodges, Wilfrid und Queiroz, Ruy (Hrsg.):
Logic, Language, Information and Computation. Lecture Notes in Computer Science, Bd. 5110. Springer Berlin Heidelberg. S. 249-259
4724
Landes, Jürgen; Paris, Jeff B. und Vencovská, Alena
(2007):
Language Invariance and Spectrum Exchangeability in Inductive Logic.
In: Mellouli, Khaled (Hrsg.):
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007 ; proceedings. Lecture Notes in Computer Science, Bd. 4724. Berlin, Heidelberg: Springer Berlin Heidelberg. S. 151-160
2116
362
Pfeifer, Niki
(2013):
On Argument Strength.
In: Zenker, Frank (Hrsg.):
Bayesian Argumentation. Synthese Library, Bd. 362. Springer Netherlands. S. 185-193
338
255
Hartmann, Stephan
(2008):
Modeling High-Temperature Superconductivity: Correspondence at Bay?
In: Soler, Léna; Sankey, H. und Hoyningen-Huene, Paul (Hrsg.):
Rethinking Scientific Change and Theory Comparison: Stabilities, Ruptures, Incommensurabilities? Boston Studies in the Philosophy and History of Science, Bd. 255. Berlin: Springer. S. 107-128
213
Hartmann, Stephan
(2015):
Imprecise Probabilities in Quantum Mechanics.
In: Crangle, Colleen E.; García de la Sienra, Adolfo und Longino, Helen E. (Hrsg.):
Foundations and Methods from Mathematics to Neuroscience: Essays Inspired by Patrick Suppes. CSLI Lecture Notes, Bd. 213. Stanford: CSLI Publications.
190
180
169
Frigg, Roman; Hartmann, Stephan und Imbert, Cyrille (Hrsg.)
(2009):
Models and Simulations.
Synthese, Bd. 169. Dordrecht: Springer.
156
Hartmann, Stephan und Bovens, Luc (Hrsg.)
(Juni 2007):
Bayesian Epistemology.
Synthese, Bd. 156. 3. : Springer.
123
Landes, Jürgen und Buettner, Ricardo
(2012):
Argumentation-Based Negotiation? Negotiation-Based Argumentation!
In: Huemer, Christian und Lops, Pasquale (Hrsg.):
E-Commerce and Web Technologies : 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012. Proceedings. Lecture Note in Business Information Processing, Bd. 123. Berlin, Heidelberg: Springer. S. 149-162
79
73
64
Hartmann, Stephan
(1998):
Idealization in Quantum Field Theory.
In: Shanks, Niall (Hrsg.):
Idealization IX: Idealization in Contemporary Physics. Poznań Studies in the Philosophy of the Sciences and the Humanities, Bd. 64. Amsterdam: Rodopi. S. 99-122
63
44
41
40
38
Frigg, Roman und Hartmann, Stephan (Hrsg.)
(Juni 2007):
Probabilities in Quantum Mechanics.
Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, Bd. 38. 2. : Elsevier.
28
Leitgeb, Hannes
(2007):
Towards a Logic of Type-Free Modality and Truth.
In: Dimitracopoulos, C. (Hrsg.):
Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005. Lecture Notes in Logic, Bd. 28. Cambridge: Cambridge University Press. S. 68-84
18
Hjortland, Ole T.
(Oktober 2012):
Harmony and the Context of Deducibility.
In: Hjortland, Ole T. und Novaes, Catarina D. (Hrsg.):
Insolubles and Consequences: Essays in honour of Stephen Read. Tributes, Bd. 18. College Publications.
17
Bovens, Luc und Hartmann, Stephan
(2003):
Bayesian Networks in Philosophy.
In: Löwe, Benedikt; Malzkorn, Wolfgang und Räsch, Thoralf (Hrsg.):
Foundations of the Formal Sciences II. Trends in Logic, Bd. 17. Springer Netherlands. S. 39-46
16
Landes, Jürgen; Paris, Jeff B. und Vencovska, Alena
(2009):
The principle of conformity and spectrum exchangeability.
In: Löwe, Benedikt; Pacuit, Eric und Romeijn, Jan-Willem (Hrsg.):
Foundations of the formal sciences VI : probabilistic reasoning and reasoning with probabilities. Studies in logic, Bd. 16. London: College Publ.. S. 81-90
14
13
Curiel, Erik
(2017):
A Primer on Energy Conditions.
In: Lehmkuhl, Dennis; Schiemann, Gregor und Scholz, Erhard (Hrsg.):
Towards a Theory of Spacetime Theories. Einstein Studies, Bd. 13. New York: Birkhäuser. S. 43-104
12
Leitgeb, Hannes; Halbach, Volker und Welch, Philip
(2005):
Possible Worlds Semantics for Predicates.
In: Kahle, R. (Hrsg.):
Intensionality. Lecture notes in logic, Bd. 12. Wellesley, Mass.: Peters. S. 20-41
11
Hartmann, Stephan
(2001):
Vacuum.
In: Ritter, Joachim und Eisler, Rudolf (Hrsg.):
Historisches Wörterbuch der Philosophie. Bd. 11. Basel: Schwabe. S. 527-530
10
Gabbay, Dov; Woods, John und Hartmann, Stephan (Hrsg.)
(2011):
Inductive Logic.
Handbook of The History of Logic, Bd. 10. Amsterdam: Elsevier.
6
5
Hartmann, Stephan
(1997):
Modelling and the Aims of Science.
In: Weingartner, P. et al (Hrsg.):
The Role of Pragmatics in Contemporary Philosophy: Contributions of the Austrian Ludwig Wittgenstein Society. Bd. 5. Wien und Kirchberg: Digi-Buch. S. 380-385
Hubert, Mario und Poellinger, Roland
(2014):
Anchoring Causal Connections in Physical Concepts.
In: Galavotti, Maria Carla; Dieks, Dennis; Gonzalez, Wenceslao J.; Hartmann, Stephan; Uebel, Thomas und Weber, Marcel (Hrsg.):
New Directions in the Philosophy of Science. The Philosophy of Science in a European Perspective, Bd. 5. Springer International Publishing. S. 501-509
Roy, Olivier; Anglberger, Albert J. J. und Gratzl, Norbert
(2014):
The Logic of Best Actions from a Deontic Perspective.
In: Baltag, Alexandru und Smets, Sonja (Hrsg.):
Johan van Benthem on Logic and Information Dynamics. Outstanding Contributions to Logic, Bd. 5. Cham: Springer International Publishing. S. 657-676
4
Anglberger, Albert
(2008):
Anfänge einer Logik öffentlich-deontischer Verlautbarung.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (Hrsg.):
Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Bd. 4. Vienna: LIT Verlag. S. 95-114
Gratzl, Norbert
(2008):
A Note the Lawyer.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (Hrsg.):
Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Bd. 4. Münster: Lit-Verlag.
Leitgeb, Hannes
(2007):
Struktur und Symbol.
In: Schmidinger, H. und Sedmak, C. (Hrsg.):
Der Mensch – ein "animal symbolicum"? Sprache, Dialog, Ritual. Topologien des Menschlichen, Bd. 4. Darmstadt: Wissenschaftliche Buchgesellschaft. S. 131-147
Pfeifer, Niki
(2008):
A probability logical interpretation of fallacies.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (Hrsg.):
Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Bd. 4. Wien: LIT-Verlag. S. 225-244
3
Dieks, Dennis; Gonzalez, Wenceslao; Hartmann, Stephan; Stöltzner, Michael und Weber, Marcel (Hrsg.)
(2012):
Probabilities, Laws, and Structures.
The Philosophy of Science in a European Perspective, Bd. 3. : Springer.
Hartmann, Stephan
(2008):
Granger, Gilles Gaston.
In: Mittelstraß, Jürgen (Hrsg.):
Enzyklopädie Philosophie und Wissenschaftstheorie. Bd. 3. 2. Stuttgart: Metzler Verlag. S. 197-198
Hartmann, Stephan
(1995):
Simulation.
In: Mittelstraß, Jürgen (Hrsg.):
Enzyklopädie Philosophie und Wissenschaftstheorie. Bd. 3. Stuttgart: Metzler Verlag. S. 805-807
2
Dieks, Dennis; Gonzalez, Wenceslao; Hartmann, Stephan; Uebel, Thomas und Weber, Marcel (Hrsg.)
(2011):
Explanation, Prediction, and Confirmation.
The Philosophy of Science in a European Perspective, Bd. 2. Berlin: Springer.
Gratzl, Norbert
(2007):
Moralische Dilemmata – Eine Definition und eine Logik.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (Hrsg.):
Persuasion und Wissenschaft: Aktuelle Fragestellungen von Rhetorik und Argumentationstheorie. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Bd. 2. Münster: Lit-Verlag.
Hartmann, Stephan
(2010):
Modelle.
In: Sandkühler, Hans-Jörg (Hrsg.):
Enzyklopädie Philosophie. Bd. 2. Hamburg: Meiner. S. 1627-1632
Hartmann, Stephan und Frigg, Roman
(2005):
Scientific Models.
In: Sarkar, Sahotra und Pfeifer, Jessica (Hrsg.):
The Philosophy of Science: An Encyclopedia. Bd. 2. New York: Routledge, Taylor & Francis Group. S. 740-749
Hartmann, Stephan und Mainzer, Klaus
(2005):
Erhaltungssätze.
In: Mittelstraß, Jürgen (Hrsg.):
Enzyklopädie Philosophie und Wissenschaftstheorie. Bd. 2. 2nd edition. Stuttgart: Metzler Verlag. S. 268-270
1
Crupi, Vincenzo und Hartmann, Stephan
(2010):
Formal and Empirical Methods in Philosophy of Science.
In: Stadler, Friedrich (Hrsg.):
The Present Situation in the Philosophy of Science. The Philosophy of Science in a European Perspective, Bd. 1. Springer Netherlands. S. 87-98
Gratzl, Norbert
(2007):
Rationale präskriptive Argumente.
In: Kreuzbauer, Günther und Dorn, Georg (Hrsg.):
Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Bd. 1. Münster: Lit-Verlag.
Hartmann, Stephan
(2008):
Modeling in Philosophy of Science.
In: Frauchiger, Michael und Essler, Wilhelm K. (Hrsg.):
Representation, Evidence, and Justification: Themes from Suppes. Lauener Library of Analytical Philosophy, Bd. 1. Frankfurt: Ontos Verlag. S. 95-121
Diese Liste wurde am
Fri Dec 20 18:16:11 2024 CET
erstellt.