Logo Logo
Group by: Date | Creators | Item Type | Language | Volume
Jump to: 13206 | 12897 | 9726 | 9394 | 8196 | 7393 | 6158 | 5110 | 4724 | 2116 | 362 | 338 | 255 | 213 | 190 | 180 | 169 | 156 | 123 | 79 | 73 | 64 | 63 | 44 | 41 | 40 | 38 | 28 | 18 | 17 | 16 | 14 | 13 | 12 | 11 | 10 | 6 | 5 | 4 | 3 | 2 | 1
Number of items at this level: 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 Vol. 13206 Cham: Springer. pp. 297-322

12897

Landes, Jürgen ORCID logoORCID: https://orcid.org/0000-0003-3105-6624 (2021): A Triple Uniqueness of the Maximum Entropy Approach. In: Vejnarová, Jiřina und Wilson, Nic (eds.) : Proceedings of ECSQARU. LNAI, Vol. 12897. Springer. pp. 644-656

9726

Beebe, Cameron (2016): Model-Based Computation. In: Amos, Martyn (ed.) : Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9726. Cham: Springer. pp. 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 (eds.) : Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Vol. 9394. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 195-206

8196

Gratzl, Norbert (2013): Sequent Calculi for Multi-modal Logic with Interaction. In: Grossi, Davide; Roy, Olivier und Huang, Huaxin (eds.) : Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Vol. 8196. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 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 (eds.) : Deontic Logic in Computer Science. Lecture Notes in Computer Science, Vol. 7393. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 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 (eds.) : Programs, Proofs, Processes. Lecture Notes in Computer Science, Vol. 6158. Springer Berlin Heidelberg. pp. 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 (eds.) : Logic, Language, Information and Computation ; 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008 ; proceedings. Lecture notes in computer science, Vol. 5110. Berlin, Heidelberg: Springer. pp. 226-237

Paris, Jeff B. und Rafiee Rad, Soroush (2008): Inference Processes for Quantified Predicate Knowledge. In: Hodges, Wilfrid und Queiroz, Ruy (eds.) : Logic, Language, Information and Computation. Lecture Notes in Computer Science, Vol. 5110. Springer Berlin Heidelberg. pp. 249-259

4724

Landes, Jürgen; Paris, Jeff B. und Vencovská, Alena (2007): Language Invariance and Spectrum Exchangeability in Inductive Logic. In: Mellouli, Khaled (ed.) : 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, Vol. 4724. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 151-160

2116

Bovens, Luc und Hartmann, Stephan (2001): Belief Expansion, Contextual Fit, and the Reliability of Information Sources. In: Akman, Varol; Bouquet, Paolo; Thomason, Richmond und Young, Roger (eds.) : Modeling and Using Context. Lecture Notes in Artificial Intelligence, Vol. 2116. Berlin: Springer-Verlag. pp. 421-424

362

Pfeifer, Niki (2013): On Argument Strength. In: Zenker, Frank (ed.) : Bayesian Argumentation. Synthese Library, Vol. 362. Springer Netherlands. pp. 185-193

338

Landes, Jürgen ORCID logoORCID: https://orcid.org/0000-0003-3105-6624 (2020): An Evidence-Hierarchical Decision Aid for Ranking in Evidence-Based Medici. In: Osimani, Barbara und La Caze, Adam (eds.) : Uncertainty in Pharmacology: Epistemology, Methods, and Decisions. Boston Studies in the Philosophy and History of Science, Vol. 338. Cham: Springer. pp. 231-259 [PDF, 301kB]

255

Hartmann, Stephan (2008): Modeling High-Temperature Superconductivity: Correspondence at Bay? In: Soler, Léna; Sankey, H. und Hoyningen-Huene, Paul (eds.) : Rethinking Scientific Change and Theory Comparison: Stabilities, Ruptures, Incommensurabilities? Boston Studies in the Philosophy and History of Science, Vol. 255. Berlin: Springer. pp. 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. (eds.) : Foundations and Methods from Mathematics to Neuroscience: Essays Inspired by Patrick Suppes. CSLI Lecture Notes, Vol. 213. Stanford: CSLI Publications.

190

Hartmann, Stephan; Lisciandra, Chiara und Machery, Edouard (eds.) (2013): Formal Epistemology Meets Experimental Philosophy. Synthese, Vol. 190. 8. : Springer Netherlands.

180

Hartmann, Stephan; Frigg, Roman und Imbert, Cyrille (eds.) (May 2011): Models and Simulations 2. Vol. 180. : Springer.

169

Frigg, Roman; Hartmann, Stephan und Imbert, Cyrille (eds.) (2009): Models and Simulations. Synthese, Vol. 169. Dordrecht: Springer.

156

