全文获取类型
收费全文 | 129篇 |
免费 | 4篇 |
专业分类
133篇 |
出版年
2023年 | 1篇 |
2020年 | 3篇 |
2018年 | 3篇 |
2017年 | 3篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 3篇 |
2013年 | 11篇 |
2012年 | 4篇 |
2011年 | 3篇 |
2010年 | 3篇 |
2009年 | 16篇 |
2008年 | 6篇 |
2007年 | 5篇 |
2006年 | 3篇 |
2005年 | 2篇 |
2004年 | 5篇 |
2003年 | 8篇 |
2002年 | 9篇 |
2001年 | 1篇 |
2000年 | 2篇 |
1999年 | 1篇 |
1998年 | 2篇 |
1997年 | 3篇 |
1996年 | 5篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1981年 | 2篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1975年 | 3篇 |
1974年 | 3篇 |
1973年 | 1篇 |
1972年 | 2篇 |
1959年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有133条查询结果,搜索用时 15 毫秒
111.
Dr. Dov Steinmetz M.D. 《Journal of Near-Death Studies》1993,11(4):199-203
Moses, the leader and lawgiver to the people of Israel, went through a metamorphosis during his stay in the Sinai Desert, which can be explained as a near-death or near-death-like experience. Moses saw and heard God in the burning bush and yet survived. Following his revelation, he reached a higher level of consciousness, which enabled personality changes to occur. From being a simple shepherd of his father-in-law's flock, he turned into a prophet and charismatic leader of his people. 相似文献
112.
We investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper. 相似文献
113.
In order to test the social mechanisms through which organizational climate emerges, this article introduces a model that combines transformational leadership and social interaction as antecedents of climate strength (i.e., the degree of within-unit agreement about climate perceptions). Despite their longstanding status as primary variables, both antecedents have received limited empirical research. The sample consisted of 45 platoons of infantry soldiers from 5 different brigades, using safety climate as the exemplar. Results indicate a partially mediated model between transformational leadership and climate strength, with density of group communication network as the mediating variable. In addition, the results showed independent effects for group centralization of the communication and friendship networks, which exerted incremental effects on climate strength over transformational leadership. Whereas centralization of the communication network was found to be negatively related to climate strength, centralization of the friendship network was positively related to it. Theoretical and practical implications are discussed. 相似文献
114.
Guido Boella Dov M. Gabbay Valerio Genovese Leendert van der Torre 《Studia Logica》2009,92(3):395-436
We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like
joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal
logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the
language both for classical and intuitionistic fragment), we then prove that in order to express well-known properties like
‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We
propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing
access control logics can be translated into FSL and we give completeness for the logic. 相似文献
115.
The issue of representing access control requirements continues to demand significant attention. The focus of researchers
has traditionally been on developing particular access control models and policy specification languages for particular applications.
However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general
access control model and a logic-based specification language from which both existing and novel access control models may
be derived as particular cases and from which several approaches can be developed for domain-specific applications. We will
argue that our general framework has a number of specific attractions and an implication of our work is to encourage a methodological
shift from a study of the particulars of access control to its generalities. 相似文献
116.
Dov M. Gabbay 《Studia Logica》2009,93(2-3):181-198
Given an argumentation network we associate with it a modal formula representing the ‘logical content’ of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula. 相似文献
117.
Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications,
including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense
reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by
allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals,
using the introduced technique and Gabbay’s semantics provided in [10] and substantially using a third-order accessibility
relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying
third-order relation.
Presented by Wojciech Buszkowski 相似文献
118.
Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny.
There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research
community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive
reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are
interested in benefiting from developments made by each community. In particular, we are interested in the ability of non-symbolic
systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations
of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of
symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal
Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive
explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes
a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both
approaches employ standard neural network architectures which are already known to be highly effective in practical learning
applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning
in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning,
while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world.
Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to
learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective
of symbolic and sub-symbolic integration.
相似文献
John WoodsEmail: |
119.
This study focuses on daily work events as proximal stimuli for discrete emotional reactions and suggests that availability of energy resources required for coping with goal-disruptive events, or for capitalizing on new opportunities offered by goal-enhancing events, influences intensity of emotional reactions. Using experience-sampling methodology with a sample of hospital residents, it is shown that negative emotion and fatigue following disruptive events are intensified when only limited energy resources are available due to current workload. However, positive emotions, promoted by goal-enhancing events, are mitigated due to inability to capitalize on new opportunities or challenges. Aftereffects of work events reveal that the energizing effect of goal-enhancing events mitigates end-of-day fatigue and negative emotion on high-workload days, although the effect of disruptive events is diminished by the end of such days, apparently because of lesser conspicuity against a background of high workload. Theoretical and practical implications are discussed. 相似文献
120.
Optimizing well-being: the empirical encounter of two traditions 总被引:42,自引:0,他引:42
Subjective well-being (SWB) is evaluation of life in terms of satisfaction and balance between positive and negative affect; psychological well-being (PWB) entails perception of engagement with existential challenges of life. The authors hypothesized that these research streams are conceptually related but empirically distinct and that combinations of them relate differentially to sociodemographics and personality. Data are from a national sample of 3,032 Americans aged 25-74. Factor analyses confirmed the related-but-distinct status of SWB and PWB. The probability of optimal well-being (high SWB and PWB) increased as age, education, extraversion, and conscientiousness increased and as neuroticism decreased. Compared with adults with higher SWB than PWB. adults with higher PWB than SWB were younger, had more education, and showed more openness to experience. 相似文献