標(biāo)題: Titlebook: Horizons of Phenomenology; Essays on the State Jeff Yoshimi,Philip Walsh,Patrick Londen Book‘‘‘‘‘‘‘‘ 2023 The Editor(s) (if applicable) an [打印本頁] 作者: 水平 時(shí)間: 2025-3-21 19:01
書目名稱Horizons of Phenomenology影響因子(影響力)
書目名稱Horizons of Phenomenology影響因子(影響力)學(xué)科排名
書目名稱Horizons of Phenomenology網(wǎng)絡(luò)公開度
書目名稱Horizons of Phenomenology網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Horizons of Phenomenology被引頻次
書目名稱Horizons of Phenomenology被引頻次學(xué)科排名
書目名稱Horizons of Phenomenology年度引用
書目名稱Horizons of Phenomenology年度引用學(xué)科排名
書目名稱Horizons of Phenomenology讀者反饋
書目名稱Horizons of Phenomenology讀者反饋學(xué)科排名
作者: 討人喜歡 時(shí)間: 2025-3-21 20:41
Pablo Contreras Kallens,Jeff Yoshimicies in model-generation based theorem provers. We have studied several applications in AI such as negation as failure, abductive reasoning and modal logic systems, through extensive use of MGTP. These studies share a basic common idea, that is, to use MGTP as a meta-programming system. We can build作者: 離開可分裂 時(shí)間: 2025-3-22 02:39
John J. Drummonds result, combined with a ‘one-step version’ of the classical correspondence theory, turns out to be quite powerful in applications. For simple logics such as ., ., ., ., etc, establishing basic metatheoretical properties becomes a completely automatic task (the related proof obligations can be inst作者: Spinous-Process 時(shí)間: 2025-3-22 07:14
David Woodruff Smithearch spaces on pathological examples. We also describe the basic features of the system Semprop, which is an efficient implementation of (some of) the developed techniques, and give the results of an experimental evaluation of the system on a number of practical examples.作者: 玉米 時(shí)間: 2025-3-22 09:59 作者: 昏迷狀態(tài) 時(shí)間: 2025-3-22 12:58 作者: 使高興 時(shí)間: 2025-3-22 19:27 作者: congenial 時(shí)間: 2025-3-22 21:16
Steven Crowelled algorithm is guaranteed without computing any upper bound to the length of candidate models, thanks to the Boolean encoding of the . rule of the original tableau system. We conclude the paper by describing a tool that implements our procedure, and comparing its performance with other state-of-the作者: THE 時(shí)間: 2025-3-23 01:34
us for the Horn-clause fragment of hybrid-dynamic first-order logic. We investigate soundness and compactness properties for the syntactic entailment system that corresponds to this proof calculus, and prove a Birkhoff-completeness result for hybrid-dynamic first-order logic.作者: Alcove 時(shí)間: 2025-3-23 05:59
Céline Leboeufest generation..Theory-specific solvers can be often described conveniently in terms of tableau calculi, especially if one wants to prove that a solver decides a certain fragment of a theory .. In practice, however, most modern SMT solvers are not tableau-based and follow one of two main approaches,作者: 牽索 時(shí)間: 2025-3-23 12:57
Francisco Gallegosquence is defined as being such relative to a premiss structure, as is our notion of a default tableaux proof. In addition to its simplicity, as usual in tableaux based proof calculi, our proof calculus allows for the discovery of the non-existence of proofs by providing corresponding counterexample作者: 帶來 時(shí)間: 2025-3-23 15:09
Rebecca Harrisonquence is defined as being such relative to a premiss structure, as is our notion of a default tableaux proof. In addition to its simplicity, as usual in tableaux based proof calculi, our proof calculus allows for the discovery of the non-existence of proofs by providing corresponding counterexample作者: 雪上輕舟飛過 時(shí)間: 2025-3-23 20:08
quence is defined as being such relative to a premiss structure, as is our notion of a default tableaux proof. In addition to its simplicity, as usual in tableaux based proof calculi, our proof calculus allows for the discovery of the non-existence of proofs by providing corresponding counterexample作者: 松雞 時(shí)間: 2025-3-23 23:57
Samantha Matherneconstant factor that a high-level programming language incurs: the low-level implementation performs 18 times more inferences per second on an average TPTP CNF problem. We also discuss the implementation improvements which could be enabled by complete access to the internal data structures, such as 作者: 陶器 時(shí)間: 2025-3-24 02:27 作者: Finasteride 時(shí)間: 2025-3-24 10:21
Jennifer A. E. Shieldsuling, the structure of an EA needs to be designed carefully to exploit the problem structures. An appropriate representation for the problem and the type of search operators suitable for the representation should be studied because they directly affect the search efficiency of the EA..In this chapt作者: 煤渣 時(shí)間: 2025-3-24 13:10
t, with the same importance and also at the same time. Two studies are carried out in order to evaluate the quality of this new approach for grid scheduling. Firstly, MOGSA is compared with the multiobjective standard and well-known NSGA-II (Non-Dominated Sorting Genetic Algorithm II) to prove the m作者: arousal 時(shí)間: 2025-3-24 15:54 作者: 使糾纏 時(shí)間: 2025-3-24 22:35
Beyond “Dreydegger”: The Future of Anglo-American Existential Phenomenologyof the most influential thinkers of the past century. But the term also stands for a certain style of reading texts in the history of philosophy that, some argue, gives short shrift to the historical context of the thinking that went into it, the life and legacy of the philosopher who wrote it, and 作者: gustation 時(shí)間: 2025-3-24 23:46
of Phenomenology: Metaphysicsphenomenology is metaphysically neutral and considers an ambiguity in Husserl’s . I that suggests the possibility that it is actually a metaphysical idealism – specifically, the claim that real things “depend” on consciousness for their existence. Section 3 takes up three accounts of this dependence作者: IRS 時(shí)間: 2025-3-25 04:11 作者: BET 時(shí)間: 2025-3-25 08:09
The Phenomenology of Zozobra: Mexican and Latinx Philosophers on (Not) Being at Home in the Worldl things simultaneously: an essential foundation for human existence; an illusory ideal whose pursuit leads us to exclude vulnerable others and vulnerable parts of ourselves; and a site for the negotiation of the circumstances in which one finds oneself, in the tragic and beautiful hope of creating 作者: 欲望 時(shí)間: 2025-3-25 15:10 作者: Androgen 時(shí)間: 2025-3-25 17:17
0923-9545 . The goal is to move beyond discussions of philosophical method and highlight scholars who are actually doing phenomenology in a variety of areas, including:??.Embodiment and questions of gender, race, and ide978-3-031-26076-6978-3-031-26074-2Series ISSN 0923-9545 Series E-ISSN 2215-1915 作者: PTCA635 時(shí)間: 2025-3-25 23:00 作者: 強(qiáng)制性 時(shí)間: 2025-3-26 01:53 作者: 詢問 時(shí)間: 2025-3-26 05:21
John J. Drummondo the notion of a one-step frame [14], [8]. A one-step frame is a two-sorted structure which admits interpretations of modal formulae without nested modal operators. In this paper, we exploit the potential of one-step frames for investigating proof-theoretic aspects. This includes developing a metho作者: Synovial-Fluid 時(shí)間: 2025-3-26 11:18 作者: 可行 時(shí)間: 2025-3-26 14:14
Hakhamanesh Zangeneh peer schemas. Peers are autonomous systems and mappings are dynamically created and changed. One of the challenges in these systems is processing queries posed to one peer taking into account the mappings. Obviously, query processing strongly depends on the semantics of the overall system..In this 作者: 公豬 時(shí)間: 2025-3-26 17:13
Robin M. Mullery from others and, furthermore, directly corresponds to a potential model of the formula. Despite its simplicity, it proved itself to be effective in practice. In this paper, we provide a SAT-based encoding of such a tableau system, based on the technique of .. Starting with a single-node tableau, .作者: 作繭自縛 時(shí)間: 2025-3-27 00:20
Patrick Londenand to dynamic logics. This provides us with a logical system with an increased expressive power thanks to a number of distinctive attributes: first, the possible worlds of Kripke structures, as well as the nominals used to identify them, are endowed with an algebraic structure; second, we distingui作者: Brochure 時(shí)間: 2025-3-27 02:00 作者: Jingoism 時(shí)間: 2025-3-27 07:17 作者: 大廳 時(shí)間: 2025-3-27 12:44
Céline Leboeufo some logical theory . of interest. What distinguishes SMT from general automated deduction is that the background theory . need not be finitely or even first-order axiomatizable, and that specialized inference methods are used for each theory. By being theory-specific and restricting their languag作者: omnibus 時(shí)間: 2025-3-27 14:35
Francisco Gallegosy dealt with in the literature on nonmonotonic reasoning. Yet, with some notable exceptions, the same cannot be said about its proof theory. Aiming to contribute to the latter, we propose a tableaux based proof calculus for a propositional variant of Reiter’s presentation of reasoning with default r作者: Critical 時(shí)間: 2025-3-27 20:56 作者: 罐里有戒指 時(shí)間: 2025-3-27 22:16 作者: 凝視 時(shí)間: 2025-3-28 04:58 作者: Curmudgeon 時(shí)間: 2025-3-28 09:22 作者: 大洪水 時(shí)間: 2025-3-28 11:06
Jennifer A. E. Shields of the completion time, minimization of the idle times of the machines, etc. Approaches for solving scheduling problems can be divided into three broad groups: (a) exact methods that produce exact optimal solutions, (b) approximation methods that find high quality near optimal, and (c) hybrid metho作者: Hot-Flash 時(shí)間: 2025-3-28 17:50 作者: corn732 時(shí)間: 2025-3-28 18:51
Introduction,ogether overviews of major areas and schools of phenomenology, as well as the most recent applications of phenomenology across a range of fields, this volume offers a concise introduction to phenomenological research. The first part reviews the state of the art in various areas of contemporary pheno作者: characteristic 時(shí)間: 2025-3-28 23:08
Bibliometric Analysis of the Phenomenology Literaturey size, this vast “horizon” of literary output has a tractable structure. We leverage the tools of bibliometrics to study the structure of the phenomenology literature, and test several hypotheses about it. We create an author-wise co-citation network, a graph of nodes and connections, where each no作者: 健談的人 時(shí)間: 2025-3-29 04:06
Phenomenology Park: The Landscape of Husserlian Phenomenology landscape-metaphor. The issue was further complicated by the fact that the paper was to be part of a collection titled “Horizons of Phenomenology.” “Horizons” I get; it’s a technical term for Husserl, who distinguishes between inner and outer horizons. So, were I to talk about horizons, I would tal作者: 構(gòu)成 時(shí)間: 2025-3-29 10:11 作者: 秘方藥 時(shí)間: 2025-3-29 12:34
The Problem of the Unity of a Manifold in the Development of Husserl’s Philosophyure Phenomenology (Ideas I) (Husserl, 2014), differentiates pure transcendental phenomenology, as an eidetic science, from the eidetic science of mathematics. In line with the tradition of transcendental philosophy arguably—ante rem—stretching back to Plato, Husserl contrasts transcendental phenomen作者: Abjure 時(shí)間: 2025-3-29 16:15 作者: debble 時(shí)間: 2025-3-29 19:57 作者: groggy 時(shí)間: 2025-3-30 03:19 作者: Intractable 時(shí)間: 2025-3-30 07:43
of Phenomenology: Metaphysicslier generations is emerging. It has become quite clear that phenomenological philosophy is not a fixed “system” but an ongoing philosophical practice that has much to contribute to debates in contemporary philosophy generally. It would be impossible here to canvass all the “horizons” of phenomenolo作者: Oration 時(shí)間: 2025-3-30 08:28
Phenomenology at the Intersection of Gender and Racen in phenomenology thanks to the works of Simone de Beauvoir in . (1949) and Frantz Fanon in . (1952) respectively. Beauvoir’s work has been prolonged by pioneering feminist phenomenologists, such as Iris Marion Young and Sandra Bartky, who have investigated both the cultural significance of female 作者: Debility 時(shí)間: 2025-3-30 15:56
The Phenomenology of Zozobra: Mexican and Latinx Philosophers on (Not) Being at Home in the Worldce of “being at home in the world”—an experience that has always been both deeply cherished and bitterly contested. Tracing a line of thought that runs from the work of two Mexican phenomenologists in the 1940s and 1950s (Jorge Portilla and Emilio Uranga) to the work of two contemporary Latinx pheno作者: G-spot 時(shí)間: 2025-3-30 19:48 作者: Curmudgeon 時(shí)間: 2025-3-30 21:38
Are Artists Phenomenologists? Perspectives from Edith Landmann-Kalischer and Maurice Merleau-Pontyalischer and Maurice Merleau-Ponty, respectively. Through this comparison, I bring to light reasons why phenomenologists take themselves to share a subject-matter with artists, viz., lived experience. However, with this comparison I also highlight the ways in which the answer to this question turns 作者: FUSC 時(shí)間: 2025-3-31 02:29
The Reading Process: An Intertextual Approachopments in the exploration of ties between phenomenology and theories of reader response and reception. In addition, novel philosophical ideas about time, subjectivity, and consciousness influenced many early- and mid-twentieth century authors, whose innovative and experimental works posed newfangle作者: Rheumatologist 時(shí)間: 2025-3-31 07:25