Hartmann, Stephan und Bovens, Luc (eds.) (June 2007): Bayesian Epistemology. Synthese, Vol. 156. 3. : Springer.

123

Landes, Jürgen und Buettner, Ricardo (2012): Argumentation-Based Negotiation? Negotiation-Based Argumentation! In: Huemer, Christian und Lops, Pasquale (eds.) : E-Commerce and Web Technologies : 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012. Proceedings. Lecture Note in Business Information Processing, Vol. 123. Berlin, Heidelberg: Springer. pp. 149-162

79

Reutlinger, Alexander und Unterhuber, Matthias (eds.) (2014): Thinking about Non-Universal Laws. Erkenntnis, Vol. 79. Dordrecht [u.a.]: Springer.

73

Hartmann, Stephan und Colyvan, Mark (eds.) (2010): Reduction and the Special Sciences. Erkenntnis, Vol. 73.

64

Hartmann, Stephan (1998): Idealization in Quantum Field Theory. In: Shanks, Niall (ed.) : Idealization IX: Idealization in Contemporary Physics. Poznań Studies in the Philosophy of the Sciences and the Humanities, Vol. 64. Amsterdam: Rodopi. pp. 99-122

63

Gähde, Ulrich und Hartmann, Stephan (eds.) (2005): Coherence, Truth and Testimony. Vol. 63. : Springer Netherlands.

44

Hartmann, Stephan (1995): Models as a Tool for Theory Construction: Some Strategies of Preliminary Physics. In: Herfel, William; Krajewski, Władysław; Niiniluoto, Ilkka und Wójcicki, Ryszard (eds.) : Theories and Models in Scientific Processes. Poznań Studies in the Philosophy of Science and the Humanities, Vol. 44. Amsterdam: Rodopi. pp. 49-67

41

Hartmann, Stephan und Valente, Giovanni (eds.) (June 2011): Reduction, Emergence, and Physics. Foundations of Physics, Vol. 41. : Springer.

40

Kapsner, Andreas (2014): Logics and Falsifications. A New Perspective on Constructivist Semantics. Trends in Logic Series, Vol. 40. : Springer.

38

Frigg, Roman und Hartmann, Stephan (eds.) (June 2007): Probabilities in Quantum Mechanics. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, Vol. 38. 2. : Elsevier.

28

Leitgeb, Hannes (2007): Towards a Logic of Type-Free Modality and Truth. In: Dimitracopoulos, C. (ed.) : 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, Vol. 28. Cambridge: Cambridge University Press. pp. 68-84

18

Hartmann, Stephan; Martini, Carlo und Sprenger, Jan (eds.) (2010): Formal Modeling in Social Epistemology. Logic Journal of the IGPL, Vol. 18.

Hjortland, Ole T. und Novaes, Catarina D. (eds.) (October 2012): Insolubles and Consequences. Essays in Honour of Stephen Read. Tributes, Vol. 18. London: College Publications.

Hjortland, Ole T. (October 2012): Harmony and the Context of Deducibility. In: Hjortland, Ole T. und Novaes, Catarina D. (eds.) : Insolubles and Consequences: Essays in honour of Stephen Read. Tributes, Vol. 18. College Publications.

17

Bovens, Luc und Hartmann, Stephan (2003): Bayesian Networks in Philosophy. In: Löwe, Benedikt; Malzkorn, Wolfgang und Räsch, Thoralf (eds.) : Foundations of the Formal Sciences II. Trends in Logic, Vol. 17. Springer Netherlands. pp. 39-46

Landes, Jürgen und Williamson, Jon (eds.) (2015): Maximum Entropy Applied to Inductive Logic and Reasoning. Vol. 17. Canterbury, UK: Multidisciplinary Digital Publishing Institute.

16

Haenni, Rolf und Hartmann, Stephan (eds.) (2006): Causality, Uncertainty and Ignorance. Minds and Machines, Vol. 16. : Springer.

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 (eds.) : Foundations of the formal sciences VI : probabilistic reasoning and reasoning with probabilities. Studies in logic, Vol. 16. London: College Publ.. pp. 81-90

Schiemer, Georg (2012): Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory. In: Creath, Richard (ed.) : Rudolf Carnap and the Legacy of Logical Empiricism. Vienna Circle Institute Yearbook, Vol. 16. Springer Netherlands. pp. 13-36

14

Landes, Jürgen und Williamson, Jon (eds.) (2016): Special issue: Combining probability and logic. Vol. 14. Canterbury, United Kingdom: Elsevier.

13

Curiel, Erik (2017): A Primer on Energy Conditions. In: Lehmkuhl, Dennis; Schiemann, Gregor und Scholz, Erhard (eds.) : Towards a Theory of Spacetime Theories. Einstein Studies, Vol. 13. New York: Birkhäuser. pp. 43-104

