Results for 'Uwe Wolter'

1000+ found
Order:
  1.  25
    Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions.Edward Hermann Haeusler, Alfio Martini & Uwe Wolter - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. Milan, Italy: Polimetrica.
  2.  14
    Der nicht-propositionale Gehalt von Emotionen. Eine mittelalterliche Fallstudie.Dominik Perler - 2010 - In Joachim Bromand & Guido Kreis (eds.), Was Sich Nicht Sagen Lässt: Das Nicht-Begriffliche in Wissenschaft, Kunst Und Religion. Berlin: Akademie Verlag/De Gruyter. pp. 277-296.
    Die Welt ist alles, was wir in unseren naturwissenschaftlichen Theorien beschreiben können – so eine weit verbreitete Überzeugung, die seit den Tagen des Positivismus unser Weltbild bestimmt. Aber reicht das tatsächlich schon aus? Wer sich am Ideal der wissenschaftlichen Erkenntnis orientiert, neigt dazu, viele nicht-begriffliche Erfahrungsformen zu unterschlagen, die uns aus dem Alltag vertraut sind: Symbolsysteme wie Musik, Literatur oder Bilder, Instanzen der unmittelbaren Erfahrung wie Anschauung, Wahrnehmung oder Gefühl und den Bereich des praktischen Könnens. In der Regel sind wir (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.
     
    Export citation  
     
    Bookmark   61 citations  
  4.  56
    Handbook of Modal Logic.Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) - 2006 - Elsevier.
    The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners (...)
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  5.  15
    Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.
  6.  10
    Fernsehnachrichten für Kinder.Jan-Uwe Rogge & Klaus Jensen - 1979 - Communications 5 (2-3):301-320.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  33
    Individually different weighting of multiple processes underlies effects of metacontrast masking.Thorsten Albrecht & Uwe Mattler - 2016 - Consciousness and Cognition 42:162-180.
  8. Property Theories.George Bealer & Uwe Mönnich - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 133-251.
    Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  9.  5
    Foundations of instance level updates in expressive description logics.Hongkai Liu, Carsten Lutz, Maja Miličić & Frank Wolter - 2011 - Artificial Intelligence 175 (18):2170-2197.
  10. Property Theories.George Bealer & Uwe Monnich - 2003 - In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic Vol. 10. Kluwer Academic Publishers. pp. 143-248.
    Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  11.  24
    Kripke completeness of strictly positive modal logics over meet-semilattices with operators.Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter & Michael Zakharyaschev - 2019 - Journal of Symbolic Logic 84 (2):533-588.
    Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12. .Jens-Uwe Krause - 2018
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  13.  61
    Cognitive and Affective-Motivational Factors as Predictors of Students’ Home Learning During the School Lockdown.Kathrin Lockl, Manja Attig, Lena Nusser & Ilka Wolter - 2021 - Frontiers in Psychology 12.
    During the COVID-19 pandemic, students were facing great challenges. Learning was shifted from the classroom to the home of the students. This implied that students had to complete their tasks in a more autonomous way than during regular lessons. As students’ ability to handle such challenges might depend on certain cognitive and motivational prerequisites as well as individual learning conditions, the present study investigates students’ cognitive competencies as well as affective-motivational factors as possible predictors of coping with this new learning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  36
    Ein argument, dass der Wille Des menschen frei ist.Uwe Saint-Mont - 2007 - Philosophia Naturalis 44 (1):75-87.
    A new argument in favour of free will is given. It shows that our will is free in a comprehensive sense. The argument is developed in the context of a decision situation, which is paradigmatic for the discussion of free will and human action. German Eine schlüssige Begründung für die Willensfreiheit des Menschen wird vorgestellt. Sie zeigt, dass wir in einem sehr weit reichenden Sinne frei sind. Das Argument wird im Kontext einer Entscheidungssituation präsentiert, die für die Diskussion um Handlungs- (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  30
    Induction: A Logical Analysis.Uwe Saint-Mont - 2022 - Foundations of Science 27 (2):455-487.
    The aim of this contribution is to provide a rather general answer to Hume’s problem. To this end, induction is treated within a straightforward formal paradigm, i.e., several connected levels of abstraction. Within this setting, many concrete models are discussed. On the one hand, models from mathematics, statistics and information science demonstrate how induction might succeed. On the other hand, standard examples from philosophy highlight fundamental difficulties. Thus it transpires that the difference between unbounded and bounded inductive steps is crucial: (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  41
    Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
    This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  30
    The Dramatic Spoils of War.Heinz-Uwe Haus - 2008 - The European Legacy 13 (3):337-338.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  3
    Nauczanie Jana Pawła II a współczesna aksjologia pedagogiczna.Józef Placha, Wojciech Sroczyński & Edyta Wolter (eds.) - 2008 - Warszawa: Szkoła Wyższa im. Bogdana Jańskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    Higher education reform: looking back -- looking forward.Pavel Zgaga, Ulrich Teichler, Hans Georg Schütze & Andrä Wolter (eds.) - 2015 - Berlin: Peter Lang.
    The central focus of this book is the concept of higher education reform in the light of an international and global comparative perspective. After decades of far-reaching reform, higher education around the world has profoundly changed and now has to face the challenges of the present. This volume takes a close look at these changes, the drivers of change, their effects and possible future scenarios. In their contributions the authors discuss a variety of basic concepts: learning and teaching in higher (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  18
    Explaining the Origin of Three-Membrane-Bound Plastids in Dinoflagellates and Euglenophytes: Kleptoplastidy via Myzocytosis?Daniel Moog & Uwe G. Maier - 2018 - Bioessays 40 (2):1700224.
  21.  8
    Games for query inseparability of description logic knowledge bases.Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2016 - Artificial Intelligence 234 (C):78-119.
  22.  19
    Rights and duties of genetic counsellors in Germany related to relatives at risk: comparative thoughts on the German Genetic Diagnostics Act.Susanne A. Schneider & Uwe H. Schneider - 2024 - Journal of Medical Ethics 50 (5):324-331.
    Genetic testing has familial implications. Counsellors find themselves in (moral) conflict between medical confidentiality (towards the patient) and a potential right or even duty to warn at-risk relatives. Legal regulations vary between countries. English literature about German law is scarce. We reviewed the literature of relevant legal cases, focussing on German law, according to the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines. This article aims to familiarise counsellors with their responsibilities, compare the situation between countries and point out (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  13
    Medizinethische Implikationen zukünftiger pharmakogenomischer Behandlungsstrategien.Thomas Meyer, Uwe Vinkemeier & Ulrich Meyer - 2002 - Ethik in der Medizin 14 (1):3-10.
    Zusammenfassung. Gegenwärtige Fortschritte in den pharmakologischen Wissenschaften erlauben einen ersten Ausblick auf eine individuelle, genotyp-basierende Arzneimitteltherapie, durch die sich die Effektivität der Medikamentenbenutzung weiter verbessern ließe. Die genotypische Erfassung von genetischen Polymorphismen, die bei Medikamentenreaktionen beteiligt sind, verspricht die Arzneimitteltherapie grundlegend zu optimieren, wenn damit Patienten identifiziert werden, für die ein Medikament entweder nutzbringend und sicher angewandt oder aber aufgrund zu erwartender Nebenwirkungen nicht eingesetzt werden sollte. Die neuen pharmakogenomischen Behandlungsstrategien werfen komplexe ethische Fragestellungen auf, da durch ein genetisches Screening (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  19
    Bioethical implications of pharmacogenomic treatment strategies.Thomas Meyer, Uwe Vinkemeier & Ulrich Meyer - 2002 - Ethik in der Medizin 14 (1):3-10.
    Definition of the problem: Recent progress in the pharmacological sciences provides a first glimpse of the development of an individual, genotype-based drug therapy in order to improve the efficiency of drug utilization. Genotyping of genetic polymorphisms in genes involved in drug response promises to optimize drug therapy fundamentally by identifying patients for whom a pharmaceutical agent may be effective and safe or contraindicated because of expected adverse drug reactions. Arguments: The new pharmacogenomic treatment strategies raise complex bioethical issues, because genetic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  32
    REVIEWS-Many-dimensional modal logics: Theory and applications.D. M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev & Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-78.
  26.  5
    Kompendium psychologischer Theorien.Mark Galliker & Uwe Wolfradt (eds.) - 2015 - Berlin: Suhrkamp.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  2
    Phaedra und der einfluss ihrer amme.Jens-uwe Schmidt - 1995 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 139 (2):274-323.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    The fleeting promise of art: Adorno's aesthetic theory revisited.Peter Uwe Hohendahl - 2013 - Ithaca: Cornell University Press.
    Human freedom and the autonomy of art : Adorno as a reader of Kant -- The ephemeral and the absolute : provisional notes to Adorno's aesthetic theory -- Aesthetic violence : the concept of the ugly in Adorno's aesthetic theory -- Reality, realism, and representation -- A precarious balance : Adorno and German classicism.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  5
    Max Scheler e la" Philosophische Gesellschaft".A. Cura di Uwe Dathe & Giuliana Mancuso - 2009 - Rivista di Storia Della Filosofia 64 (3):567-602.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  21
    First-order rewritability of ontology-mediated queries in linear temporal logic.Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2021 - Artificial Intelligence 299 (C):103536.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  8
    Advances in Modal Logic, Volume 4: Papers From the Fourth Aiml Conference, Held in Toulouse, October 2002.Philippe Balbiani, Nobu-Yuki Suzuki & Frank Wolter (eds.) - 2003 - London, England: King's College Publications.
  32.  34
    Motor modules of human locomotion: influence of EMG averaging, concatenation, and number of step cycles.Anderson S. Oliveira, Leonardo Gizzi, Dario Farina & Uwe G. Kersting - 2014 - Frontiers in Human Neuroscience 8.
  33.  12
    Logical separability of labeled data examples under ontologies.Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini & Frank Wolter - 2022 - Artificial Intelligence 313 (C):103785.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Ja, Der Da hat es gesagt. Uber den dekonstruktiven Umgang mit Texten.Kai-uwe Bux & Hajo Greif - 2002 - Deutsche Zeitschrift für Philosophie 50 (1):17-37.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  13
    Hierarchical control as a shared neurocognitive mechanism for language and music.Rie Asano, Cedric Boeckx & Uwe Seifert - 2021 - Cognition 216 (C):104847.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  8
    A Unifying Approach to High- and Low-Level Cognition.Peter König, Kai-Uwe Kühnberger & Tim C. Kietzmann - 2013 - In Ulrich Gähde, Stephan Hartmann & Jörn Henning Wolf (eds.), Models, Simulations, and the Reduction of Complexity. Boston: De Gruyter. pp. 117-140.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  5
    Vom Sinn und Wert menschlichen Lebens: Überlegungen eines Medizin-Ethikers.Uwe Körner - 1986 - Berlin: Dietz Verlag. Edited by Wolfgang Eichhorn.
  38.  27
    Inverse cue priming is not limited to masks with relevant features.Daniel Krüger & Uwe Mattler - 2012 - Consciousness and Cognition 21 (3):1207-1221.
    Apart from positive priming effects, masked prime stimuli can impair responses to a subsequent target stimulus which shares response-critical features in contrast to a target assigned to the opposite response. This counterintuitive phenomenon is called inverse priming . Here we examine the generality of this phenomenon beyond priming of motor responses. We used a non-motor cue-priming paradigm to study the underlying mechanism of inverse priming for relevant features masks which include task-relevant stimulus features and for irrelevant masks which omit task-relevant (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  12
    Die Dopingfalle: Soziologische Betrachtungen.Henk Erik Meier, Uwe Schimank & Karl-Heinrich Bette - 2007 - Sport Und Gesellschaft 4 (1):88-94.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  18
    Gottlob Frege - Werk und Wirkung.Gottfried Gabriel & Uwe Dathe (eds.) - 2000 - Paderborn: Mentis.
    Gottlob Frege ist der Begründer der modernen Logik und einer der Väter der analytischen Philosophie. Bertrand Russell, Rudolf Carnap und Ludwig Wittgenstein haben seine Ideen aufgegriffen und weiterentwickelt. Dieses Buch liefert eine Bestandsaufnahme zu Werk und Wirkung Freges. Gewürdigt werden seine Leistungen als Logiker, Mathematiker, Sprachphilosoph und Methodologe. Im Ausgang von historischen Untersuchungen zum ursprünglichen 'kontinentalen' Ort des Frege schen Denkens wird die internationale Rezeption und das systematische Gewicht der Philosophie Frege s entfaltet. Mit Beiträgen von: Michael Astroh, Detlef Gronau, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  16
    Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  45
    Axiomatizing Distance Logics.Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):425-439.
    In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  24
    Making new out of old: Recycling and modification of an ancient protein translocation system during eukaryotic evolution.Kathrin Bolte, Nicole Gruenheit, Gregor Felsner, Maik S. Sommer, Uwe-G. Maier & Franziska Hempel - 2011 - Bioessays 33 (5):368-376.
    At first glance the three eukaryotic protein translocation machineries – the ER‐associated degradation (ERAD) transport apparatus of the endoplasmic reticulum, the peroxisomal importomer and SELMA, the pre‐protein translocator of complex plastids – appear quite different. However, mechanistic comparisons and phylogenetic analyses presented here suggest that all three translocation machineries share a common ancestral origin, which highlights the recycling of pre‐existing components as an effective evolutionary driving force.Editor's suggested further reading in BioEssays ERAD ubiquitin ligases Abstract.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  11
    Cortisol Impacted on Explicit Learning Encoding, but Not on Storage and Retrieval, and Was Not Associated With Sleep Patterns—Results From the Trier Social Stress Test for Children Among 9-Years Old Children.Serge Brand, Thorsten Mikoteit, Nadeem Kalak, Dena Sadeghi Bahmani, Sakari Lemola, Markus Gerber, Sebastian Ludyga, Madleina Bossard, Uwe Pühse, Edith Holsboer-Trachsler & Martin Hatzinger - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Sensor Measures of Affective Leaning.Thomas Martens, Moritz Niemann & Uwe Dick - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    Acute Bouts of Exercising Improved Mood, Rumination and Social Interaction in Inpatients With Mental Disorders.Serge Brand, Flora Colledge, Sebastian Ludyga, Raphael Emmenegger, Nadeem Kalak, Dena Sadeghi Bahmani, Edith Holsboer-Trachsler, Uwe Pühse & Markus Gerber - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  21
    The evolution of eukaryotic cells from the perspective of peroxisomes.Kathrin Bolte, Stefan A. Rensing & Uwe-G. Maier - 2015 - Bioessays 37 (2):195-203.
    Beta‐oxidation of fatty acids and detoxification of reactive oxygen species are generally accepted as being fundamental functions of peroxisomes. Additionally, these pathways might have been the driving force favoring the selection of this compartment during eukaryotic evolution. Here we performed phylogenetic analyses of enzymes involved in beta‐oxidation of fatty acids in Bacteria, Eukaryota, and Archaea. These imply an alpha‐proteobacterial origin for three out of four enzymes. By integrating the enzymes' history into the contrasting models on the origin of eukaryotic cells, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  48. Quantum Physics Meets the Philosophy of Mind: New Essays on the Mind-Body Relation in Quantum-Theoretical Perspective.Antonella Corradini & Uwe Meixner (eds.) - 2014 - Boston: De Gruyter.
    Quantum physics, unlike classical physics, suggests a non-physicalistic metaphysics. Whereas physicalism implies a reductive position in the philosophy of mind, quantum physics is compatible with non-reductionism, and actually seems to support it. The essays in this book explore, from various points of view, the possibilities of basing a non-reductive philosophy of mind on quantum physics."--Back cover.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  1
    Chiffer und Dogma.Claus Uwe Hommel - 1968 - (Zürich,: EVZ-Verlag, Abt.) Editio Academica.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  5
    4. Innovative Handlungspotenziale von Kranken- und Altenpflegekräften.Gerd-Uwe Watzlawczik & Margarete Landenberger - 2001 - In Burkart Lutz (ed.), Entwicklungsperspektiven von Arbeit: Ergebnisse Aus Dem Sonderforschungsbereich 333 der Universität München. De Gruyter. pp. 314-324.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000