Curiel, Erik ORCID logoORCID: https://orcid.org/0000-0002-5812-3033 (January 2017): A Primer on Energy Conditions. In: Lehmkuhl, Dennis; Schiemann, Gregor und Scholz, Erhard (eds.) : Towards a Theory of Spacetime Theories. Einstein Studies, Vol. 13. Springer. pp. 43-104 [PDF, 801kB]

12

Leitgeb, Hannes; Halbach, Volker und Welch, Philip (2005): Possible Worlds Semantics for Predicates. In: Kahle, R. (ed.) : Intensionality. Lecture notes in logic, Vol. 12. Wellesley, Mass.: Peters. pp. 20-41

11

Hartmann, Stephan (2001): Vacuum. In: Ritter, Joachim und Eisler, Rudolf (eds.) : Historisches Wörterbuch der Philosophie. Vol. 11. Basel: Schwabe. pp. 527-530

Hartmann, Stephan (2004): Artificial Intelligence and Its Methodological Implications. In: Stadler, Friedrich (ed.) : Induction and Deduction in the Sciences. Vienna Circle Institute Yearbook, Vol. 11. Dordrecht: Kluwer Academic Publishers. pp. 217-223

Poellinger, Roland (2014): Wer da? – Turings Test in virtuellen Spielwelten. In: Demmler, Kathrin; Lutz, Klaus und Ring, Sebastian (eds.) : Computerspiele und Medienpädagogik. Materialien zur Medienpädagogik, Vol. 11. München: kopaed Verlag.

Schiemer, Georg (2010): Fraenkel's Axiom of Restriction: axiom choice, intended models, and categoricity. In: Löwe, Benedikt und Müller, Thomas (eds.) : Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. Texts in Philosophy, Vol. 11. London: College Publications. pp. 307-340

10

Gabbay, Dov; Woods, John und Hartmann, Stephan (eds.) (2011): Inductive Logic. Handbook of The History of Logic, Vol. 10. Amsterdam: Elsevier.

6

Pfeifer, Niki (2017): Cognition and Natural Disasters: Stimulating an Environmental Historical Debate. In: Vaz, Estelita; Joanaz de Melo, Cristina und Costa Pinto, Lígia M. (eds.) : Environmental History in the Making. Volume I: Explaining. Environmental History, Vol. 6. Cham: Springer. pp. 3-15

5

Hartmann, Stephan (1997): Modelling and the Aims of Science. In: Weingartner, P. et al (ed.) : The Role of Pragmatics in Contemporary Philosophy: Contributions of the Austrian Ludwig Wittgenstein Society. Vol. 5. Wien und Kirchberg: Digi-Buch. pp. 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 (eds.) : New Directions in the Philosophy of Science. The Philosophy of Science in a European Perspective, Vol. 5. Springer International Publishing. pp. 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 (eds.) : Johan van Benthem on Logic and Information Dynamics. Outstanding Contributions to Logic, Vol. 5. Cham: Springer International Publishing. pp. 657-676

4

Anglberger, Albert (2008): Anfänge einer Logik öffentlich-deontischer Verlautbarung. In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) : Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 4. Vienna: LIT Verlag. pp. 95-114

Gratzl, Norbert (2008): A Note the Lawyer. In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) : Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 4. Münster: Lit-Verlag.

Hartmann, Stephan (2010): kohärent/Kohärenz; Kohärenz, explanatorische; Kohärenz, probabilistische. In: Mittelstraß, Jürgen (ed.) : Enzyklopädie der Wissenschaftsphilosophie und analytischen Philosophie. Vol. 4. Stuttgart: Metzler. pp. 250-258

Hartmann, Stephan; Müller, Rainer und Wiesner, Hartmut (1998): Bose-Einstein-Kondensation ultrakalter Atome. In: Schneider, Werner (ed.) : Wege in der Physikdidaktik. Vol. 4. Erlangen: Palm & Enke. pp. 165-183

Leitgeb, Hannes (2007): Struktur und Symbol. In: Schmidinger, H. und Sedmak, C. (eds.) : Der Mensch – ein "animal symbolicum"? Sprache, Dialog, Ritual. Topologien des Menschlichen, Vol. 4. Darmstadt: Wissenschaftliche Buchgesellschaft. pp. 131-147

Pfeifer, Niki (2008): A probability logical interpretation of fallacies. In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) : Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 4. Wien: LIT-Verlag. pp. 225-244

3

Dieks, Dennis; Gonzalez, Wenceslao; Hartmann, Stephan; Stöltzner, Michael und Weber, Marcel (eds.) (2012): Probabilities, Laws, and Structures. The Philosophy of Science in a European Perspective, Vol. 3. : Springer.

Hartmann, Stephan (2008): Granger, Gilles Gaston. In: Mittelstraß, Jürgen (ed.) : Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. 3. 2. Stuttgart: Metzler Verlag. pp. 197-198

Hartmann, Stephan (1995): Simulation. In: Mittelstraß, Jürgen (ed.) : Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. 3. Stuttgart: Metzler Verlag. pp. 805-807

2

Dieks, Dennis; Gonzalez, Wenceslao; Hartmann, Stephan; Uebel, Thomas und Weber, Marcel (eds.) (2011): Explanation, Prediction, and Confirmation. The Philosophy of Science in a European Perspective, Vol. 2. Berlin: Springer.

Hartmann, Stephan und Sprenger, Jan (eds.) (2012): The Future of Philosophy of Science. European Journal for Philosophy of Science, Vol. 2. : Springer Netherlands.

Anglberger, Albert (2007): Non-Kognitivismus und Normenlogik: Betrachtungen zu einer mehrwertigen Mögliche-Welten-Semantik. In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) : Persuasion und Wissenschaft: Aktuelle Fragestellungen von Rhetorik und Argumentationstheorie 2006. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 2. Vienna: LIT Verlag. pp. 227-240

Beisbart, Claus und Hartmann, Stephan (2011): Computersimulationen in der Angewandten Politischen Philosophie - Ein Beispiel. In: Gethmann, C. F. (ed.) : Deutsches Jahrbuch Philosophie. Lebenswelt und Wissenschaft, Vol. 2. Hamburg: Meiner. pp. 1151-1162

Gratzl, Norbert (2007): Moralische Dilemmata – Eine Definition und eine Logik. In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) : Persuasion und Wissenschaft: Aktuelle Fragestellungen von Rhetorik und Argumentationstheorie. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 2. Münster: Lit-Verlag.

Hartmann, Stephan (2010): Modelle. In: Sandkühler, Hans-Jörg (ed.) : Enzyklopädie Philosophie. Vol. 2. Hamburg: Meiner. pp. 1627-1632

Hartmann, Stephan und Frigg, Roman (2005): Scientific Models. In: Sarkar, Sahotra und Pfeifer, Jessica (eds.) : The Philosophy of Science: An Encyclopedia. Vol. 2. New York: Routledge, Taylor & Francis Group. pp. 740-749

Hartmann, Stephan und Mainzer, Klaus (2005): Erhaltungssätze. In: Mittelstraß, Jürgen (ed.) : Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. 2. 2nd edition. Stuttgart: Metzler Verlag. pp. 268-270

Hartmann, Stephan und Suppes, Patrick (2010): Entanglement, Upper Probabilities and Decoherence in Quantum Mechanics. In: Suárez, Mauricio; Dorato, Mauro und Rédei, Miklós (eds.) : EPSA Philosophical Issues in the Sciences: Launch of the European Philosophy of Science Association. Vol. 2. Springer. pp. 93-103

1

Stadler, Friedrich; Dieks, Dennis; Hartmann, Stephan; Gonzales, Wenceslao; Uebel, Thomas und Weber, Marcel (eds.) (2010): The Present Situation in the Philosophy of Science. The Philosophy of Science in a European Perspective, Vol. 1. Berlin: Springer.

de Regt, Henk W.; Hartmann, Stephan und Okasha, Samir (eds.) (2012): EPSA Philosophy of Science: Amsterdam 2009. The European Philosophy of Science Association Proceedings, Vol. 1. : Springer.

Crupi, Vincenzo und Hartmann, Stephan (2010): Formal and Empirical Methods in Philosophy of Science. In: Stadler, Friedrich (ed.) : The Present Situation in the Philosophy of Science. The Philosophy of Science in a European Perspective, Vol. 1. Springer Netherlands. pp. 87-98

Gratzl, Norbert (2007): Rationale präskriptive Argumente. In: Kreuzbauer, Günther und Dorn, Georg (eds.) : Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 1. Münster: Lit-Verlag.

Hartmann, Stephan (2008): Modeling in Philosophy of Science. In: Frauchiger, Michael und Essler, Wilhelm K. (eds.) : Representation, Evidence, and Justification: Themes from Suppes. Lauener Library of Analytical Philosophy, Vol. 1. Frankfurt: Ontos Verlag. pp. 95-121

Leitgeb, Hannes (2002): Metaworlds: A Possible Worlds Semantics of Truth. In: Halbach, V. und Horsten, L. (eds.) : Principles of Truth. Epistemische Studien, Vol. 1. Frankfurt a. M.: Hänsel-Hohenhausen. pp. 129-151

Pfeifer, Niki (2006): Contemporary syllogistics: Comparative and quantitative syllogisms. In: Kreuzbauer, Günther und Dorn, Georg (eds.) : Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 1. Wien: LIT. pp. 57-71

This list was generated on Mon Oct 7 10:02:31 2024 CEST.